Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Business process management: a comprehensive survey
WMP Van der Aalst - International Scholarly Research Notices, 2013 - Wiley Online Library
Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …
techniques, and tools to support the design, enactment, management, and analysis of …
Are we done with business process compliance: state of the art and challenges ahead
Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …
alignment of the regulatory rules with the design, verification and validation of business …
Efficient compliance checking using BPMN-Q and temporal logic
Compliance rules describe regulations, policies and quality constraints business processes
must adhere to. Given the large number of rules and their frequency of change, manual …
must adhere to. Given the large number of rules and their frequency of change, manual …
Data-flow anti-patterns: Discovering data-flow errors in workflows
Despite the abundance of analysis techniques to discover control-flow errors in workflow
designs, there is hardly any support for data-flow verification. Most techniques simply …
designs, there is hardly any support for data-flow verification. Most techniques simply …
Formalizing and appling compliance patterns for business process compliance
Today's enterprises demand a high degree of compliance of business processes to meet
diverse regulations and legislations. Several industrial studies have shown that compliance …
diverse regulations and legislations. Several industrial studies have shown that compliance …
The importance of business process modeling in software systems design
J Barjis - Science of Computer programming, 2008 - Elsevier
Despite diligent efforts made by the software engineering community, the failure of software
projects keeps increasing at an alarming rate. After two decades of this problem reoccurring …
projects keeps increasing at an alarming rate. After two decades of this problem reoccurring …
Generalizability and applicability of model-based business process compliance-checking approaches—a state-of-the-art analysis and research roadmap
With a steady increase of regulatory requirements for business processes, automation
support of compliance management is a field garnering increasing attention in Information …
support of compliance management is a field garnering increasing attention in Information …
[LLIBRE][B] Verification and validation in systems engineering: assessing UML/SysML design models
At the dawn of the 21st century and the information age, communication and c-puting power
are becoming ever increasingly available, virtually pervading almost every aspect of modern …
are becoming ever increasingly available, virtually pervading almost every aspect of modern …
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
A conceptual workflow model specifies the control flow of a workflow together with abstract
data information. This model is later on refined by adding specific data information, resulting …
data information. This model is later on refined by adding specific data information, resulting …
ADDiff: semantic differencing for activity diagrams
Activity diagrams (ADs) have recently become widely used in the modeling of workflows,
business processes, and web-services, where they serve various purposes, from …
business processes, and web-services, where they serve various purposes, from …