• DocumentCode
    2069999
  • Title

    Modeling and Validating Service Choreography with Semantic Interfaces and Goals

  • Author

    Jiang, Shanshan ; Floch, Jacqueline ; Sanders, Richard

  • Author_Institution
    SINTEFICT, Trondheim, Norway
  • fYear
    2008
  • fDate
    18-19 Dec. 2008
  • Firstpage
    73
  • Lastpage
    78
  • Abstract
    Service choreography is a composition approach which has not yet received wide attention in SOA research. In this paper, we describe an approach for the modeling and validation of choreography based on so-called Semantic Interfaces and Goals. Our contributions include flexible modeling of choreography with formal semantics and solid validation techniques supported by tools. The approach is explained through an illustrating example.
  • Keywords
    Web services; semantic Web; software architecture; SOA; semantic goals; semantic interfaces; service choreography; Centralized control; Collaboration; Logic; Service oriented architecture; Solid modeling; Systems engineering and theory; Web services; goal; modeling; semantic interface; service choreography; validation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Service-Oriented System Engineering, 2008. SOSE '08. IEEE International Symposium on
  • Conference_Location
    Jhongli
  • Print_ISBN
    978-0-7695-3499-2
  • Electronic_ISBN
    978-0-7695-3499-2
  • Type

    conf

  • DOI
    10.1109/SOSE.2008.24
  • Filename
    4730466
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2069999