Sciweavers

1312 search results - page 111 / 263
» Construction of BPMN-based Business Process Model Base
Sort
View
CLEIEJ
2006
88views more  CLEIEJ 2006»
14 years 12 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
ACTAC
2005
77views more  ACTAC 2005»
14 years 11 months ago
The lexicographic decision function
: In this paper the lexicographic decision process is presented in a unified way. We construct a lexicographic decision function using a universal preference function and a unary f...
József Dombi, Nándor Vincze
ICEIS
2000
IEEE
15 years 4 months ago
Syntax-Directed Translation Schemes for Multi-Agent Systems Conversation Modelling
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
Ana L. N. Fred, Joaquim Filipe
ER
2001
Springer
111views Database» more  ER 2001»
15 years 4 months ago
Modeling Products for Versatile E-commerce Platforms - Essential Requirements and Generic Design Alternatives
Electronic commerce (e-commerce) covers a wide range of business transactions. Usually, a transactions includes products, i.e. goods or services. Often, e-commerce websites are int...
Ulrich Frank
ER
2004
Springer
79views Database» more  ER 2004»
15 years 5 months ago
Multi-phase Process Mining: Building Instance Graphs
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
Boudewijn F. van Dongen, Wil M. P. van der Aalst