共 27 条
- [22] Formal Approaches for Modeling and Analysis of Business Process Collaborations LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: REOCAS COLLOQUIUM IN HONOR OF ROCCO DE NICOLA, PT I, ISOLA 2024, 2025, 15219 : 50 - 61
- [23] Anti-patterns for Process Modeling Problems: An Analysis of BPMN 2.0-Based Tools Behavior BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 745 - 757
- [24] Sensitive Business Processes Representation: A Multi-dimensional Comparative Analysis of Business Process Modeling Formalisms BUSINESS MODELING AND SOFTWARE DESIGN (BMSD 2016), 2017, 275 : 83 - 118
- [26] An Approach for a Simulation-Based Analysis of Business Processes Using the Systems Modeling Language (SysML) ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 331 - 340