58 search results - page 1 / 12 » UML Modeling and Formal Verification of Control Data Driven ... |
ICECCS
2009
IEEE
13 years 11 months ago
2009
IEEE
JUCS
2010
12 years 11 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
ETFA
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
WSC
1997
13 years 6 months ago
1997
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...
HASE
1999
IEEE
13 years 9 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...