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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Foster, H., Uchitel, S., Magee, J., Kramer, J.
Formato:	JOUR
Materias:	analysis composite services Service-oriented architecture services models validation Web services modeling Behavior analysis Building systems 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
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_19391374_v3_n2_p131_Foster
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_19391374_v3_n2_p131_Foster
record_format	dspace
spelling	todo:paper_19391374_v3_n2_p131_Foster2023-10-03T16:36:44Z An integrated workbench for model-based engineering of service compositions Foster, H. Uchitel, S. Magee, J. Kramer, J. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 Foster, H. Uchitel, S. Magee, J. Kramer, J. 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.
format	JOUR
author	Foster, H. Uchitel, S. Magee, J. Kramer, J.
author_facet	Foster, H. Uchitel, S. Magee, J. Kramer, J.
author_sort	Foster, H.
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
url	http://hdl.handle.net/20.500.12110/paper_19391374_v3_n2_p131_Foster
work_keys_str_mv	AT fosterh anintegratedworkbenchformodelbasedengineeringofservicecompositions AT uchitels anintegratedworkbenchformodelbasedengineeringofservicecompositions AT mageej anintegratedworkbenchformodelbasedengineeringofservicecompositions AT kramerj anintegratedworkbenchformodelbasedengineeringofservicecompositions AT fosterh integratedworkbenchformodelbasedengineeringofservicecompositions AT uchitels integratedworkbenchformodelbasedengineeringofservicecompositions AT mageej integratedworkbenchformodelbasedengineeringofservicecompositions AT kramerj integratedworkbenchformodelbasedengineeringofservicecompositions
_version_	1782029656521703424

An integrated workbench for model-based engineering of service compositions

Ejemplares similares