Sciweavers

210 search results - page 13 / 42
» On testing UML statecharts
Sort
View
OMER
2001
13 years 11 months ago
State Machine Modeling: From Synch States to Synchronized State Machines
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
Dominikus Herzberg, André Marburger
SOSYM
2002
123views more  SOSYM 2002»
13 years 9 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck
FIDJI
2003
Springer
14 years 3 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese
JOT
2010
216views more  JOT 2010»
13 years 8 months ago
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
Elhillali Kerkouche, Allaoua Chaoui, El Bay Bouren...
ICSE
2009
IEEE-ACM
14 years 2 months ago
The Compliance Testing of Software Tools with Respect to the UML Standards Specification - The ArgoUML Case Study
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
Panuchart Bunyakiati, Anthony Finkelstein