Behavior Engineering as process model verification tool

Abstract

The natural language that people use to express themselves is frequently prone to ambiguity. Misunderstandings occur due to a statement having two or more interpretations. In the software engineering domain, clarity of expression when specifying the requirements of software systems is one situation where absence of ambiguity is important. Dromey's Behavior Engineering [1] is a formal method that reduces or eliminates ambiguity in software requirements. Exploratory research suggests Behavior Engineering might be effective at eliminating ambiguities in process models [23]. Therefore this paper seeks an answer to the question; can Dromey's Behavior Engineering [1] reduce or eliminate ambiguity when applied to the development of a Process Reference Model? We conclude that BE is effective in this capacity.