A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Better verification through symmetry
Formal Methods in System Design - Special issue on symmetry in automatic verification
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Triggered message sequence charts
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Liveness with (0, 1, infty)-Counter Abstraction
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Communicating Transaction Processes
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
UML for real: design of embedded real-time systems
UML for real: design of embedded real-time systems
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Symbolic message sequence charts
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
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.