An integrated workbench for model-based engineering of service compositions
The Service-Oriented Architecture (SOA) approach to building systems of application and middleware components promotes the use of reusable services with a core focus of service interactions, obligations, and context. Although services technically relieve the difficulties of specific technology depen...
Guardado en:
| Publicado: |
2010
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_19391374_v3_n2_p131_Foster http://hdl.handle.net/20.500.12110/paper_19391374_v3_n2_p131_Foster |
| Aporte de: |
| id |
paper:paper_19391374_v3_n2_p131_Foster |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_19391374_v3_n2_p131_Foster2023-06-08T16:32:12Z An integrated workbench for model-based engineering of service compositions analysis composite services Service-oriented architecture services models validation Web services modeling Behavior analysis Building systems composite services Composition of services Concurrent interactions Formal Semantics In-buildings Mechanical support Middleware components Model-based engineering Reusable components Reusable services Safe service Service compositions Service engineers Service interaction Service Model Service orchestration Verification and validation Architecture Computer software reusability Engineers Formal methods Information services Middleware Quality of service Semantics Web services Model checking The Service-Oriented Architecture (SOA) approach to building systems of application and middleware components promotes the use of reusable services with a core focus of service interactions, obligations, and context. Although services technically relieve the difficulties of specific technology dependency, the difficulties in building reusable components is still prominent and a challenge to service engineers. Engineering the behavior of these services means ensuring that the interactions and obligations are correct and consistent with policies set out to guide partners in building the correct sequences of interactions to support the functions of one or more services. Hence, checking the suitability of service behavior is complex, particularly when dealing with a composition of services and concurrent interactions. How can we rigorously check implementations of service compositions? What are the semantics of service compositions? How does deployment configuration affect service composition behavior safety? To facilitate service engineers designing and implementing suitable and safe service compositions, we present in this paper an approach to consider different viewpoints of service composition behavior analysis. The contribution of the paper is threefold. First, we model service orchestration, choreography behavior, and service orchestration deployment through formal semantics applied to service behavior and configuration descriptions. Second, we define types of analysis and properties of interest for checking service models of orchestrations, choreography, and deployment. Third, we describe mechanical support by providing a comprehensive integrated workbench for the verification and validation of service compositions. © 2008 IEEE. 2010 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_19391374_v3_n2_p131_Foster http://hdl.handle.net/20.500.12110/paper_19391374_v3_n2_p131_Foster |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
analysis composite services Service-oriented architecture services models validation Web services modeling Behavior analysis Building systems composite services Composition of services Concurrent interactions Formal Semantics In-buildings Mechanical support Middleware components Model-based engineering Reusable components Reusable services Safe service Service compositions Service engineers Service interaction Service Model Service orchestration Verification and validation Architecture Computer software reusability Engineers Formal methods Information services Middleware Quality of service Semantics Web services Model checking |
| spellingShingle |
analysis composite services Service-oriented architecture services models validation Web services modeling Behavior analysis Building systems composite services Composition of services Concurrent interactions Formal Semantics In-buildings Mechanical support Middleware components Model-based engineering Reusable components Reusable services Safe service Service compositions Service engineers Service interaction Service Model Service orchestration Verification and validation Architecture Computer software reusability Engineers Formal methods Information services Middleware Quality of service Semantics Web services Model checking An integrated workbench for model-based engineering of service compositions |
| topic_facet |
analysis composite services Service-oriented architecture services models validation Web services modeling Behavior analysis Building systems composite services Composition of services Concurrent interactions Formal Semantics In-buildings Mechanical support Middleware components Model-based engineering Reusable components Reusable services Safe service Service compositions Service engineers Service interaction Service Model Service orchestration Verification and validation Architecture Computer software reusability Engineers Formal methods Information services Middleware Quality of service Semantics Web services Model checking |
| description |
The Service-Oriented Architecture (SOA) approach to building systems of application and middleware components promotes the use of reusable services with a core focus of service interactions, obligations, and context. Although services technically relieve the difficulties of specific technology dependency, the difficulties in building reusable components is still prominent and a challenge to service engineers. Engineering the behavior of these services means ensuring that the interactions and obligations are correct and consistent with policies set out to guide partners in building the correct sequences of interactions to support the functions of one or more services. Hence, checking the suitability of service behavior is complex, particularly when dealing with a composition of services and concurrent interactions. How can we rigorously check implementations of service compositions? What are the semantics of service compositions? How does deployment configuration affect service composition behavior safety? To facilitate service engineers designing and implementing suitable and safe service compositions, we present in this paper an approach to consider different viewpoints of service composition behavior analysis. The contribution of the paper is threefold. First, we model service orchestration, choreography behavior, and service orchestration deployment through formal semantics applied to service behavior and configuration descriptions. Second, we define types of analysis and properties of interest for checking service models of orchestrations, choreography, and deployment. Third, we describe mechanical support by providing a comprehensive integrated workbench for the verification and validation of service compositions. © 2008 IEEE. |
| title |
An integrated workbench for model-based engineering of service compositions |
| title_short |
An integrated workbench for model-based engineering of service compositions |
| title_full |
An integrated workbench for model-based engineering of service compositions |
| title_fullStr |
An integrated workbench for model-based engineering of service compositions |
| title_full_unstemmed |
An integrated workbench for model-based engineering of service compositions |
| title_sort |
integrated workbench for model-based engineering of service compositions |
| publishDate |
2010 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_19391374_v3_n2_p131_Foster http://hdl.handle.net/20.500.12110/paper_19391374_v3_n2_p131_Foster |
| _version_ |
1768543821495271424 |