Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Categories for Software Engineering
Categories for Software Engineering
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
What Do Semantics Matter When the Meat Is Overcooked?
Concurrency, Graphs and Models
Can Component/Service-Based Systems Be Proved Correct?
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Structured co-spans: an algebra of interaction protocols
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
From BPEL to SRML: a formal transformational approach
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
An interface theory for service-oriented design
Theoretical Computer Science
| Hi-index | 0.00 |
We present a notion of module acquired from developing an algebraic framework for service-oriented modelling. More specifically, we give an account of the notion of module that supports the composition model of the SENSORIA Reference Modelling Language (SRML). The proposed notion is independent of the logic in which properties are expressed and components are programmed. Modules in SRML are inspired in concepts proposed for Service Component Architecture (SCA) and Web Services, as well the modules that have been proposed for Algebraic Specifications, namely by H. Ehrig and F. Orejas, among others; they include interfaces for required (imported) and provided (exported) services, as well as a number of components (body) whose orchestrations ensure how given behavioural properties of the provided services are guaranteed assuming that the requested services satisfy required properties.