72 search results - page 5 / 15 » Checking concurrent behavior in UML OCL models |
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
IIWAS
2008
15 years 19 days ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
100
click to vote
SPIN
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
JUCS
2006
14 years 11 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...