Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Handbook of theoretical computer science (vol. B)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Action versus State based Logics for Transition Systems
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Institutions for Behaviour Specification
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
A Hierarchy of Temporal Logics with Past (Extended Abstract)
STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
Institution-independent Model Theory
Institution-independent Model Theory
What Is a Multi-modeling Language?
Recent Trends in Algebraic Development Techniques
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A model checking approach for verifying COWS specifications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A categorical approach to simulations
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A heterogeneous approach to service-oriented systems specification
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards managing dynamic reconfiguration of software systems in a categorical setting
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
| Hi-index | 0.00 |
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable services. In this paper we propose a new heterogeneous specification approach for 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.