Specifying and composing interaction protocols for service-oriented system modelling

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

Volumn 4574 LNCS, Issue , 2007, Pages 358-373

  Abreu, João ^a   Bocchi, Laura ^a   Fiadeira, José Luiz ^a   Lopes, Antónia ^b  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; NETWORK PROTOCOLS; PROJECT MANAGEMENT; SEMANTICS; COMPUTATIONAL LINGUISTICS;

COMPLEX SERVICES; INTERACTION PROTOCOLS; SERVICE-ORIENTED SYSTEM; FORMAL FRAMEWORK; HIGH-LEVEL APPROACH; INDUSTRIAL PARTNERS; INTER-ACTION PROTOCOLS; MATHEMATICAL SEMANTICS; SERVICE ORIENTED SYSTEMS; TELECOM ITALIA;

COMPUTER SYSTEMS; MODELING LANGUAGES;

EID: 38149139244     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73196-2_23     Document Type: Conference Paper

References (13)

1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, New York (2004)
2. Baïna, K., Benatallah, B., Casati, F., Toumani, F.: Model-driven web service development. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 290-306. Springer, Heidelberg (2004)
3. Fiadeiro, J.L.: Categories for Software Engineering. Springer, New York (2004)
4. Fiadeiro, J.L.: Designing for software's social complexity. IEEE Computer 40(1), 34-39 (2007)
5. Fiadeiro, J.L., Lopes, A., Bocchi, L.: The SENSORIA Reference Modelling Language: Primitives for Configuration Management (2006) Available from www.sensoria-ist.eu
6. 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)
7. Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic semantics of service component modules. In: Fiadeiro, J.L., Schobbens, P.Y. (eds.) Algebraic Development Techniques, pp. 37-55. Springer, Heidelberg (2007)
8. Fiadeiro, J.L., Schmitt, V.: Structured co-spans: an algebra of interaction protocols. In: CALCO'07. LNCS. Springer, Berlin, Heidelberg, New York (In print 2007)
9. Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco, CA (2004)
10. Gnesi, S., Mazzanti, F.: On the fly model checking of communicating UML state machines. In: Second ACIS International Conference on Software Engineering Research, Management and Applications (SERA2004), pp. 331-338 (2004)
11. 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)
12. Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal ACM 39(1), 95-146 (1992)
13. SCA Consortium (2005) Building Systems using a Service Oriented Architecture. White-paper available from www-128.ibm.com/developerworks/library/ specification/ws-sca/