• français
    • English
    français
  • Login
Help
View Item 
  •   Home
  • Laboratoire d’Ingénierie des Systèmes Physiques Et Numériques (LISPEN)
  • View Item
  • Home
  • Laboratoire d’Ingénierie des Systèmes Physiques Et Numériques (LISPEN)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

3-Level Behavioural Models for Semantic Web Services

Article dans une revue avec comité de lecture
Author
NORTON, Barry
23007 Knowledge Media Institute [KMi]
PEDRINACI, Carlos
23007 Knowledge Media Institute [KMi]
HENOCQUE, Laurent
199402 Laboratoire des Sciences de l'Information et des Systèmes [LSIS]
KLEINER, Mathias
199402 Laboratoire des Sciences de l'Information et des Systèmes [LSIS]

URI
http://hdl.handle.net/10985/6735
Date
2008
Journal
International transactions on systems science and applications

Abstract

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.

Files in this item

Name:
SAM_LSIS_122008_HENOCQUE.pdf
Size:
889.1Kb
Format:
PDF
View/Open

Collections

  • Laboratoire d’Ingénierie des Systèmes Physiques Et Numériques (LISPEN)

Related items

Showing items related by title, author, creator and subject.

  • Tools interoperability in engineering design using Model-Based Engineering 
    Communication avec acte
    IRAQI-HOUSSAINI, Mehdi; KLEINER, Mathias; ROUCOULES, Lionel (2012)
    Computer-aided engineering is widely used in various areas including manufacturing, requirement planning and product design. These specific CAE tools, here called expert tools, manipulate large amounts of ...
  • Over-constraints detection and resolution in geometric equation systems 
    Article dans une revue avec comité de lecture
    HU, Hao; KLEINER, Mathias; PERNOT, Jean-Philippe (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 ...
  • A generic approach to model generation operations 
    Article dans une revue avec comité de lecture
    KLEINER, Mathias; DIDONET DEL FABRO, Marcos (Elsevier BV, 2018-08)
    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 ...
  • Geometric Over-Constraints Detection: A Survey 
    Article dans une revue avec comité de lecture
    HU, Hao; KLEINER, Mathias; PERNOT, Jean-Philippe; ZHANG, Chao; HUANG, Yanjia; ZHAO, Qian; YEUNG, Sunny (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 ...
  • Model-based Interoperability Solutions for the Supervision of Smart Gas Distribution Networks 
    Communication avec acte
    AHMED, Ahmed; KLEINER, Mathias; ROUCOULES, Lionel; LARAT, Bertrand; GAUDY, Remy (2016)
    Supervision systems for smart gas distribution networks are heterogeneous environments consisting of various types of systems. One of the key challenges is the exchange and the aggregation of data between such components. ...

Browse

All SAMCommunities & CollectionsAuthorsIssue DateCenter / InstitutionThis CollectionAuthorsIssue DateCenter / Institution

Newsletter

Latest newsletterPrevious newsletters

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors

ÉCOLE NATIONALE SUPERIEURE D'ARTS ET METIERS

  • Contact
  • Mentions légales

ÉCOLE NATIONALE SUPERIEURE D'ARTS ET METIERS

  • Contact
  • Mentions légales