A Relative Timed Semantics for BPMN
暂无分享,去创建一个
[1] Rik Eshuis,et al. Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .
[2] Jeremy Gibbons,et al. On Specifying and Visualising Long-Running Empirical Studies , 2008, ICMT@TOOLS.
[3] A. W. Roscoe,et al. Responsiveness of interoperating components , 2004, Formal Aspects of Computing.
[4] Amel Mammar,et al. A formal semantics of timed activity diagrams and its PROMELA translation , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).
[5] J C Wyatt,et al. Formalisation of safety reasoning in protocols and hazard regulations. , 1995, Proceedings. Symposium on Computer Applications in Medical Care.
[6] Mario Bravetti,et al. Towards a Unifying Theory for Choreography Conformance and Contract Compliance , 2007, SC@ETAPS.
[7] R. Milner,et al. A Theoretical Basis of Communication-Centred Concurrent Programming , 2005 .
[8] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[9] Arvind Malhotra,et al. XML Schema Part 2: Datatypes Second Edition , 2004 .
[10] Jean-Marie Jacquet,et al. On the expressiveness of timed coordination models , 2006, Sci. Comput. Program..
[11] Sea Ling,et al. Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[12] Wil M. P. van der Aalst,et al. Verification of Workflow Nets , 1997, ICATPN.
[13] Jeremy Gibbons,et al. Verifying Business Process Compatibility , 2007 .
[14] Jeremy Gibbons,et al. Verifying Business Process Compatibility (Short Paper) , 2008, 2008 The Eighth International Conference on Quality Software.
[15] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[16] Jeremy Gibbons,et al. A Process Semantics for BPMN , 2008, ICFEM.