Model Checking - Timed UML State Machines and Collaborations
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Object Teams: Improving Modularity for Crosscutting Collaborations
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Aspect-Oriented Analysis and Design
Aspect-Oriented Analysis and Design
Proceedings of the 4th international conference on Aspect-oriented software development
4th International Conference on Aspect-Oriented Software Development Conference
An expressive aspect language for system applications with Arachne
Proceedings of the 4th international conference on Aspect-oriented software development
Proceedings of the 4th international conference on Aspect-oriented software development
Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series)
Aspect-Oriented Software Development with Use Cases (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
AO challenge - implementing the ACID properties for transactional objects
Proceedings of the 5th international conference on Aspect-oriented software development
Towards Aspect-Oriented Class Diagrams
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Detecting Precedence-Related Advice Interference
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Proceedings of the 5th international conference on Generative programming and component engineering
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
A generic weaver for supporting product lines
Proceedings of the 13th international workshop on Early Aspects
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Detection and Resolution of Weaving Interactions
Transactions on Aspect-Oriented Software Development V
Aspect-oriented modeling of adaptive web applications with HiLA
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
Crisis management systems: a case study for aspect-oriented modeling
Transactions on aspect-oriented software development VII
Directives for composing aspect-oriented design class models
Transactions on Aspect-Oriented Software Development I
HiLA: high-level aspects for UML state machines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
An expressive aspect composition language for UML state diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Enhancing UML state machines with aspects
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
An aspect-oriented modeling approach to the Car Crash Crisis Management System (CCCMS) using the High-Level Aspect (HiLA) language is described. HiLA is a language for expressing aspects for UML static structures and UML state machines. In particular, HiLA supports both a static graph transformational and a dynamic approach of applying aspects. Furthermore, it facilitates methodologically turning use case descriptions into state machines: for each main success scenario, a base state machine is developed; all extensions to this main success scenario are covered by aspects. Overall, the static structure of the CCCMS is modeled in 43 classes, the main success scenarios in 13 base machines, the use case extensions in 47 static and 31 dynamic aspects, most of which are instantiations of simple aspect templates.