Sciweavers

884 search results - page 30 / 177
» A semantics of sequence diagrams
Sort
View
ASWEC
2005
IEEE
15 years 3 months ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair
DATE
2007
IEEE
146views Hardware» more  DATE 2007»
15 years 4 months ago
Data-flow transformations using Taylor expansion diagrams
Abstract: An original technique to transform functional representation of the design into a structural representation in form of a data flow graph (DFG) is described. A canonical,...
Maciej J. Ciesielski, Serkan Askar, Daniel Gomez-P...
TASE
2009
IEEE
15 years 4 months ago
Semantics of Metamodels in UML
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
Lijun Shan, Hong Zhu
SOFTVIS
2006
ACM
15 years 3 months ago
Semantic web data visualization with graph style sheets
Visual paradigms such as node-link diagrams are well suited to the representation of Semantic Web data encoded with the Resource Description Framework (RDF), whose data model can ...
Emmanuel Pietriga
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 1 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel