Algebraic semantics of service component modules
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Graphical definition of in-place transformations in the eclipse modeling framework
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A graphical specification of model transformations with triple graph grammars
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
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
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Engineering service oriented applications: from StPowla processes to SRML models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
A formal model for service-oriented interactions
Science of Computer Programming
Hi-index | 0.00 |
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a composition of tightly coupled components and loosely coupled, dynamically discovered services. This paper presents an encoding of BPEL processes into SRML modules using model transformation techniques. The encoding provides the means to create highlevel declarative descriptions of BPEL processes that can be used for building more complex modules, possibly including components implemented in other languages. The composition can be modelled and analysed as an ensemble, relying on the rich formal framework that is being developed within SENSORIA.