Assessing business process models: a literature review on techniques for BPMN testing and formal verification
T Lopes, S Guerreiro - Business Process Management Journal, 2023 - emerald.com
Purpose Testing business processes is crucial to assess the compliance of business
process models with requirements. Automating this task optimizes testing efforts and …
process models with requirements. Automating this task optimizes testing efforts and …
[PDF][PDF] Wissensbasierte Prozesskonfiguration im Bauwesen
K Roos - 2020 - core.ac.uk
The aim of process configuration is to support typical construction processes such as
planning processes, executing processes, control and decision-making processes …
planning processes, executing processes, control and decision-making processes …
[LIVRE][B] A Business Framework for International Commercialization of Innovative Construction Products
A Albassami, AP McCoy - 2015 - books.google.com
Businesses, consumers, industry groups, and governments understand the importance of
innovation for continued economic success and improvements in quality of life. However …
innovation for continued economic success and improvements in quality of life. However …
[PDF][PDF] Verification and validation approach of BPMN represented construction processes
F Kog, A Dikbas, RJ Scherer - the Proceedings of Creative …, 2014 - academia.edu
Process configuration, is a smart method to integrate several business process variants into
a single model, helps to omit unnecessary process parts and to give flexibility to the …
a single model, helps to omit unnecessary process parts and to give flexibility to the …
[PDF][PDF] Petri Net based VerificatioN aNd recoNfiguratioN of bPMN rePreseNted coNfigured coNstructioN Processes
F Kog, MB Gök - Forum Bauinformatik, 2013 - publications.cms.bgu.tum.de
Verification of the completeness and consistency system network and validation of the
intended purposes of the configured process models are important problems of the Business …
intended purposes of the configured process models are important problems of the Business …
Wissensbasierte Modellierung von Bauprozessen auf Basis von Referenzmodulen
M König, RJ Scherer, M Baling, K Shapir… - … im Bauwesen 1 …, 2014 - Springer
Die Definition von individuellen und konsistenten Planungs-und Ausführungsprozessen für
Bauprojekte ist eine sehr große Herausforderung. Insbesondere bei sehr umfangreichen …
Bauprojekte ist eine sehr große Herausforderung. Insbesondere bei sehr umfangreichen …
Çoklu Ajan Sistemleri İle İnşaat Sektörü İçin Bir Yüklenici Seçimi Modeli
F Koğ - 2016 - polen.itu.edu.tr
Özet Yapım projesinin temel aktörlerinden biri olan yüklenicinin seçimi, işveren açısından
önemli ve zorlu karar süreçlerinden birisi olarak ön plana çıkmaktadır. Yapım projeleri birçok …
önemli ve zorlu karar süreçlerinden birisi olarak ön plana çıkmaktadır. Yapım projeleri birçok …
Simulation von Bauausführungsvarianten mit einem prozessbasierten Simulationsbaukasten
A Ismail, RJ Scherer - Informationssysteme im Bauwesen 2: Anwendungen, 2014 - Springer
Es wird ein bauspezifischer und prozessbasierter Simulationsbaukasten für die
Bauprojekteplanung vorgestellt, der im Rahmen des Projekts Mefisto entwickelt wurde. Das …
Bauprojekteplanung vorgestellt, der im Rahmen des Projekts Mefisto entwickelt wurde. Das …
Verifikation und Validierung von konfigurierten Bauprozessen durch Petrinetze
F Kog, RJ Scherer - Informationssysteme im Bauwesen 2: Anwendungen, 2014 - Springer
Die Überprüfung der Vollständigkeit und der Konsistenz von Prozessnetzwerken sowie die
Validierung der beabsichtigten Zwecke der konfigurierten Prozessmodelle sind wichtige …
Validierung der beabsichtigten Zwecke der konfigurierten Prozessmodelle sind wichtige …