Sciweavers

2570 search results - page 49 / 514
» Reliability Modeling Using UML
Sort
View
SAC
2004
ACM
15 years 3 months ago
Translating the Object Constraint Language into the Java Modelling Language
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
Ali Hamie
78
Voted
FASE
2001
Springer
15 years 2 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
79
Voted
CAISE
2006
Springer
15 years 1 months ago
Aligning Business Processes and Software Connecting the UML 2 Profile for Event Driven Process Chains with Use Cases and Compone
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
Birgit Korherr, Beate List
SERA
2005
Springer
15 years 3 months ago
Generating UML Models from Domain Patterns
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
Dae-Kyoo Kim, Jon Whittle
SOFTVIS
2003
ACM
15 years 2 months ago
Visualizing Model Mappings in UML
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
Jan Hendrik Hausmann, Stuart Kent