共 38 条
- [1] On Lifecycle Constraints of Artifact-Centric Workflows WEB SERVICES AND FORMAL METHODS, 2011, 6551 : 71 - 85
- [2] Toward configurable modeling for artifact-centric business processes CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2020, 32 (02):
- [3] Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement JOURNAL OF OBJECT TECHNOLOGY, 2024, 23 (02):
- [4] Model Checking Unbounded Artifact-Centric Systems FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 488 - 497
- [5] Toward a Goal-Oriented Methodology for Artifact-Centric Process Modeling PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2023, : 656 - 663
- [6] The Description Logics Model of Artifact-centric Business Process System and Verification of artifact 2014 PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2014), 2014, : 1098 - 1102
- [7] A Formal Verification of the Integration of Activity and Goal-Based Workflows 2020 IEEE 24TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW 2020), 2020, : 1 - 10
- [8] Integrating Activity- and Goal-Based Workflows: A Data Model Based Design Method BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015), 2016, 256 : 352 - 363
- [10] The Adaptation of a Model of an Artifact-Centric Business Process Instance and Its Validation INFORMATION, 2019, 10 (02):