Abstract
Service-oriented modeling and analysis is a promising approach to manage context-aware cooperation among organizations belonging to the same value chain. Following this approach, a value chain is modeled as a composition of services provided by different partners and coordinated in a way that their interactions can be reorganized according to changes in the environment. However, so far, most of the research work in this area has been focused on the design of architectures handling service discovery, compatibility and orchestration. Little attention has been given to the specification and verification of context-aware composition of services during the requirement engineering process. The goal of this paper is to fill this gap through a methodological approach based on the strict coupling between a social and a process model. The methodology is discussed through a simple example.
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
Bultan, T., Fu, X., Hull, R., Su, J.: 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 2003), pp. 403–410. ACM press, New York (2003)
Casati, F., Pozzi, G.: Modeling exceptional behaviours in commercial workflow management systems. In: Proceeding of the CoopIS/DOA/ODBASE 1999. LNCS, pp. 127–138 (1999)
Castro, J., Kolp, M., Mylopoulos, J.: Towards requirement-driven information systems engineering: the tropos project. Information Systems 27, 365–389 (2002)
Cherubini, A., Colombo, E., Francalanci, C., Spoletini, P.: A formal approach supporting the specification and verification of business conversation requirements. In: Proceeding of the IADIS International Conference on Applied Computing (2005)
Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering Series. Kluwer Internationale Series in Software Engineering, vol. 5 (2000)
Colombo, E., Francalanci, C., Pernici, B.: 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)
Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. on Soft. Eng. and Method. 5(4), 293–333 (1996)
Holtzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2004)
Kephard, J., Parashar, M., Sunderam, V., Das, R. (eds.): Proceedings of the International Conference on Autonomic Computing (2004)
Mais project., http://black.elet.polimi.it/mais/index.php
Malone, T.W., Crowston, K.: The interdisciplinary study of coordination. ACM Comp. Surveys 26(1), 87–119 (1994)
Mecella, M., Parisi-Presicce, F., Pernici, B.: Modeling e -service orchestration through petri nets. In: Proceedings of the 3nd VLDB International Workshop on Technologies for e-Services, pp. 38–47 (2002)
Murch, R.: Autonomic Computing. Prentice-Hall, Englewood Cliffs (2004)
ebxml project, http://www.ebXML.org
Pnueli, A.: A temporal logic of concurrent programs. Theoretical Computer Science 13, 45–60 (1981)
Scott, W.R.: Organizations: Rational, Natural and Open Systems. Prentice-Hall, Englewood Cliffs (1992)
Vispo project, http://www.casaccia.enea.it/vispo
Wombacher, A., Mahlenko, B.: Finding trading partners to establish ad-hoc business processes. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 339–355. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Colombo, E., Mylopoulos, J., Spoletini, P. (2005). Modeling and Analyzing Context-Aware Composition of Services. In: Benatallah, B., Casati, F., Traverso, P. (eds) Service-Oriented Computing - ICSOC 2005. ICSOC 2005. Lecture Notes in Computer Science, vol 3826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596141_16
Download citation
DOI: https://doi.org/10.1007/11596141_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30817-1
Online ISBN: 978-3-540-32294-8
eBook Packages: Computer ScienceComputer Science (R0)