Sciweavers

307 search results - page 13 / 62
» An Algorithm for Business Process Compliance
Sort
View
WSC
2007
13 years 9 months ago
A supply chain paradigm to model business pprocesses at the Y-12 National Security Complex
The NNSA’s Y-12 National Security Complex is a manufacturing facility operated by BWXT Y-12. Y-12’s missions include ensuring the US’ nuclear weapons deterrent, storing nucl...
Reid L. Kress, Jack Dixon, Thomas M. Insalaco, Ric...
BPM
2006
Springer
111views Business» more  BPM 2006»
13 years 9 months ago
Process Mining and Petri Net Synthesis
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäf...
EON
2008
13 years 8 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
Christian Kubczak, Tiziana Margaria, Matthias Kais...
IJIQ
2008
107views more  IJIQ 2008»
13 years 7 months ago
Extending the boundaries of IQ: Can collaboration with information management improve corporate governance
: The increase in the volume of information be handled by organisations has increased pressure on corporate boards to ensure that legislative, accountability, business and cultural...
Heather Maguire
SYNASC
2005
IEEE
158views Algorithms» more  SYNASC 2005»
14 years 1 months ago
Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA
Business process modeling is an important phase during requirements collection. Usually functional, dynamic and role models are needed. We propose to integrate Role Activity Diagr...
Costin Badica, Maria Teodorescu, Cosmin Spahiu, Am...