Sciweavers

306 search results - page 19 / 62
» UML Semantics FAQ
Sort
View
AMAST
2004
Springer
13 years 11 months ago
Refining Mobile UML State Machines
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
Alexander Knapp, Stephan Merz, Martin Wirsing
ESORICS
2008
Springer
13 years 9 months ago
Compositional Refinement of Policies in UML - Exemplified for Access Control
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
Bjørnar Solhaug, Ketil Stølen
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
13 years 9 months ago
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol
Abstract. In this paper we introduce an aspect language that can define crosscutting e
Roy Grønmo, Fredrik Sørensen, Birger...
UML
2005
Springer
14 years 26 days ago
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
Michelle L. Crane, Jürgen Dingel
SIMUTOOLS
2008
13 years 8 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone