Sciweavers

1346 search results - page 92 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
IASSE
2004
15 years 7 months ago
Execution of A Requirement Model in Software Development
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....
TSMC
1998
152views more  TSMC 1998»
15 years 6 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
IDEAS
2003
IEEE
73views Database» more  IDEAS 2003»
15 years 11 months ago
Operations on Metamodels in the Context of a UML-Based Metamodeling Architecture
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
Marie-Noëlle Terrasse, George Becker, Marinet...
ATAL
2008
Springer
15 years 8 months ago
The Use of Norms Violations to Model Agents Behavioral Variety
In multi-agent applications, normative systems are usually used to regulate the behavior of the agents. They provide an efficient means to ensure limited deviations from an expecte...
Benoit Lacroix, Philippe Mathieu, Andras Kemeny
FASE
2010
Springer
15 years 4 months ago
A Verifiable Modeling Approach to Configurable Role-Based Access Control
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim