Modelling Business Services with Situation Theory

In the business domain requirements are typically expressed in natural language. Any formal specifications based on high level abstractions are generally imprecise, incomplete and inconsistent. As a result the implementation of business systems often fails to deliver solutions as expected as consequence of the discontinuity between models at different levels of abstraction. Situation theory combines linguistics and logic to form a framework for capturing and manipulating information. In this work we apply situation theory to process specifications defined using natural language and create formal specification artefacts which are amenable to processing using model based software engineering methods.