Sciweavers

30267 search results - page 60 / 6054
» Process Modelling Languages
Sort
View
DEXA
2009
Springer
70views Database» more  DEXA 2009»
15 years 11 months ago
On the Termination Problem for Declarative XML Message Processing
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
Tadeusz Litak, Sven Helmer
IS
2011
14 years 11 months ago
Similarity of business process models: Metrics and evaluation
—It is common for large and complex organizations to maintain repositories of business process models in order to document and to continuously improve their operations. Given suc...
Remco M. Dijkman, Marlon Dumas, Boudewijn F. van D...
FDL
2005
IEEE
15 years 10 months ago
Tolerance Models in Hardware Description Languages
This paper gives an overview of the error sources in the solution of DAEs and discusses how different algorithms use tolerances to control these errors. The tolerance models of th...
Ernst Christen
ICSE
2009
IEEE-ACM
16 years 5 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...
NLDB
2004
Springer
15 years 9 months ago
Information Modeling: The Process and the Required Competencies of Its Participants
In recent literature it is commonly agreed that the first phase of the software development process is still an area of concern. Furthermore, while software technology has been ch...
Paul J. M. Frederiks, Theo P. van der Weide