Sciweavers

CAISE
2010
Springer

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments

13 years 4 months ago
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than required for such applications or fail to accommodate the autonomous and heterogeneous nature of the participants. We present a businesslevel conceptual model that addresses the above shortcomings. The model gives primacy to the participants in a service-oriented application. A key feature of the model is that it cleanly decouples the specification of an application's architecture from the specification of individual participants. We formalize the connection between the two--the reasoning that would help a participant decide if a specific application is suitable for his needs. We implement the reasoning in datalog and apply it to a case study involving car insurance.
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where CAISE
Authors Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
Comments (0)