Behavior Engineering as process model verification tool
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  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 . Therefore this paper seeks an answer to the question; can Dromey's Behavior Engineering  reduce or eliminate ambiguity when applied to the development of a Process Reference Model? We conclude that BE is effective in this capacity.
Proceedings of 10th International SPICE Conference 2010: Process Improvement and Capability Determination in Software, Systems Engineering and Service Management
Information Systems Management
Engineering not elsewhere classified