Modeling and analyzing context-aware composition of services

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

Volumn 3826 LNCS, Issue , 2005, Pages 198-213

  Colombo, Enzo ^a   Mylopoulos, John ^b   Spoletini, Paola ^a  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT FREE LANGUAGES; ENGINEERING RESEARCH; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; PROCESS CONTROL; SOCIAL ASPECTS;

COMPOSITION OF SERVICES; CONTEXT AWARE COOPERATIONS; METHODOLOGICAL APPROACH; ORCHESTRATION;

QUALITY OF SERVICE;

EID: 33744952810     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596141_16     Document Type: Conference Paper

References (18)

1. T. Bultan, X. Fu, R. Hull, and J. Su. Composition specification: a new approach to design and analysis of e-service composition. In Proceeding of the International Conference on the World Wide Web (WWW'03), ACM press, pages 403-410, 2003.
2. F. Casati and G. Pozzi. Modeling exceptional behaviours in commercial workflow management systems. In Proceeding of the CoopIS/DOA/ODBASE 1999, LNCS, pages 127-138, 1999.
3. J. Castro, M. Kolp, and J. Mylopoulos. Towards requirement-driven information systems engineering: the tropos project. Information Systems, 27:365-389, 2002.
4. A. Cherubini, E. Colombo, C. Francalanci, and P. Spoletini. A formal approach supporting the specification and verification of business conversation requirements. In Proceeding of the IADIS International Conference on Applied Computing, 2005.
5. L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering Series, volume 5. Kluwer Internationale Series in Software Engineering, 2000.
6. E. Colombo, C. Francalanci, and B. Pernici. Modeling cooperation in virtual districts: a methodology for e-service design. International Journal of Cooperating Information Systems, Special Issue on Service Oriented Modeling, 13(4):337-369, 2004.
7. D. Harel and A. Naamad. The statemate semantics of statecharts. ACM Trans. on Soft. Eng. and Method., 5(4):293-333, 1996.
8. G.J. Holtzmann. The SPIN Model Checker. Addison-Wesley, 2004.
9. J. Kephard, M. Parashar, V. Sunderam, and R. Das, editors. Proceedings of the International Conference on Autonomic Computing, 2004.
10. Mais project, http://black.elet.polimi.it/mais/index.php.
11. T.W. Malone and K. Crowston. The interdisciplinary study of coordination. ACM Comp. Surveys, 26(1):87-119, 1994.
12. M. Mecella, F. Parisi-Presicce, and B. Pernici. Modeling e -service orchestration through petri nets. In Proceedings of the 3nd VLDB International Workshop on Technologies for e-Services, pages 38-47, 2002.
13. R. Murch. Autonomic Computing. Prentice Hall, 2004.
14. ebxml project. www.ebXML.org.
15. A. Pnueli. A temporal logic of concurrent programs. Theoretical Computer Science, 13:45-60, 1981.
16. W. R. Scott. Organizations: Rational, Natural and Open Systems. Prentice Hall, 1992.
17. Vispo project, www.casaccia.enea.it/vispo.
18. A. Wombacher and B. Mahlenko. Finding trading partners to establish ad-hoc business processes. In Proceeding of the CoopIS/DOA/ODBASE 2002, LNCS, pages 339-355, 2002.