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

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 busi...

Full description

Saved in:
Bibliographic Details
Published inAdvanced Information Systems Engineering pp. 113 - 128
Main Authors Chopra, Amit K., Dalpiaz, Fabiano, Giorgini, Paolo, Mylopoulos, John
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Business modeling
Commitments
Goals
Service engagements
Service-oriented architecture
Online AccessGet full text

Cover

More Information
Summary: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 business-level 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.
ISBN:3642130933
9783642130939
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-13094-6_10