Sciweavers

205 search results - page 16 / 41
» uml 2005
Sort
View
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
15 years 11 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
ATAL
2005
Springer
15 years 11 months ago
Using the UML 2.0 activity diagram to model agent plans and actions
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
VISSOFT
2005
IEEE
15 years 11 months ago
Evaluating UML Class Diagram Layout based on Architectural Importance
The paper presents and assesses a layout scheme for UML class diagrams that takes into account the architectural importance of a class in terms of its stereotype (e.g., boundary, ...
Olena Andriyevska, Natalia Dragan, Bonita Simoes, ...
QSIC
2005
IEEE
15 years 11 months ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
15 years 11 months ago
On the Use of UML for Modeling Physical Systems
— The aim of this paper is to provide a unified language for modeling both control software and physical plants in real time control systems. This is done by embedding the bond ...
Cristian Secchi, Cesare Fantuzzi, Marcello Bonf&ea...