Sciweavers

92 search results - page 5 / 19
» An Executable UML with OCL-based Action Semantics Language
Sort
View
100
Voted
PPSWR
2005
Springer
15 years 3 months ago
A General Language for Evolution and Reactivity in the Semantic Web
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
José Júlio Alferes, Ricardo Amador, ...
ACSC
2004
IEEE
15 years 2 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
97
Voted
VL
2005
IEEE
15 years 3 months ago
Transformation of UML State Machines for Direct Execution
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
Tim Schattkowsky, Wolfgang Müller 0003
102
Voted
RE
2010
Springer
14 years 5 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
107
Voted
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 2 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer