Behavior Engineering for the Analysis and Verification of Processes
File version
Author(s)
Wen, Lian
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Zeng, JM
Kim, YH
Chen, YF
Date
Size
63137 bytes
File type(s)
application/pdf
Location
License
Abstract
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
Journal Title
Advanced Materials Research
Conference Title
Book Title
Edition
Volume
399-401
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2011 Trans Tech Publications. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
Item Access Status
Note
Access the data
Related item(s)
Subject
Engineering
Engineering practice