Any enterprise must ensure that its business processes comply with imposed compliance
rules. The latter stem, for example, from corporate guidelines, legal regulations, and best …

Temporal properties are important in a wide variety of domains for different purposes. For
example, they can be used to avoid architectural drift in software engineering orto support …

A fundamental challenge for enterprises is to ensure compliance of their business processes
with imposed compliance rules stemming from various sources, eg, corporate guidelines …

The current push towards interoperability drives companies to collaborate through process
choreographies. At the same time, they face a jungle of continuously changing regulations …

A fundamental challenge for any process-aware information system is to ensure compliance
of modeled and executed business processes with imposed compliance rules stemming …

A challenge for any enterprise is to ensure conformance of its business processes with
imposed compliance rules. The latter may constrain multiple perspectives of a business …

Process-aware information systems must ensure compliance of the business processes they
implement with global compliance rules related to security constraints, domain-specific …

The business processes of an organization are often required to comply with domain-
specific regulations. Such regulations can be checked based on the models of the …

The verification of global compliance rules (GCR) in process choreographies (eg, partner-
spanning quality assurance in supply chains) is crucial and challenging due to the restricted …

Abstract Instance-Spanning Constraints (ISCs) have raised attention just recently although
they are omnipresent in practice to define conditions across multiple instances or processes …