共 50 条
- [1] Business Application Modeler: A Process Model Validation and Verification Tool [J]. 2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2014, : 333 - 334
- [2] A Tool for Internet of Things Digital Business Model Innovation [J]. 2018 IEEE GLOBECOM WORKSHOPS (GC WKSHPS), 2018,
- [3] Tool Support for Consistency Verification of UML Diagrams [J]. PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT (PROFES 2017), 2017, 10611 : 606 - 609
- [4] A Business Process Modeling and Verification Architecture [J]. 2009 SECOND INTERNATIONAL CONFERENCE ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT ENGINEERING, FITME 2009, 2009, : 73 - +
- [6] Towards an Extensible Architecture and Tool Support for Model-based Verification [J]. 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 806 - 810
- [7] Consistency verification between collaborative business processes and requirements [J]. 2019 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2019, : 526 - 532
- [8] Consistency in the Business System Model [J]. INFORMATION MODELLING AND KNOWLEDGE BASES XXI, 2010, 206 : 247 - 252
- [9] Architecture Verification Using Digital Engineering [J]. SEI Technical Review, 2024, (98): : 24 - 27