Thesis

Model Based Software Engineering using Situation Theory with Applications to Business Services
Natural language specifications tend to be incomplete, imprecise and mutually inconsistent. Most software development methodologies rely on stakeholder reviews as a feedback mechanism. Generally, stakeholders have business domain expertise, but lack the technical background required to comprehend the detailed, low-level formalisms commonly used. As a result, the specifications for review may either retain much of the informal, natural language aspects and thus lead to incorrect decisions during subsequent analysis and refinement stages, or detailed specifications in a formal notation are presented and under-informed approvals are granted in spite of difficulties in understanding the formalised specifications. In either case, the resulting business system implementations are riddled with errors, delivered late and over budget. Model based software engineering approaches have been successfully applied in technical programming. Although many business software development methodologies have been introduced, widespread success with them has been elusive. The search for a theory that bridges from informal natural language text to a mathematical logic notation lead to the consideration of situation theory as a suitable candidate. Situation theory emerged from research combining logic and linguistics. Unlike precise formalisms, such as first-order logic and set theory, situation theory admits information that is incomplete and/or inconsistent. The studies in situation theory include the analysis of informal language and its transformation into formal language, that is, potentially providing means of bridging from informal to formal models. In this thesis we investigate how situation theory could be applied to the various stages of model based software engineering methods and facilitate the refinement of natural language requirements documents through steps to fully formal models.

Journal Articles

Object Oriented Modelling with Situation Theory
A position paper co-authored with Bran Selic and David Levy.
It appeared in the "International Journal of Software Architecture".

Conference Papers

IEEE ISORC 2015, Auckland, New Zealand: Exploring Situation Theory using InfonLab
Suggests the use of situation theory as a possible formalism for use in model based software engineering with a simple real-time control example".

ASWEC 2015, Adelaide, Australia: Modelling Business Services with Situation Theory
Presents both theory and methodology of modelling business services using situation theory and model based software engineering techniques.

Presentations

iiBA Business Analysis World 2009, Sydney July 2015
An overview of situation theory and how it provides a foundation to support tooling for business analysis tools.

IEEE ISORC 2015, Auckland April 2015
Presenting a summary of the paper: "Exploring Situation Theory using InfonLab".