3-Level Behavioural Models for Semantic Web Services
Article dans une revue avec comité de lecture
Auteur
NORTON, BarryPEDRINACI, CarlosHENOCQUE, Laurent 
KLEINER, MathiasRésumé
There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service’s behaviour as a composition of existing parts, a choreography is intended to document the conversation of messages exchanged with its client. In this paper we present a three-level model for behavioural descriptions, and how UML Activity Diagrams and the Cashew workflow model fit into this, building on existing work on the use of Abstract State Machines to define behaviour in WSMO.
Fichier(s) constituant cette publication
Cette publication figure dans le(s) laboratoire(s) suivant(s)
Documents liés
Visualiser des documents liés par titre, auteur, créateur et sujet.
-
Article dans une revue avec comité de lecture; ; ; ; ;PERNOT, Jean-Philippe; KLEINER, Mathias (Springer Science and Business Media LLC, 2021-05-11)
Currently, geometric over-constraints detection is of major interest in several diferent felds. In terms of product development process (PDP), many approaches exist to compare and detect geometric over-constraints, to ...
-
Article dans une revue avec comité de lecture;ROUCOULES, Lionel; KLEINER, Mathias; ETIENNE, Alain (Elsevier, 2015)
A design process, whether for a product or for a service, is composed of a large number of activities connected by data and information exchanges. The quality of these exchanges, called in this paper collaboration, requires ...
-
Article dans une revue avec comité de lecture;KLEINER, Mathias (The Journal of Systems and Software, 2018)
Model generation operations are important artifacts in MDE applications. These approaches can be used for model verification, model finding, and others. In many scenarios, model transformations can as well be represented ...
-
Article dans une revue avec comité de lecture;PERNOT, Jean-Philippe; KLEINER, Mathias (Elsevier, 2017)
This paper proposes an original decision-support approach to address over-constrained geometric configurations in Computer-Aided Design. It focuses particularly on the detection and resolution of redundant and conflicting ...
-
Article dans une revue avec comité de lecture;ROUCOULES, Lionel; KLEINER, Mathias (IEEE, 2019)
Industrial monitoring environments have evolved from single monolithic systems to widely distributed heterogeneous systems. These include the Internet of Things (IoT), Industrial IoT, Cyber-Physical Systems, and Enterprise ...