OASIcs.ICCSW.2013.111.pdf
- Filesize: 0.62 MB
- 8 pages
Document
Logical Foundations of Services
Author
-
Part of:
Volume:
2013 Imperial College Computing Student Workshop (ICCSW 2013)
Series: Open Access Series in Informatics (OASIcs) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-10-14
Cite As Get BibTex
Ionut Tutu. Logical Foundations of Services. In 2013 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 35, pp. 111-118, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/OASIcs.ICCSW.2013.111
Abstract
In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, and how properties of interaction-points, i.e. points through which such networks connect to one another, can be expressed. We formalise the resulting logic as a parameterised institution, which promotes the development of both declarative and operational semantics of services in a heterogeneous setting by means of logic-programming concepts.
Subject Classification
Keywords
- Formal methods
- Service-oriented computing
- Institution theory
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads