278 search results - page 4 / 56 » Business Modelling for Component Systems with UML |
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these description...
VL
2003
IEEE
15 years 2 months ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
ENTCS
2006
14 years 9 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
90
Voted
ETFA
2005
IEEE
15 years 3 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...
59
Voted
UML
2001
Springer
15 years 1 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...