12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Modeling and reasoning about service-oriented a...
View graph of relations

« Back

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

Research output: Contribution in Book/Report/ProceedingsPaper

Published

Publication date2010
Host publicationAdvanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings
EditorsBarbara Pernici
Place of publicationBerlin
PublisherSpringer
Pages113-128
Number of pages16
ISBN (Electronic)978-3-642-13094-6
ISBN (Print)978-3-642-13093-9
Original languageEnglish

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6051
ISSN (Print)0302-9743

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.