The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Modeling E -service Orchestration through Petri Nets
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Modeling Exceptional Behaviors in Commercial Workflow Management Systems
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Autonomic Computing
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
A survey of agent-oriented software engineering for service-oriented computing
International Journal of Web Engineering and Technology
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Context-aware services engineering: Models, transformations, and verification
ACM Transactions on Internet Technology (TOIT)
A multi-perspective framework for organizational patterns
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
| Hi-index | 0.00 |
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.