CoPModL: Construction Process Modeling Language and Satisfiability Checking

作者：

Highlights：

• General purpose modeling languages do not support specific domains.

• The construction domain needs a formal approach for process specification.

• Formal modeling languages paves the way to automatic support.

• Satisfiability checking can be done efficiently in the introduced formal language.

摘要

•General purpose modeling languages do not support specific domains.•The construction domain needs a formal approach for process specification.•Formal modeling languages paves the way to automatic support.•Satisfiability checking can be done efficiently in the introduced formal language.

论文关键词：Multi-instance process modeling,Satisfiability checking of a process model,Construction processes

论文评审过程：Received 5 February 2019, Revised 15 July 2019, Accepted 21 October 2019, Available online 27 November 2019, Version of Record 27 September 2021.

论文官网地址：https://doi.org/10.1016/j.is.2019.101457