Sciweavers

Many of today’s software applications require a high-level of security, deﬁned by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...

Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...

claim paper

Read More »

click to vote

UML
2005
Springer

193views Natural Language Processing» more UML 2005»

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

15 years 2 months ago

Download www.irisa.fr

We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...

Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...

claim paper

Read More »

click to vote

UML
2005
Springer

189views Natural Language Processing» more UML 2005»

Activity Diagram Patterns for Modeling Quality Constraints in Business Processes

15 years 2 months ago

Download www.cs.uni-paderborn.de

Quality management is an important aspect of business processes. Organizations must implement quality requirements, e.g., according to

Alexander Förster, Gregor Engels, Tim Schattk...

claim paper

Read More »

click to vote

UML
2005
Springer

188views Natural Language Processing» more UML 2005»

Bridging Grammarware and Modelware

15 years 2 months ago

Download www.big.tuwien.ac.at

Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...

Manuel Wimmer, Gerhard Kramler

claim paper

Read More »

Artificial Intelligence