Abstract
We explore the complexity of reachability and run-time refinement under safety and liveness constraints in event-based process models. Our study is framed in the DCR $$^\star $$ process language, which supports modular specification through a compositional operational semantics. DCR $$^\star $$ encompasses the “Dynamic Condition Response (DCR) graphs” declarative process model for analysis, execution and safe run-time refinement of process-aware information systems; including replication of sub-processes. We prove that event-reachability and refinement are np-hard for DCR $$^\star $$ processes without replication, and that these finite state processes recognise exactly the languages that are the union of a regular and an $$\omega $$ -regular language. Moreover, we prove that event-reachability and refinement are undecidable in general for DCR $$^\star $$ processes with replication and local events, and we provide a tractable approximation for refinement. A prototype implementation of the DCR $$^\star $$ language is available at http://dcr.tools/acta16 .
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
