Formalising responsibility modelling for automatic analysis

Simpson, R. and Storer, T. (2015) Formalising responsibility modelling for automatic analysis. In: Barjis, J., Pergl, R. and Babkin, E. (eds.) Enterprise and Organizational Modeling and Simulation. Series: Lecture Notes in Business Information Processing (231). Springer Berlin Heidelberg. ISBN 9783319246253

108933.pdf - Accepted Version


Publisher's URL:


Modelling the structure of social-technical systems as a basis for informing software system design is a difficult compromise. Formal methods struggle to capture the scale and complexity of the heterogeneous organisations that use technical systems. Conversely, informal approaches lack the rigour needed to inform the software design and construction process or enable automated analysis. We revisit the concept of responsibility modelling, which models social technical systems as a collection of actors who discharge their responsibilities, whilst using and producing resources in the process. Responsibility modelling is formalised as a structured approach for socio-technical system requirements specification and modelling, with well-defined semantics and support for automated structure and validity analysis. The effectiveness of the approach is demonstrated by two case studies of software engineering methodologies.

Item Type:Book Sections
Additional Information:This book constitutes the refereed proceedings of the 11th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2015, held at CAiSE 2015, in June 2015 in Stockholm, Sweden.
Glasgow Author(s) Enlighten ID:Simpson, Mr Robert and Storer, Dr Tim
Authors: Simpson, R., and Storer, T.
College/School:College of Science and Engineering > School of Computing Science
Publisher:Springer Berlin Heidelberg
Copyright Holders:Copyright © 2015 Springer Berlin Heidelberg
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher.

University Staff: Request a correction | Enlighten Editors: Update this record