Construction Process Modeling: Representing Activities, Items and Their Interplay

CoPModL: Construction Process Modeling Language and Satisfiability Checking

“…We investigate the problem of satisfiability of a model and develop an efficient algorithm to check it. The algorithm has been implemented in CoPMod, a proof-of-concept tool that also supports the graphical definition of a process model [17].…”

“…The paper extends the work in [16], discussing more in detail the requirements of the application domain and using them to discuss in detail existing approaches and their unsuitability for construction process modeling and satisfiability checking in this setting. Formal proofs and lemmas are introduced in this paper, as well as the description of the proof-of-concept tool that we developed to support CoPModL process modeling and satisfiability checking [17].…”

“…The paper extends the work in [16], discussing more in detail the requirements of the application domain and using them to discuss in detail existing approaches and their unsuitability for construction process modeling and satisfiability checking in this setting. Formal proofs and lemmas are introduced in this paper, as well as the description of the proof-of-concept tool that we developed to support CoPModL process modeling and satisfiability checking [17]. The efficiency of the satisfiability checking algorithm is better substantiated by means of additional experiments, showing i) the efficiency of the algorithm compared to a model checking tool; ii) that the optimizations on which the satisfiability checking algorithm relies on are indeed improving the checking performances; and iii) the algorithm is able to handle process models of reasonable size.…”

Simplifying complex business process models through abstraction and Facilitating their reusability through business process model matching

“…A process model is an abstraction of real-world business processes that is applied and used to specific application domains [1], as it was described in the previous chapter. A process model is used to communicate knowledge regarding the work performed within organisations [3].…”