Sciweavers

532 search results - page 2 / 107
» A Semiotic Approach to UML models
Sort
View
UML
1999
Springer
13 years 9 months ago
Core Meta-Modelling Semantics of UML: The pUML Approach
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
Andy Evans, Stuart Kent
UML
2000
Springer
13 years 8 months ago
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel,...
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
13 years 10 months ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...
JUCS
2002
146views more  JUCS 2002»
13 years 4 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
AOSE
2001
Springer
13 years 9 months ago
Specifying Agent Interaction Protocols with Standard UML
In this paper, I will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does no...
Jürgen Lind