Publications 2003

  • [PDF] W. M. P. van der Aalst, A. Kumar, and H. M. W. Verbeek, “Organizational modeling in uml and xml in the context of workflow systems,” in Proceedings of the 18th annual acm symposium on applied computing (sac 2003), 2003, pp. 603-608.
    [Bibtex]
    @InProceedings{Aalst03,
    Title = {Organizational Modeling in UML and XML in the context of Workflow Systems},
    Author = {Aalst, W. M. P. van der and Kumar, A. and Verbeek, H. M. W.},
    Booktitle = {Proceedings of the 18th Annual ACM Symposium on Applied Computing (SAC 2003)},
    Year = {2003},
    Editor = {Haddad, H. and Papadopoulos, G.},
    Pages = {603--608},
    Publisher = {ACM Press},
    Abstract = {Workflow technology plays a key role as an enabler in E-Commerce applications, such as supply chains. Until recently the major share of the attention of workflow systems researchers has gone to the exchange of information in cross-organizational processes. Increasingly the focus is shifting from the exchange of data to support for interorganizational workflow processes. One of the initiatives in this direction has been XRL (eXchangeable Routing Language), an extendible instance-based language having an XML syntax and Petri-net semantics. In this paper, we move to the next level by extending XRL with organizational entities, structures, and rules. Hence, we describe an organizational model first in UML and then convert it into an XML DTD. Our organizational model allows for the specification of non-human resources, collections of resources (e.g., departments, teams, etc.), availability of resources, delegation, and role inheritance. Additional features of our proposal are the tight integration of organizational concepts and routing concepts. An important goal of this work is to create standard for organizational modeling much like the X.500 standard for directories.},
    File = {SAC 2003:http\://www.acm.org/conferences/sac/sac2003/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Aalst03.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://portal.acm.org/ft_gateway.cfm?id=952652&type=pdf&dl=ACM&dl=ACM&CFID=14976314&CFTOKEN=70169400}
    }
  • [PDF] H. M. W. Verbeek and T. Basten, “Deciding life-cycle inheritance on petri nets,” in 24th international conference on application and theory of petri nets (icatpn 2003), Eindhoven, The Netherlands, 2003, pp. 44-63.
    [Bibtex]
    @InProceedings{Verbeek03,
    Title = {Deciding life-cycle inheritance on Petri nets},
    Author = {Verbeek, H. M. W. and Basten, T.},
    Booktitle = {24th International Conference on Application and Theory of Petri Nets (ICATPN 2003)},
    Year = {2003},
    Address = {Eindhoven, The Netherlands},
    Editor = {Aalst, W. M. P. van der and Best, E.},
    Month = {June},
    Pages = {44--63},
    Publisher = {Springer, Berlin, Germany},
    Series = {Lecture Notes in Computer Science},
    Volume = {2679},
    Abstract = {One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynamic behavior of objects, as captured by their life cycles, there is no general agreement on the meaning of inheritance. Basten and Van der Aalst introduced the notion of life-cycle inheritance for this purpose. Unfortunately, the search tree needed for deciding life-cycle inheritance is in general prohibitively large. This paper presents a backtracking algorithm to decide life-cycle inheritance on Petri nets. The algorithm uses structural properties of both the base life cycle and the potential sub life cycle to prune the search tree. Test cases show that the results are promising.},
    File = {Lecture Notes in Computer Science:http\://link.springer.de/link/service/series/0558/index.htm:URL;Volume 2679:http\://link.springer.de/link/service/series/0558/tocs/t2679.htm:URL;Applications and Theory of Petri Nets 2003:http\://www.tue.nl/atpn2003/:URL;Preprint of published paper:http\://www.win.tue.nl/~hverbeek/downloads/preprints/Verbeek03.pdf:PDF},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://link.springer.de/link/service/series/0558/papers/2679/26790044.pdf}
    }
  • [PDF] Tool demonstrations of the 24th international conference on application and theory of petri nets and the 1st international conference on business process management, 2003.
    [Bibtex]
    @Misc{03,
    Title = {Tool Demonstrations of the 24th International Conference on Application and Theory of Petri Nets
    and the 1st International Conference on Business Process Management},
    Month = {June},
    Note = {Organized by Verbeek, H. M. W.},
    Year = {2003},
    Owner = {hverbeek},
    Timestamp = {2008.11.04},
    Url = {http://www.win.tue.nl/~hverbeek/downloads/preprints/03.pdf}
    }

Leave a Reply