A formal approach to service component architecture

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

Volumn 4184 LNCS, Issue , 2006, Pages 193-213

  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

COMPUTER PROGRAMMING; MATHEMATICAL MODELS; TELECOMMUNICATION SERVICES; USER INTERFACES; WORLD WIDE WEB;

HARDWARE PLATFORMS; SERVICE COMPONENT ARCHITECTURE; SERVICE-ORIENTED MODELING;

COMPUTER ARCHITECTURE;

EID: 33845189831     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_13     Document Type: Conference Paper

References (16)

1. G. Alonso, F. Casati, H. Kuno, V. Machiraju (2004) Web Services. Springer, Berlin Heidelberg New York
2. K. Baïna, B. Benatallah, F. Casati, F. Toumani (2004)Model-driven web service development. In A. Persson, J. Stirna (eds): CAiSE'05. LNCS, vol 3084. Springer, Berlin Heidelberg New York, pp 290-306
3. L. Baresi, R. Heckel, S, Thöne, D. Varró (2003) Modeling and validation of service-oriented architectures: Application vs style. In A. Persson, J. Stirna (eds): ESEC'03. LNCS, vol 3084. Springer, Berlin Heidelberg New York, pp 290-306
4. B. Benatallah, F. Casati, F. Toumani (2004) Web service conversation modelling. IEEE Internet Computing 8(1):46-54
5. R. Bruni, H. Melgratti, U. Montanari (2005) Theoretical foundations for compensations in flow composition languages. In POPL'05. ACM Press, New York, pp 209-220
6. F. Curbera, R. Khalaf, N. Mukhi, S. Tai, S. Weerawarana (2003) The next step in web services. CACM 46(10):29-34
7. H. Ehrig, K. Ehrig, U. Prange, G. Taentzer (2006) Fundamentals of Algebraic Graph Transformation, EATCS Monographs on Theoretical Computer Science. Springer, Berlin Heidelberg New York
8. H. Ehrig, B. Mahr (2005) Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol 21. Springer, Berlin Heidelberg New York
9. J. L. Fiadeiro, A. Lopes, L. Bocchi (2006) The SENSORIA Reference Modelling Language: Primitives for Service Description, Available from www.sensoria-ist.eu
10. J. L. Fiadeiro, A. Lopes, M. Wermelinger (2003) A mathematical semantics for architectural connectors. In: R. Backhouse, J. Gibbons (eds) Generic Programming. LNCS, vol 2793. Springer, Berlin Heidelberg New York, pp 190-234
11. I. Foster, C. Kesselman (eds) (2004) The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco, CA
12. R. Goldblatt (1987) Logics of Time and Computation. CSLI, Stanford
13. J. Misra, W. Cook (2006) Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modelling. To appear
14. SCA Consortium (2005) Building Systems using a Service Oriented Architecture. White-paper available from www-128.ibm.com/developerworks/library/ specification/ws-sca/
15. M. Solanki, A. Cau and H. Zedan (2004) Augmenting semantic web service description with compositional specification. In WWW'04. ACM Press, New York, pp 544-552
16. M. Wermelinger, A. Lopes, J. L. Fiadeiro (2001) A graph-based architectural (re)configurationlanguage.In V.Gruhn(ed):ESEC/FSE'01. ACM Press.New York, pp21-32