Artículo
Foster, H.; Uchitel, S.; Magee, J.; Kramer, J. "An integrated workbench for model-based engineering of service compositions" (2010) IEEE Transactions on Services Computing. 3(2):131-144
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
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.
Registro:
| Documento: | Artículo |
| Título: | An integrated workbench for model-based engineering of service compositions |
| Autor: | Foster, H.; Uchitel, S.; Magee, J.; Kramer, J. |
| Filiación: | Department of Computing, Imperial College London, Huxley Building, London SW7 2AZ, United Kingdom Departamento de Computación, Universidad de Buenos Aires, Ciudad Universitaria, Buenos Aires C1428EGA, Argentina |
| Palabras clave: | 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 |
| Año: | 2010 |
| Volumen: | 3 |
| Número: | 2 |
| Página de inicio: | 131 |
| Página de fin: | 144 |
| DOI: | http://dx.doi.org/10.1109/TSC.2010.19 |
| Título revista: | IEEE Transactions on Services Computing |
| Título revista abreviado: | IEEE Trans. Serv. Comput. |
| ISSN: | 19391374 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_19391374_v3_n2_p131_Foster |
Referencias:
- Alves, A., Web service business execution language (WSBPEL) v2.0 (2007) OASIS OASIS Standard, , http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html, Apr
- Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Web services choreography description language version 1.0 (2005) W3C W3C Candidate Recommendation, , http://www.w3.org/TR/ws-cdl-10, Nov
- Akkiraju, R., Flaxer, H., Chang, H., Chao, T., Zhang, L.J., Wu, F., Jeng, J.J., A framework for facilitating dynamic e-business via web services (2001) Proc. Workshop Object-Oriented Web Services at ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '01)
- Booth, D., Haas, D.H., Web services architecture (WS-A) (2004) World Wide Web Consortium (W3C), , http://www.w3.org/TR/ws-arch, Working Group Note, Feb
- Pyarali, I., Spivak, M., Cytron, R., Douglas, C.S., Evaluating and optimizing thread pool strategies for real-time CORBA (2001) Proc. ACM SIGPLAN Workshop Languages, Compilers and Tools for Embedded Systems
- Magee, J., Dulay, N., Eisenbach, S., Kramer, J., Specifying distributed software architectures (1995) Proc. Fifth European Software Eng. Conf. (ESEC '95)
- (2007), www.uml.org, OMG, Object Management Group, Specification, Feb; Milner, R., (1989) Communication and Concurrency, , Prentice-Hall
- Magee, J., Kramer, J., Giannakopoulou, D., Analysing the behaviour of distributed software architectures: A case study (1997) Proc. Fifth IEEE Workshop Future Trends of Distributed Computing Systems
- Magee, J., Kramer, J., (2006) Concurrency-State Models and Java Programs, , second ed. John Wiley
- Magee, J., (2009) FSPLanguageSpecification, , http://www.doc.ic.ac.uk/ltsa/fsp
- Formal description techniques (FDT) message sequence chart (MSC) (Z20) (2004) Int'l Telecomm. Union, Telecomm. Standardisation Sector, ITU-T Recommendation, , http://www.itu.int/ITU-T/2005-2008/com17/languages/Z120.pdf, ITU-T-Z20, Apr
- Uchitel, S., Kramer, J., Magee, J., Synthesis of behavioral models from scenarios (2003) IEEE Trans. Software Eng., 29 (2), pp. 99-115. , Feb
- Foster, H., Uchitel, S., Magee, J., Kramer, J., Hu, M., Using a rigorous approach for engineering web service compositions: A case study (2005) Proc. Services Computing Conf. (SCC '05)
- Emmerich, W., Butchart, B., Chen, L., Wassermann, B., Price, S.L., Grid service orchestration using the business process execution language (BPEL) (2005) J. Grid Computing, 3 (3-4), pp. 283-304. , http://dx.doi.org/10.1007/s10723-005-9015-3
- Foster, H., Uchitel, S., Magee, J., Kramer, J., WS-Engineer: A tool for model-based verification of web service compositions and choreography (2006) Proc. Int'l Conf. Software Eng. (ICSE '06)
- Papazoglou, M., Yang, J., Design methodology for web services and business processes, technologies for e-services (2002) Lecture Notes in Computer Science, , Springer-Verlag
- Gardner, T., UML modelling of automated business process with mapping to BPEL4WS (2003) Proc. First European Workshop Object Orientation and Web Services (EOOWS '03)
- Iyengar, S., Business process integration using UML and BPEL4WS (2003) Proc. XML Conf. and Exposition (XML '03)
- Mantell, K., From UML to BPEL (2003) Technical Report, , IBM DeveloperWorks
- Woodman, S., Palmer, E.D., Notations for the specification and verification of composite web services (2004) Proc. Eighth IEEE Int'l Enterprise Distributed Object Computing (EDOC)
- Pistore, M., Roveri, A.M., Requirements-Driven verification of web services (2004) Proc. Int'l Workshop Web Services and Formal Methods (WS-FM '04)
- Yu, E., Towards Modeling and Reasoning Support for Early Requirements Engineering (1997) Proc. Third Int'l Symp. Requirements Eng. (RE '97)
- Hamadi, R., Benatallah, B., A petri net-based model for web services composition (2004) Proc. Third IEEE Int'l Conf. Web Services (ICWS)
- Yi, X., Kochut, K.J., Towards efficient integration of complex web services using a unified model for protocol and process (2004) Proc. Fifth Int'l Conf. Internet Computing (IC '04)
- Yi, X., Kochut, K., Process composition of web services with complex conversation protocols: A colored petri nets based approach (2004) Proc. Design, Analysis, and Simulation of Distributed Systems Symp. (DASD '04)
- Nakajima, S., Model-Checking verification for reliable web service (2002) Proc. Workshop Object-Oriented Web Services at ACM SIGPLAN Conf. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
- Leymann, F., Web services flow language specification (WSFL 1.0) (2001) Technical Report, , IBM
- Nakajima, S., On verifying web service flows (2002) Proc. Int'l Symp. Applications and the Internet (SAINT '02)
- Ferrara, A., Web services: A process algebra approach (2004) Proc. Second Int'l Conf. Service Oriented Computing (ICSOC '04)
- Salaun, G., Ferrara, A., Negotiation among web services using LOTOS/CADP (2004) Proc. European Conf. Web Services (ECWS '04)
- Bianculli, D., Ghezzi, C., Spoletini, P., A model checking approach to verify BPEL4WS workflows (2007) Proc. Int'l Conf. Service-Oriented Computing and Applications (SOCA '07)
- Foster, H., Architecture and behaviour analysis for engineering service modes (2009) Proc. Second Workshop Principles of Eng. Service Oriented Systems (PESOS '09), , May
Citas:
---------- APA ----------
Foster, H., Uchitel, S., Magee, J. & Kramer, J. (2010) . An integrated workbench for model-based engineering of service compositions. IEEE Transactions on Services Computing, 3(2), 131-144.http://dx.doi.org/10.1109/TSC.2010.19
---------- CHICAGO ----------
Foster, H., Uchitel, S., Magee, J., Kramer, J. "An integrated workbench for model-based engineering of service compositions" . IEEE Transactions on Services Computing 3, no. 2 (2010) : 131-144.http://dx.doi.org/10.1109/TSC.2010.19
---------- MLA ----------
Foster, H., Uchitel, S., Magee, J., Kramer, J. "An integrated workbench for model-based engineering of service compositions" . IEEE Transactions on Services Computing, vol. 3, no. 2, 2010, pp. 131-144.http://dx.doi.org/10.1109/TSC.2010.19
---------- VANCOUVER ----------
Foster, H., Uchitel, S., Magee, J., Kramer, J. An integrated workbench for model-based engineering of service compositions. IEEE Trans. Serv. Comput. 2010;3(2):131-144.http://dx.doi.org/10.1109/TSC.2010.19
