Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/41845
Title: Interacting process classes
Authors: Goel, A. 
Meng, S.
Roychoudhury, A. 
Thiagarajan, P.S. 
Keywords: Active objects
Message sequence charts
Symbolic execution
Unified modeling language (UML)
Issue Date: 2006
Source: Goel, A.,Meng, S.,Roychoudhury, A.,Thiagarajan, P.S. (2006). Interacting process classes. Proceedings - International Conference on Software Engineering 2006 : 302-311. ScholarBank@NUS Repository.
Abstract: Many reactive control systems consist of classes of interacting objects where the objects belonging to a class exhibit similar behaviors. Such interacting process classes appear in telecommunication, transportation and avionics domains. In this paper, we propose a modeling and simulation technique for interacting process classes. Our modeling style uses standard notations to capture behavior. In particular, the control flow of a process class is captured by a labeled transition system, unit interactions between process objects are described by Message Sequence Charts and the structural relations are captured via class diagrams. The key feature of our approach is that our execution semantics leads to a symbolic simulation technique. Our simulation strategy is both time and memory efficient and we demonstrate this on well-studied non-trivial examples of reactive systems. Copyright 2006 ACM.
Source Title: Proceedings - International Conference on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/41845
ISBN: 1595933751
ISSN: 02705257
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

36
checked on Dec 16, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.