Semantic Business Process Validation
暂无分享,去创建一个
[1] Robert E. Tarjan,et al. A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas , 1979, Inf. Process. Lett..
[2] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[3] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[4] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.
[5] Georg Gottlob,et al. On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..
[6] Elisa Bertino,et al. The specification and enforcement of authorization constraints in workflow management systems , 1999, TSEC.
[7] Andreas Herzig,et al. Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..
[8] Stephan Merz,et al. Model Checking , 2000 .
[9] Ulrike Sattler,et al. A proposal for describing services with DLs , 2002, Description Logics.
[10] Jerry R. Hobbs,et al. DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.
[11] Kees M. van Hee,et al. Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.
[12] Manfred Reichert,et al. ADEPT Workflow Management System: Flexible Support for Enterprise-Wide Business Processes - Tool Presentation - , 2003 .
[13] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[14] Peter Dadam,et al. Adaptive process management with ADEPT2 , 2005, 21st International Conference on Data Engineering (ICDE'05).
[15] Maria E. Orlowska,et al. Specification and validation of process constraints for flexible workflows , 2005, Inf. Syst..
[16] Franz Baader,et al. Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.
[17] Boudewijn F. van Dongen,et al. Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.
[18] Peter Dadam,et al. Semantic Correctness in Adaptive Process Management Systems , 2006, Business Process Management.
[19] Maurizio Lenzerini,et al. On the Update of Description Logic Ontologies at the Instance Level , 2006, AAAI.
[20] Jos de Bruijn,et al. Enabling Semantic Web Services: The Web Service Modeling Ontology , 2006 .
[21] Aditya K. Ghose,et al. Verifying Semantic Business Process Models in Inter-operation , 2007, IEEE International Conference on Services Computing (SCC 2007).
[22] Frank Leymann,et al. Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.
[23] Nenad Stojanovic,et al. A Model-driven Approach for Internal Controls Compliance in Business Processes , 2007, SBPM.