Sciweavers

147 search results - page 8 / 30
» Precise Modeling of Design Patterns in UML
Sort
View
JUCS
2008
172views more  JUCS 2008»
13 years 7 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
FASE
2004
Springer
14 years 25 days ago
Modeling Role-Based Access Control Using Parameterized UML Models
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na ...
ECSA
2008
Springer
13 years 9 months ago
Modeling Architectural Patterns' Behavior Using Architectural Primitives
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
Ahmad Waqas Kamal, Paris Avgeriou
TOOLS
2008
IEEE
14 years 1 months ago
Engineering Associations: From Models to Code and Back through Semantics
Association between classes is a central construct in OO modeling. However, precise semantics of associations has not been defined, and only the most basic types are implemented i...
Zinovy Diskin, Steve M. Easterbrook, Jürgen D...
CAISE
2004
Springer
14 years 26 days ago
An Ontologically Well-Founded Profile for UML Conceptual Models
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
Giancarlo Guizzardi, Gerd Wagner, Nicola Guarino, ...