38 search results - page 1 / 8 » A Framework for Semantics of UML Sequence Diagrams in PVS |
JUCS
2002
13 years 4 months ago
2002
: 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...
QEST
2008
IEEE
13 years 11 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
DAGSTUHL
2003
13 years 6 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
ASWEC
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
ECMDAFA
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e