You are not logged in |
A Heterogeneous Approach to Service-Oriented Systems Specification: Two Months Later
- Speaker(s)
- Grzegorz Marczyński i Artur Zawłocki
- Affiliation
- Uniwersytet Warszawski
- Date
- April 27, 2009, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Service-oriented architecture (SOA) is a relatively new ap- proach to software system development. It divides system functionality to independent, loosely coupled, interoperable services. In this paper we propose a new heterogeneous specification approach of SOA systems where a heterogeneous structured specification consists of a number of specifications of individual services written in a "local" logic and where the specification of their interactions is separately described in a "global" logic. A main feature of our global logic is the possibility of describing the dynamic change of service communications over time. Our approach is based on the theory of institutions: we show that both logics form institutions and that these institutions are connected by an institution comorphism. We illustrate our approach by a simple scenario of an e- university management system and show the power of the heterogeneous specification approach by a compositional refinement of the scenario.
