The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Model checking
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
A Framework for Organisational Control Principles
ACSAC '02 Proceedings of the 18th Annual Computer Security Applications Conference
Multivariate statistical techniques for parallel performance prediction
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
A Design Methodology for Modeling Trustworthy Value Webs
International Journal of Electronic Commerce
Value-Driven Coordination Process Design Using Physical Delivery Models
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Value-oriented coordination process modeling
BPM'10 Proceedings of the 8th international conference on Business process management
Consistency between e3-value models and activity diagrams in a multi-perspective development method
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Dynamic consistency between value and coordination models – research issues
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
An Approach for E-Service Design using Enterprise Models
International Journal of Information System Modeling and Design
Resource Analysis and Classification for Purpose Driven Value Model Design
International Journal of Information System Modeling and Design
Conceptual Modeling Method for Separation of Concerns and Integration of Structure and Behavior
International Journal of Information System Modeling and Design
Hi-index | 0.00 |
The rapid growth of service coordination languages creates a need for methodological support for coordination design. Coordination design differs from workflow design because a coordination process connects different businesses that can each make design decisions independently from the others, and no business is interested in supporting the business processes of others. In multi-business cooperative design, design decisions are only supported by all businesses if they contribute to the profitability of each participating business. So in order to make coordination design decisions supported by all participating businesses, requirements for a coordination process should be derived from the business model that makes the coordination profitable for each participating business. We claim that this business model is essentially a model of intended value exchanges. We model the intended value exchanges of a business model as e3 -value value models and coordination processes as UML activity diagrams. The contribution of the paper is then to propose and discuss a criterion according to which a service coordination process must be correct with respect to a value exchange model. This correctness is necessary to gain business support for the process. Finally, we discuss methodological consequences of this approach for service coordination process design.