Modeling and reasoning about service-oriented applications via goals and commitments

  • Authors:

  • Amit K. Chopra;Fabiano Dalpiaz;Paolo Giorgini;John Mylopoulos

  • Affiliations:

  • Department of Information Engineering and Computer Science, University of Trento;Department of Information Engineering and Computer Science, University of Trento;Department of Information Engineering and Computer Science, University of Trento;Department of Information Engineering and Computer Science, University of Trento

  • Venue:
  • CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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