Sciweavers

205 search results - page 16 / 41
» uml 2005
Sort
View
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
15 years 3 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 3 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 3 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 3 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 3 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...