Communicating transaction processes

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2003-January, Issue , 2003, Pages 157-166

  Roychoudhury, Abhik ^a   Thiagarajan, P S ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Centralized control; Concurrent computing; Control system synthesis; Control systems; Network synthesis; Testing; Unified modeling language

Indexed keywords

CONCURRENCY CONTROL; CONTROL SYSTEM SYNTHESIS; CONTROL SYSTEMS; FLOWCHARTING; MODELING LANGUAGES; PETRI NETS; SEMANTICS; SPECIFICATIONS; SYSTEMS ANALYSIS; TESTING; UNIFIED MODELING LANGUAGE;

CENTRALIZED CONTROL; CONCURRENT COMPUTING; EXECUTABLE SPECIFICATIONS; LABELED TRANSITION SYSTEMS; MESSAGE SEQUENCE CHARTS; NETWORK SYNTHESIS; OPERATIONAL SEMANTICS; SEPARATION OF CONCERNS;

PROCESS CONTROL;

EID: 84867866574     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2003.1207710     Document Type: Conference Paper

References (15)

1. R. Alur, K. Etessami, and M. Yannakakis. Realizability and verification of MSC graphs. In International Colloquium on Automata, Languages and Programming (ICALP), 2001.
2. B. Caillaud, P. Darondeau, L. Helouet, and G. Lesventes. Hmscs as partial specifications ... with pns as completions. In Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000, LNCS 2067, 2001.
3. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
4. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1), 2001.
5. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
6. B. Douglass. Doing Hard Time: Developing Real-time Systems using UML, Objects, Frameworks and Patterns. Addison-Wesley, 1999.
7. D. Harel and H. Kugler. From play-in scenarios to code: An achievable dream. In Fundamental Approaches to Software Engineering (FASE), LNCS 1783, 2000.
8. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. International Journal on Foundations of Computer Science, 13(1), 2002.
9. D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart playout of behavioral requirements. In International Conference on Formal Methods in Computer Aided Design (FMCAD), 2002.
10. J. Hendriksen, M. Mukund, K. Kumar, and P.S. Thiagarajan. Message sequence graphs and finitely generated regular MSC languages. In International Colloquium on Automata, Languages and Programming (ICALP), LNCS 1853, 2000.
11. I. Krueger, R. Grosu, P. Scholz, and M. Broy. From MSCs to statecharts. In International Workshop on Distributed and Parallel Embedded Systesms (DIPES), 1998.
12. M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures and domains. Theoretical Computer Science (TCS), 13, 1981.
13. A. Roychoudhury and P.S. Thiagarajan. An executable specification language based on message sequence charts. In Formal Methods at the Crossroads: from Panacea to Foundational Support. Springer Verlag, To be published as LNCS volume, 2002.
14. M. Sgroi and L. Lavagno. Synthesis of embedded software using free-choice Petri nets. In ACM Design Automation Conference (DAC), 1999.
15. Z.120. Message Sequence Charts (MSC'96), 1996.