相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A Flexible Platform Architecture for the Dynamic Composition of Third-Party-Services
Marc Hesenius et al.
2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2019) (2019)
Static analysis and process model transformation for an advanced business process to Petri net mapping
Thomas S. Heinze et al.
SOFTWARE-PRACTICE & EXPERIENCE (2018)
A Survey of Statistical Model Checking
Gul Agha et al.
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION (2018)
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review
Alireza Souri et al.
COMPUTER STANDARDS & INTERFACES (2018)
A formal approach to modeling and verification of business process collaborations
Flavio Corradini et al.
SCIENCE OF COMPUTER PROGRAMMING (2018)
Transformation of Business Process Model and Notation models onto Petri nets and their analysis
Umair Mutarraf et al.
ADVANCES IN MECHANICAL ENGINEERING (2018)
Formal verification of complex business processes based on high-level Petri nets
Ahmed Kheldoun et al.
INFORMATION SCIENCES (2017)
From the Service-Oriented Architecture to the Web API Economy
Wei Tan et al.
IEEE INTERNET COMPUTING (2016)
Modelling and analyzing adaptive self-assembly strategies with Maude
Roberto Bruni et al.
SCIENCE OF COMPUTER PROGRAMMING (2015)
Maximal Structuring of Acyclic Process Models
Artem Polyvyanyy et al.
COMPUTER JOURNAL (2014)
Structuring acyclic process models
Artem Polyvyanyy et al.
INFORMATION SYSTEMS (2012)
Formalisations and applications of BPMN
Peter Y. H. Wong et al.
SCIENCE OF COMPUTER PROGRAMMING (2011)
Business Processes Verification for e-Government Service Delivery
Flavio Corradini et al.
INFORMATION SYSTEMS MANAGEMENT (2010)
A survey of automated techniques for formal software verification
Vijay D'Silva et al.
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (2008)
Semantics and analysis of business process models in BPMN
Remco M. Dijkman et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2008)
Business processes - attempts to find a definition
A Lindsay et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2003)
Diagnosing workflow processes using Woflan
HMW Verbeek et al.
COMPUTER JOURNAL (2001)