Sciweavers

2450 search results - page 51 / 490
» On Application of Structural Decomposition for Process Model...
Sort
View
143
Voted
ECOOPW
1997
Springer
15 years 7 months ago
The Object Model for a Product Based Development Process
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
Pavel Hruby
158
Voted
UML
2005
Springer
15 years 9 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
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...
123
Voted
CDC
2010
IEEE
116views Control Systems» more  CDC 2010»
14 years 10 months ago
High level model predictive control for plug-and-play process control with stability guaranty
In this paper a method for designing a stabilizing high level model predictive controller for a hierarchical plugand-play process is presented. achieved by abstracting the lower la...
Axel Gottlieb Michelsen, Jakob Stoustrup
129
Voted
CONCUR
2004
Springer
15 years 9 months ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
99
Voted
ER
1994
Springer
122views Database» more  ER 1994»
15 years 7 months ago
From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
Eric S. K. Yu, John Mylopoulos