Abstract
General purpose process modeling approaches are meant to be applicable to a wide range of domains. To achieve this result, their constructs need to be general, thus failing in capturing the peculiarities of a particular application domain. One aspect usually neglected is the representation of the items on which activities are to be executed. As a consequence, the model is an approximation of the real process, limiting its reliability and usefulness in particular domains.
We extend and formalize an existing declarative specification for process modeling mainly conceived for the construction domain. In our approach we model the activities and the items on which the activities are performed, and consider both of them in the specification of the flow of execution. We provide a formal semantics in terms of LTL over finite traces which paves the way for the development of automatic reasoning. In this respect, we investigate process model satisfiability and develop an effective algorithm to check it.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
In LTL, \(\Box \mathsf {a}\), \(\Diamond \mathsf {a}\) and \(\mathsf \bigcirc \mathsf {a}\) mean that condition \(\mathsf {a}\) must be satisfied (i) always, (ii) eventually in the future, and (iii) in the next state. Formula \(\mathsf {a}\;\mathsf{U}\;\mathsf {b}\) requires condition \(\mathsf {a}\) to be true until \(\mathsf {b}\).
- 2.
The result of
is the set of possible values for the attributes in \({\mathsf {s}}\) considering 
. For each of them we select the items in 
that are at the same scope, and we apply the not_interrupt. - 3.
The projection operator is applied to
and 
and only projections \(\pi _{{\mathsf {s}}}\) , \(\pi '_{{\mathsf {s}}}\) that are in common are considered. For every distinct \(\pi _{{\mathsf {s}}}\) , \(\pi '_{{\mathsf {s}}}\) either 
and 
are performed on items at scope \(\pi _{{\mathsf {s}}}\) without being interrupted by executing 
and 
on items at scope \(\pi '_{{\mathsf {s}}}\), or vice versa. - 4.
start-end order:
; non-repetition: 
; non-concurrence: 
, where 
. - 5.
Including also the directed arcs to represent the precedence constraints of the chain and alternate dependencies (see the formalization in Sect. 3.2).
is the set of possible values for the attributes in 
. For each of them we select the items in 
that are at the same scope, and we apply the not_interrupt.
and 
and only projections 
and 
are performed on items at scope 
and 
on items at scope 
; non-repetition: 
; non-concurrence: 
, where 
.References
van der Aalst, W.M.P., Artale, A., Montali, M., Tritini, S.: Object-centric behavioral constraints: integrating data and declarative process modelling. In: Description Logics (2017)
van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci.-R&D 23(2), 99–113 (2009)
van der Aalst, W.M.P., Stoffele, M., Wamelink, J.: Case handling in construction. Autom. Constr. 12(3), 303–320 (2003)
Matt, D.T., Benedetti, C., Krause, D., Paradisi, I.: Build4future-interdisciplinary design: from the concept through production to the construction site. In: Proceedings of the 1st International Workshop on Design in Civil and Environmental Engineering, KAIST (2011)
Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: a database theory perspective. In: PODS. ACM (2013)
COCkPiT: Collaborative Construction Process Management. www.cockpit-project.com/
Dallasega, P., Matt, D., Krause, D.: Design of the building execution process in SME construction networks. In: 2nd International Workshop DCEE (2013)
De Giacomo, G., De Masellis, R., Montali, M.: Reasoning on LTL on finite traces: insensitivity to infiniteness. In: AAAI. AAAI Press (2014)
Dumas, M.: From models to data and back: the journey of the BPM discipline and the tangled road to BPM 2020. In: BPM. LNCS, vol. 9253, Springer, Berlin (2015)
Forsythe, P., Sankaran, S., Biesenthal, C.: How far can BIM reduce information asymmetry in the Australian construction context? Project. Manag. J. 46(3), 75–87 (2015)
Fortemps, P., Hapke, M.: On the disjunctive graph for project scheduling. Found. Comput. Decis. Sci. 22, 195–209 (1997)
Frank, U.: Multilevel modeling - toward a new paradigm of conceptual modeling and information systems design. Bus. Inf. Syst. Eng. 6(6), 319–337 (2014)
Hickmott, S.L., Sardiña, S.: Optimality properties of planning via Petri net unfolding: a formal analysis. In: Proceedings of ICAPS (2009)
Kenley, R., Seppänen, O.: Location-Based Management for Construction: Planning Scheduling and Control. Routledge, Abingdon (2006)
KPMG International: Building a Technology Advantage. Harnessing the Potential of Technology to Improve the Performance of Major Projects. Global Construction Survey (2016)
Leitner, M., Mangler, J., Rinderle-Ma, S.: Definition and enactment of instance-spanning process constraints. In: Wang, X.S., Cruz, I., Delis, A., Huang, G. (eds.) WISE 2012. LNCS, vol. 7651, pp. 652–658. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-35063-4_49
Lu, Y., Xu, X., Xu, J.: Development of a hybrid manufacturing cloud. J. Manuf. Syst. 33(4), 551–566 (2014)
Marengo, E., Dallasega, P., Montali, M., Nutt, W.: Towards a graphical language for process modelling in construction. In: CAiSE Forum 2016. CEUR Proceedings, vol. 1612 (2016)
Marengo, E., Dallasega, P., Montali, M., Nutt, W., Reifer, M.: Process management in construction: expansion of the Bolzano hospital. In: vom Brocke, J., Mendling, J. (eds.) Business Process Management Cases. MP, pp. 257–274. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-58307-5_14
Perktold, M.: Processes in construction: modeling and consistency checking. Master’s thesis, Free University of Bozen-Bolzano (2017). http://pro.unibz.it/library/thesis/00012899S_33593.pdf
Perktold, M., Marengo, E., Nutt, W.: Construction process modeling prototype. http://bp-construction.inf.unibz.it:8080/ConstructionProcessModelling-beta
Shankar, A., Varghese, K.: Evaluation of location based management system in the construction of power transmission and distribution projects. In: 30th International Symposium on Automation and Robotics in Construction and Mining (2013)
Acknowledgments
This work was supported by the projects MoMaPC, financed by the Free University of Bozen-Bolzano and by COCkPiT financed by the European Regional Development Fund (ERDF) Investment for Growth and Jobs Programme 2014–2020.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Marengo, E., Nutt, W., Perktold, M. (2018). Construction Process Modeling: Representing Activities, Items and Their Interplay. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds) Business Process Management. BPM 2018. Lecture Notes in Computer Science(), vol 11080. Springer, Cham. https://doi.org/10.1007/978-3-319-98648-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-98648-7_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98647-0
Online ISBN: 978-3-319-98648-7
eBook Packages: Computer ScienceComputer Science (R0)