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.

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments / Chopra, Amit K.; Dalpiaz, Fabiano; Giorgini, Paolo; Mylopoulos, John. - ELETTRONICO. - (2009), pp. 1-15.

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

Chopra, Amit K.;Dalpiaz, Fabiano;Giorgini, Paolo;Mylopoulos, John
2009-01-01

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.
2009
Trento
University of Trento - Dipartimento di Ingegneria e Scienza dell'Informazione
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments / Chopra, Amit K.; Dalpiaz, Fabiano; Giorgini, Paolo; Mylopoulos, John. - ELETTRONICO. - (2009), pp. 1-15.
Chopra, Amit K.; Dalpiaz, Fabiano; Giorgini, Paolo; Mylopoulos, John
File in questo prodotto:
File Dimensione Formato  
TR-DISI-09-068.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 771.03 kB
Formato Adobe PDF
771.03 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/358534
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact