相关参考文献
注意：仅列出部分参考文献，下载原文获取全部文献信息。An Empirical Study on Data Flow Bugs in Business Processes
Wei Song et al.
IEEE TRANSACTIONS ON CLOUD COMPUTING (2021)
Ensuring the semantic correctness of a BAUML artifact-centric BPM
Montserrat Estanol et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2018)
Synthesizing object life cycles from business process models
Rik Eshuis et al.
SOFTWARE AND SYSTEMS MODELING (2016)
Verification of Business Processes Against Business Rules Using Object Life Cycles
Ralph Hoch et al.
NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1 (2016)
Consistently Formalizing a Business Process and its Properties for Verification: A Case Study
Michael Rathmair et al.
PRACTICE OF ENTERPRISE MODELING, POEM 2015 (2015)
Semantic Service Specification for V&V of Service Composition and Business Processes
Ralph Hoch et al.
2015 48TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS) (2015)
On requirement verification for evolving Statecharts specifications
Carlo Ghezzi et al.
REQUIREMENTS ENGINEERING (2014)
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
Faiz Ul Muram et al.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2014)
Diagnosing correctness of semantic workflow models
Diana Borrego et al.
DATA & KNOWLEDGE ENGINEERING (2013)
Beyond soundness: on the verification of semantic business process models
Ingo Weber et al.
DISTRIBUTED AND PARALLEL DATABASES (2010)
FLUX: A logic programming method for reasoning agents
M Thielscher
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2005)
Tool support for verifying UML activity diagrams
R Eshuis et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2004)
分享论文
