Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
[HTML][HTML] A formal approach to modeling and verification of business process collaborations
In the last years we are observing a growing interest in verification of business process
models that, despite their lack of formal characterization, are widely adopted in industry and …
models that, despite their lack of formal characterization, are widely adopted in industry and …
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 …
Business process compliance checking–applying and evaluating a generic pattern matching approach for conceptual models in the financial sector
Given the strong increase in regulatory requirements for business processes the
management of business process compliance becomes a more and more regarded field in …
management of business process compliance becomes a more and more regarded field in …
Puff, the magic protocol
F Arbab - Formal Modeling: Actors, Open Systems, Biological …, 2011 - Springer
Traditional models of concurrency resort to peculiarly indirect means to express interaction
and study its properties. Formalisms such as process algebras/calculi, concurrent objects …
and study its properties. Formalisms such as process algebras/calculi, concurrent objects …
Compliance in service-oriented architectures: A model-driven and view-based approach
CONTEXT: Ensuring software systems conforming to multiple sources of relevant policies,
laws, and regulations is significant because the consequences of infringement can be …
laws, and regulations is significant because the consequences of infringement can be …
[PDF][PDF] State-of-the-art of Business Process Compliance Approaches-A Survey.
M Fellmann, A Zasada - 2016 - dl.gi.de
Compliance means to adhere to laws, regulations and guidelines. It has become an integral
part of business process management since the financial crisis revealed the dimension of …
part of business process management since the financial crisis revealed the dimension of …
Root-cause analysis of design-time compliance violations on the basis of property patterns
Today's business environment demands a high degree of compliance of business
processes with business rules, policies, regulations and laws. Compliance regulations, such …
processes with business rules, policies, regulations and laws. Compliance regulations, such …
A survey of formal business process verificationfrom soundness to variability
Formal verification of business process models is of interest to a number of application
areas, including checking for basic process correctness, business compliance, and process …
areas, including checking for basic process correctness, business compliance, and process …
Team Automata: Overview and Roadmap
Team Automata is a formalism for interacting component-based systems proposed in 1997,
whereby multiple sending and receiving actions from concurrent automata can synchronise …
whereby multiple sending and receiving actions from concurrent automata can synchronise …