Chopra, Amit K. and Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2009) Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. UNSPECIFIED. (Unpublished)
| PDF Download (771Kb) | Preview |
Abstract
Service-oriented applications facilitate the exchange of business services among autonomous and heterogeneous participants. Traditional system modeling approaches either apply at a lower of abstraction than required for such applications or do not 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. We also demonstrate the scalability of our approach.
Item Type: | Departmental Technical Report |
---|---|
Department or Research center: | Information Engineering and Computer Science |
Subjects: | Q Science > QA Mathematics > QA075 Electronic computers. Computer science Q Science > QA Mathematics > QA076 Computer software |
Uncontrolled Keywords: | Service-Oriented Computing, Conceptual modeling, Goals, Commitments, Interaction, Service engagement, Agents |
Report Number: | DISI-09-068 |
Repository staff approval on: | 11 Dec 2009 |
Actions (login required)
View Item |