72 search results - page 6 / 15 » Checking concurrent behavior in UML OCL models |
120
click to vote
CEEMAS
2001
Springer
15 years 3 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
ISIM
2007
15 years 19 days ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
FIDJI
2004
Springer
15 years 2 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...