An integrated workbench for model-based engineering of service compositions

Autores
Foster, Howard; Uchitel, Sebastian; Magee, Jeff; Kramer, Jeff
Año de publicación
2010
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Foster, Howard. Imperial College London; Reino Unido
Fil: Uchitel, Sebastian. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Magee, Jeff. Imperial College London; Reino Unido
Fil: Kramer, Jeff. Imperial College London; Reino Unido
Materia
Service Oriented Computing
Software Engineering
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/16442
Acceder
id CONICETDig_198e4adf592acef180b7dae6796e1a70
oai_identifier_str oai:ri.conicet.gov.ar:11336/16442
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling An integrated workbench for model-based engineering of service compositionsFoster, HowardUchitel, SebastianMagee, JeffKramer, JeffService Oriented ComputingSoftware Engineeringhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1The 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.Fil: Foster, Howard. Imperial College London; Reino UnidoFil: Uchitel, Sebastian. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Magee, Jeff. Imperial College London; Reino UnidoFil: Kramer, Jeff. Imperial College London; Reino UnidoIEEE Computer Society2010-05info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/16442Foster, Howard; Uchitel, Sebastian; Magee, Jeff; Kramer, Jeff; An integrated workbench for model-based engineering of service compositions; IEEE Computer Society; IEEE Transactions on Services Computing; 3; 2; 5-2010; 131-1441939-1374enginfo:eu-repo/semantics/altIdentifier/doi/10.1109/TSC.2010.19info:eu-repo/semantics/altIdentifier/url/http://ieeexplore.ieee.org/document/5467021/info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T10:01:02Zoai:ri.conicet.gov.ar:11336/16442instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 10:01:02.738CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv An integrated workbench for model-based engineering of service compositions
title An integrated workbench for model-based engineering of service compositions
spellingShingle An integrated workbench for model-based engineering of service compositions
Foster, Howard
Service Oriented Computing
Software Engineering
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 An integrated workbench for model-based engineering of service compositions
dc.creator.none.fl_str_mv Foster, Howard
Uchitel, Sebastian
Magee, Jeff
Kramer, Jeff
author Foster, Howard
author_facet Foster, Howard
Uchitel, Sebastian
Magee, Jeff
Kramer, Jeff
author_role author
author2 Uchitel, Sebastian
Magee, Jeff
Kramer, Jeff
author2_role author
author
author
dc.subject.none.fl_str_mv Service Oriented Computing
Software Engineering
topic Service Oriented Computing
Software Engineering
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Foster, Howard. Imperial College London; Reino Unido
Fil: Uchitel, Sebastian. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Magee, Jeff. Imperial College London; Reino Unido
Fil: Kramer, Jeff. Imperial College London; Reino Unido
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.
publishDate 2010
dc.date.none.fl_str_mv 2010-05
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/16442
Foster, Howard; Uchitel, Sebastian; Magee, Jeff; Kramer, Jeff; An integrated workbench for model-based engineering of service compositions; IEEE Computer Society; IEEE Transactions on Services Computing; 3; 2; 5-2010; 131-144
1939-1374
url http://hdl.handle.net/11336/16442
identifier_str_mv Foster, Howard; Uchitel, Sebastian; Magee, Jeff; Kramer, Jeff; An integrated workbench for model-based engineering of service compositions; IEEE Computer Society; IEEE Transactions on Services Computing; 3; 2; 5-2010; 131-144
1939-1374
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1109/TSC.2010.19
info:eu-repo/semantics/altIdentifier/url/http://ieeexplore.ieee.org/document/5467021/
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv IEEE Computer Society
publisher.none.fl_str_mv IEEE Computer Society
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269672770109440
score 13.13397

Publicaciones similares