UML for real
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Proceedings of the 28th international conference on Software engineering
Modelling concurrent interactions
Theoretical Computer Science - Algebraic methodology and software technology
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design
ACM Transactions on Software Engineering and Methodology (TOSEM)
Scenario realizability with constraint optimization
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactions. Synthesizing intra-process (intra-object) executable specifications from an MSC-based description is a non-trivial task. Here we present a model called Communicating Transaction Processes (CTP) based on MSCs from which an executable specification can be extracted in a straightforward manner. Our model describes a network of communicating processes as a collection of high-level labeled transition systems, where processes interact via common action labels. Each action is a non-atomic interaction which is described by a guarded choice of MSCs. Thus our model achieves a separation of concerns: the high-level transition systems depicting intra-process control flow, while the actions in the transition system capture interprocess interaction via MSCs. We show how to extract an ordinary Petri net from a CTP model thereby leading to a standard operational semantics. We also discuss the connectionof our formalism to Live Sequence Charts, an extension of MSCs which also has an executable semantics.