Abstract
We present a notion of module acquired from developing an algebraic framework for service-oriented modelling. More specifically, we give an account of the notion of module that supports the composition model of the SENSORIA Reference Modelling Language (SRML). The proposed notion is independent of the logic in which properties are expressed and components are programmed. Modules in SRML are inspired in concepts proposed for Service Component Architecture (SCA) and Web Services, as well the modules that have been proposed for Algebraic Specifications, namely by H. Ehrig and F. Orejas, among others; they include interfaces for required (imported) and provided (exported) services, as well as a number of components (body) whose orchestrations ensure how given behavioural properties of the provided services are guaranteed assuming that the requested services satisfy required properties.
This work was partially supported through the IST-2005-16004 Integrated Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers, and the Marie-Curie TOK-IAP MTK1-CT-2004-003169 Leg2Net: From Legacy Systems to Services in the Net.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
de Alfaro, L., Henzinger, T.: Interface automata. In: ESEC/SIGSOFT_FSE, pp. 109–120. ACM Press, New York (2001)
Baumeister, H., Hacklinger, F., Hennicker, R., Knapp, A., Wirsing, M.: A component model for architectural programming. Electronic Notes in Theoretical Computer Science (to appear, 2005)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. In: EATCS Monographs on Theoretical Computer Science, vol. 21, Springer, Heidelberg (1990)
Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A component framework for system modeling based on high-level replacement systems. Software Systems Modeling 3, 114–135 (2004)
Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2004)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: The SENSORIA Reference Modelling Language: Primitives for Service Description and Composition (2006), Available from, http://www.sensoria-ist.eu
Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)
Gnesi, S., Mazzanti, F.: A model checking verification environment for UML Statecharts. In: Proceedings of XLIII Congresso Annuale AICA "Comunita’ Virtuale dalla Ricerca all’Impresa dalla Formazione al Cittadino", University of Udine – AICA (2005), paper available from, fmt.isti.cnr.it
Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal ACM 39(1), 95–146 (1992)
Consortium, S.C.A.: Building Systems using a Service Oriented Architecture (2005), Whitepaper available from, http://www-128.ibm.com/developerworks/library/specification/ws-sca , (version 0.9)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Fiadeiro, J.L., Lopes, A., Bocchi, L. (2007). Algebraic Semantics of Service Component Modules. In: Fiadeiro, J.L., Schobbens, PY. (eds) Recent Trends in Algebraic Development Techniques. WADT 2006. Lecture Notes in Computer Science, vol 4409. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71998-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-71998-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71997-7
Online ISBN: 978-3-540-71998-4
eBook Packages: Computer ScienceComputer Science (R0)