Sciweavers

492 search results - page 11 / 99
» Hybrid Sequence Charts
Sort
View
FASE
2007
Springer
14 years 1 months ago
S2A: A Compiler for Multi-modal UML Sequence Diagrams
We report on S2A, a compiler that translates Modal UML Sequence Diagrams (MSDs), a UML-compliant version of Live Sequence Charts (LSCs), into AspectJ code. It thus provides full co...
David Harel, Asaf Kleinbort, Shahar Maoz
PADL
2004
Springer
14 years 28 days ago
Symbolic Execution of Behavioral Requirements
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S....
HYBRID
2005
Springer
14 years 1 months ago
A Homology Theory for Hybrid Systems: Hybrid Homology
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
Aaron D. Ames, Shankar Sastry
ICSE
2010
IEEE-ACM
13 years 9 months ago
LM: a miner for scenario-based specifications
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng K...
ACSD
1998
IEEE
113views Hardware» more  ACSD 1998»
13 years 12 months ago
Modeling and Analyzing Interorganizational Workflows
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
Wil M. P. van der Aalst