Communicating Transaction Processes

12 years 7 months ago
Communicating Transaction Processes
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 highlevel labeled transition systems, where processes interact via common action labels. Each action is a non-atomic interaction which is captured 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 mode...
Abhik Roychoudhury, P. S. Thiagarajan
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where ACSD
Authors Abhik Roychoudhury, P. S. Thiagarajan
Comments (0)