Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Artifact-centric systems are a recent paradigm to model and implement business workflows. They describe data, processes, internal and external agents and include mechanisms for data hiding and access control. GSM is a language for the implementation of artifact-centric sys- tems. Since GSM programs have infinitely many states, their verification is challenging.  here present a predicate abstraction technique that enables us to verify GSM programs against rich specifications built on an epistemic, first-order variant of the μ-calculus.  give the theoreti- cal underpinnings of the technique and present GSMC, the first model checker for GSM that implements SMT-based, three-valued abstraction for GSM.
['Pavel Gonzalez', 'Andreas Griesmayer', 'Alessio Lomuscio']
I am writing a research paper on a idea Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction
[{"from": "human", "value": "I am writing a research paper on a idea Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Artifact-centric systems are a recent paradigm to model and implement business workflows. They describe data, processes, internal and external agents and include mechanisms for data hiding and access control. GSM is a language for the implementation of artifact-centric sys- tems. Since GSM programs have infinitely many states, their verification is challenging.  here present a predicate abstraction technique that enables us to verify GSM programs against rich specifications built on an epistemic, first-order variant of the \u03bc-calculus.  give the theoreti- cal underpinnings of the technique and present GSMC, the first model checker for GSM that implements SMT-based, three-valued abstraction for GSM."}]