Modeling and Verifying Workflow-based Regulations
暂无分享,去创建一个
[1] Jan Mendling,et al. Business Process Execution Language for Web Services , 2006, EMISA Forum.
[2] Doo-Hwan Bae,et al. Specification and validation of dynamic systems using temporal logic , 2001, IEE Proc. Softw..
[3] Shin Nakajima,et al. Model-Checking Verification for Reliable Web Service , 2002 .
[4] Marco Pistore,et al. Requirements-Driven Verification of Web Services , 2004, Electron. Notes Theor. Comput. Sci..
[5] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.
[6] Luiz Carlos Zancanella,et al. Architecture of an XML-based Aspect , 2003 .
[7] Raman Kazhamiakin,et al. Formal verification of requirements using SPIN: a case study on Web services , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
[8] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[9] Elke Pulvermüller. Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens , 2006 .
[10] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[11] Andreas Speck,et al. The Operator Hierarchy Concept for XML Document Transformation Technologies , 2005, Berliner XML Tage.
[12] Elke Pulvermüller,et al. Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees , 2002 .
[13] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[14] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[15] Marsha Chechik,et al. Multi-valued symbolic model-checking , 2003, TSEM.