We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program transformation into a service-oriented model. We also provide a similar transformation from session-based specifications into request-response specifications. All transformations are specified in SSCC---a process calculus for modelling and analysing service-oriented systems---and proved correct with respect to a suitable form of behavioural equivalence (full weak bisimilarity). Since the equivalence is proved to be compositional, results remain valid in arbitrary contexts.
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus / L. CRUZ-FILIPE; I. LANESE; F. MARTINS; A. RAVARA; V.T. VASCONCELOS. - STAMPA. - 5051:(2008), pp. 59-77. (Intervento presentato al convegno 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems tenutosi a Oslo, Norway nel 4-6/6/2008) [10.1007/978-3-540-68863-1_5].
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
LANESE, IVAN;
2008
Abstract
We analyse the relationship between object-oriented modelling and session-based, service-oriented modelling, starting from a typical UML Sequence Diagram and providing a program transformation into a service-oriented model. We also provide a similar transformation from session-based specifications into request-response specifications. All transformations are specified in SSCC---a process calculus for modelling and analysing service-oriented systems---and proved correct with respect to a suitable form of behavioural equivalence (full weak bisimilarity). Since the equivalence is proved to be compositional, results remain valid in arbitrary contexts.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
