W.M.P. van der Aalst, H.M.W. Verbeek and A. Kumar, Verification of XRL: An XML-based workflow language, in: Proceedings of the 6th International Conference on CSCW in Design (CSCWD 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Application of XML-Based Markup Languages in.. - Kamath, Dalal.. (Correct)
....benefit from electronic trading via a global network, regardless of size or geographical location, both within and across industries. 2. 4 eXchangeable Routing Language (XRL) XRL is an instance based workflow language that uses XML to represent process definitions and Petri nets for its semantics [22]. A routing element is an important building block of XRL, and it includes task, sequence, choice, condition, parallel sync, and stop, among others. XRL is designed to support inter organizational business processes such as those arising in the context of B2B e commerce. Unlike traditional ....
van der Aalst, W.M.P., Verbeek, H.M.W., and Kumar, A., 2001, "Verification of XRL: An XML-Based Workflow Language," Proc. of the Sixth International Conf. on Computer Supported Cooperative Work in Design, July 12-14, Ont., Canada, 427-432.
XRL/Woflan: Verification and Extensibility of an.. - Verbeek, Van Der.. (2004) Self-citation (Van der aalst Verbeek Kumar) (Correct)
No context found.
W.M.P. van der Aalst, H.M.W. Verbeek and A. Kumar, Verification of XRL: An XML-based workflow language, in: Proceedings of the 6th International Conference on CSCW in Design (CSCWD 2001.
XRL/Flower: Supporting Inter-Organizational.. - Verbeek.. (2002) (3 citations) Self-citation (Van der aalst Verbeek) (Correct)
.... are supported by powerful software (such as, the tool Woflan [32] The transformation has been implemented in XSLT (eXtensible Stylesheet Language Transformations) and resulted in the tool XRL Woflan [33] The language XRL and the mapping of XRL onto WF nets has been presented in earlier papers [7, 8, 33]. This paper presents the architecture of XRL Flower and describes parts of its implementation. The remainder of this paper is organized as follows. Section 2 introduces XRL. Section 3 introduces WF nets. Section 4 describes the formal semantics of XRL in terms of WF nets. In Section 5 we present ....
W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar. Verification of XRL: An XML-based Workflow Language. In W. Shen, Z. Lin, J.-P. Barths, and M. Kamel, editors, Proceedings of the Sixth International Conference on CSCW in Design (CSCWD 2001.
XRL/Woflan: Verification and Extensibility of an.. - van der Aalst.. Self-citation (Van der aalst Verbeek Kumar) (Correct)
....for a list of workflow patterns. results (e.g. the link between soundness, liveness, and boundedness [1] and powerful software (e.g. the tool Woflan [19] The semantics given in [4] does not allow these theoretical results and tools to be used directly. This limitation was recognized in [5]. In this paper, we present a direct translation from XRL to WF nets, i.e. the semantics of XRL is given in terms of WF nets. The translation has been implemented using XSL and resulted in a tool XRL Woflan. XRL Woflan builds on the workflow verification tool Woflan [19, 20] Developers of ....
....processing a customer order (many attributes were omitted for brevity) 4 Workflow nets As shown in [4] the semantics of XRL can easily be expressed in terms of Petri nets. XRL Flower is a prototype that uses a Petri net engine to interpret and execute XRL routes. However, it was observed in [5] that the translation given in [4] does not result in WorkFlow nets (WF nets) a special class of Petri nets. Consequently, the strong theoretical results for WF nets cannot be used. Moreover, it is difficult to deploy our workflow verification tool Woflan [19] which was developed independently ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar. Verification of XRL: An XML-based Workflow Language. In W. Shen, Z. Lin, J.-P. Barths, and M. Kamel, editors, Proceedings of the Sixth International Conference on CSCW in Design (CSCWD
XRL/Woflan: Verification of an XML/Petri-net-based.. - Verbeek, van der.. (2001) Self-citation (Van der aalst Verbeek Kumar) (Correct)
....results (such as, the link between soundness, liveness, and boundedness [1] and are supported by powerful software (such as, the tool Woflan [38] The semantics given in [8] does not allow for a direct use of these theoretical 3 results and tools. This limitation was recognized in [9]. In this paper, we present a direct transformation from XRL to WF nets, that is, the semantics of XRL is given in terms of WF nets. The transformation has been implemented in XSLT (eXtensible Stylesheet Language Transformations) and resulted in the tool XRL Woflan. XRL Woflan builds on the ....
....9 4. Workflow nets As is shown in [8] the semantics of XRL can easily be expressed in terms of Petri nets. XRL Flower uses a Petri net engine to interpret and execute XRL routes. Unfortunately, the transformation given in [8] does not result in so called WorkFlow nets (WF nets) as observed in [9]. Consequently, the strong theoretical results for WF nets cannot be used. Moreover, it is difficult to deploy our workflow verification tool Woflan [37] In this paper, we present a new approach. The semantics presented in [8] is modified considerably. The semantic transformation into Petri nets ....
[Article contains additional citation context not shown here]
W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar. Verification of XRL: An XML-based Workflow Language. In W. Shen, Z. Lin, J.-P. Barths, and M. Kamel, editors, Proceedings of the Sixth International Conference on CSCW in Design (CSCWD
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC