Algebraic semantics of service component modules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4409 LNCS, Issue , 2007, Pages 37-55

  Fiadeiro, José Luiz ^a   Lopes, Antónia ^b   Bocchi, Laura ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; INFORMATION SERVICES;

ALGEBRAIC FRAMEWORK; ALGEBRAIC SPECIFICATIONS; SERVICE-ORIENTED MODELING;

SEMANTICS;

EID: 38049073909     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71998-4_3     Document Type: Conference Paper

References (10)

1. L. de Alfaro, T. Henzinger (2001) Interface automata. ESEC/SIGSOFT_FSE. ACM Press, New York, pp 109-120
2. H. Baumeister, F. Hacklinger, R. Hennicker, A. Knapp, M. Wirsing (2005) A component model for architectural programming. Electronic Notes in Theoretical Computer Science to appear
3. H. Ehrig, B. Mahr (1990) Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol 21. Springer, Berlin Heidelberg New York
4. H. Ehrig, F. Orejas, B. Braatz, M. Klein, M. Piirainen (2004) A component framework for system modeling based on high-level replacement systems. Software Systems Modeling 3:114-135
5. J. L. Fiadeiro (2004) Categories for Software Engineering. Springer, Berlin Heidelberg New York
6. J. L. Fiadeiro, A. Lopes, L. Bocchi (2006) The SENSORIA Reference Modelling Language: Primitives for Service Description and Composition. Available from www.sensoria-ist.eu
7. J. L. Fiadeiro, A. Lopes, L. Bocchi (2006) A formal approach to service-oriented architecture. In: M. Bravetti, M. Nunez, G. Zavattaro (eds) Web Services and Formal Methods. LNCS, vol 4184. Springer, Berlin Heidelberg New York, pp 193-213
8. S. Gnesi, F. Mazzanti (2005) 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 (paper available from fmt.isti.cnr.it)
9. J. Goguen, R. Burstall (1992) Institutions: abstract model theory for specification and programming. Journal ACM 39(1):95-146
10. SCA Consortium (2005) Building Systems using a Service Oriented Architecture. Whitepaper available from www-128.ibm.com/developerworks/ library/specification/ws-sca (version 0.9)