Sciweavers

103 search results - page 2 / 21
» Dynamic Secure Aspect Modeling with UML: From Models to Code
Sort
View
CAISE
2004
Springer
13 years 10 months ago
Object-Process Methodology (OPM) vs. UML - a Code Generation Perspective
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
Iris Reinhartz-Berger, Dov Dori
SOSYM
2010
174views more  SOSYM 2010»
13 years 3 months ago
Automatic generation of basic behavior schemas from UML class diagrams
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
COMPSAC
2002
IEEE
13 years 9 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
UML
2005
Springer
13 years 10 months ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
AAMAS
2004
Springer
13 years 4 months ago
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
Viviane Torres da Silva, Carlos José Pereir...