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

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)

Download (771Kb) | Preview


    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