5 research outputs found

    Third Workshop on Modelling of Objects, Components, and Agents

    Get PDF
    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

    Get PDF
    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

    Get PDF
    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

    No full text
    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
    corecore