Behavior Engineering for the Analysis and Verification of Processes

Loading...
Thumbnail Image
File version
Author(s)
Tuffley, David
Wen, Lian
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Zeng, JM

Kim, YH

Chen, YF

Date
2012
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

Persistent link to this record
Citation
Collections