Abstract
Proposed approaches for modeling knowledge-intensive pro- cesses include declarative, constraint-based solutions, which meet halfway between support and exibility. A noteworthy example is the Declare framework, which is equipped with a graphical declarative lan- guage whose semantics can be expressed with multiple logic-based for- malisms. So far, the practical use of Declare constraints has been mostly hampered by the difficulty of modeling them: the formal notation of De- clare represents a steep learning curve for users lacking an understanding of temporal logic, while the graphical notation has proven to be unin- tuitive. This work presents Declo, a chatbot that allows users to easily define declarative constraints using natural language statements provided in the form of vocal or textual input. The supported constraints cover the entire Multi-Perspective extension of Declare (MP-Declare), comple- menting control- ow constraints with data and temporal perspectives.