5 research outputs found
Third Workshop on Modelling of Objects, Components, and Agents
This booklet contains the proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04), October 11-13, 2004. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" group at the University of Hamburg. The home page of the workshop is: http://www.daimi.au.dk/CPnets/workshop0
Mathematics in Software Reliability and Quality Assurance
This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment
Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, August 27-28, 2001
This booklet contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'01), August 27-28, 2001. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" Group at the University of Hamburg, Germany. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop01
Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets
In this paper we define a model, namely the recursive ECATNets (or "RECATNets") allowing the modeling, in a concise way, of the dynamic reconfiguration mechanisms of flexible workflow processes. The descriptive power of this model is also well-suited in modeling collaborative workflows. Recursive ECATNets are based on a sound combination of ECATNets (Extended Concurrent Algebraic Term Nets) and recursive Petri nets. Moreover, since their semantics is defined in the conditional rewriting logic framework, the use of model checking techniques to prove liveness and safety properties becomes possible. For further information, please visit this web site