A Component Framework where Port Compatibility Implies Weak Termination
暂无分享,去创建一个
[1] John Håkansson,et al. SaveCCM: An Analysable Component Model for Real-Time Systems , 2006, FACS.
[2] Kees M. van Hee,et al. Compositional Service Trees , 2009, Petri Nets.
[3] Matthew B. Dwyer,et al. Cadena: an integrated development, analysis, and verification environment for component-based systems , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[4] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .
[5] Moe Thandar Wynn,et al. Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.
[6] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[7] Kees M. van Hee,et al. Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach , 2003, ICATPN.
[8] Kees M. van Hee,et al. Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! , 2010, SC@TOOLS.
[9] Kees M. van Hee,et al. On the relationship between workflow models and document types , 2009, Inf. Syst..
[10] Joseph Sifakis,et al. Component-Based Construction of Deadlock-Free Systems: Extended Abstract , 2003, FSTTCS.
[11] Jörg Desel,et al. Free choice Petri nets , 1995 .
[12] Samir Tata,et al. Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes , 2011, Data Knowl. Eng..