UML2ALLOY: A tool for lightweight modelling of discrete event systems.
Behzad BordbarKyriakos AnastasakisPublished in: IADIS AC (2005)
Keyphrases
- lightweight
- discrete event systems
- petri net
- sequence diagrams
- complex systems
- model based diagnosis
- unified modeling language
- timed petri nets
- failure diagnosis
- discrete event
- uml profile
- object oriented
- telecommunication networks
- wireless sensor networks
- class diagram
- tool support
- metamodel
- software development
- development environments
- modeling language
- software engineering