Applying Behavior Engineering to Procedural Adherence

2020 ◽  
Author(s):  
Juan Carlos Lopez ◽  
Jon Jeffries ◽  
Jairo Gonzalez ◽  
Wilmar Capote ◽  
Lina Martinez ◽  
...  
2019 ◽  
Author(s):  
Sai V ◽  
Sylvain Chambon ◽  
Oney Erge ◽  
Darine Mansour ◽  
Mohammad Hamzah

2011 ◽  
Vol 399-401 ◽  
pp. 1798-1801
Author(s):  
David Tuffley ◽  
Lian Wen

Engineering in general is a process-intensive domain. Processes and process models underpin the activities of every Engineering discipline, ensuring consistent outputs by sequencing the right activities in the correct order. Acknowledging the importance of process models, there is a clear need for effective methods for verifying such models to ensure efficiency and correctness. This paper introduces a new formal methodology for the analysis and verification of processes,Behavior Engineering(BE) [1]. BE has proven very effective when applied to the development of process models. In this example, the discipline is Software Engineering, yet it is argued that the approach can be applied to any process or set of processes from Chemical, Materials and Metallurgical Engineering.


Sign in / Sign up

Export Citation Format

Share Document