Skip to main content
SpringerLink
Log in
Book cover

Workshop on Enterprise and Organizational Modeling and Simulation

EOMAS 2015: Enterprise and Organizational Modeling and Simulation pp 125–140Cite as

Formalising Responsibility Modelling for Automatic Analysis

  • Conference paper
  • First Online:

  • 630 Accesses

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 231))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Dependability Interdisciplinary Research Collaboration.

References

  1. Basnyat, S., Chozos, N., Johnson, C.: Incident and accident investigation techniques to inform model-based design of safety-critical interactive systems. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol. 3941, pp. 51–66. Springer, Heidelberg (2006)

    Google Scholar 

  2. Baxter, G., Sommerville, I.: Learning lessons from the failures of socio-technical systems design, April 2008. (for submission to Interacting with Computers)

    Google Scholar 

  3. Besnard, D., Baxter, G.: Human compensations for undependable systems. Tech. Rep. CS-TR-819, School of Computing Science, Newcastle University, Newcastle upon Tyne, UK, November 2003

    Google Scholar 

  4. Blyth, A.J., Chudge, J., Dobson, J.E., Strens, M.R.: ORDIT: A new methodology to assist in the process of eliciting and modelling organisational requirements. In: Kaplan, S. (ed.) Proceedings on the Conference on Organisational Computing Systems, pp. 216–227. ACM Press, Milpitas 1993)

    Google Scholar 

  5. Brooks Jr., F.P.: The Mythical Man-Month, 9th edn. Addison Wesley, Reading (1995)

    Google Scholar 

  6. Cholvy, L., Cuppens, F., Saurel, C.: Towars a logical formalization of responsibility. In: Proceedings of the 6th International Conference on Artificial intelligence and Law, pp. 233–242. ACM Press, Melbourne, June–July 1997

    Google Scholar 

  7. Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: GRAIL/KAOS: an environment for goal-driven requirements engineering. In: Adrion, W.R. (ed.) ICSE 1997: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, pp. 612–613. ACM Press, Boston, Massachusetts, May 1997

    Google Scholar 

  8. Dewsbury, G., Dobson, J. (eds.): Responsibility and Dependable Systems. Springer-Verlag London Ltd, London (2007)

    Google Scholar 

  9. Dobson, J.E., Sommerville, I.: Roles are responsibility relationships really, dIRC Project Technical Report, October 2005

    Google Scholar 

  10. Feiler, P., Gabriel, R.P., Goodenough, J., Linger, R., Longstaff, T., Kazman, R., Klein, M., Northrop, L., Schmidt, D., Sullivan, K., Wallnau, K.: Ultra-Large-Scale Systems, The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon University, 4500 Fifth Avenue, Pittsburgh, June 2006

    Google Scholar 

  11. Feltus, C., Incoul, C., Aubert, J., Gateau, B., Adelsbach, A., Camy, M.: Methodology to align business and IT policies: use case from an IT policy. In: 2009 International Conference on Availability, Reliability and Security. IEEE Computer Society, Fukuoka, March 2009

    Google Scholar 

  12. Feltus, C., Petit, M.: Building a responsibility model including accountability, capability and committment. In: 2009 International Conference on Availability, Reliability and Security. IEEE Computer Society, Fukuoka, March 2009

    Google Scholar 

  13. Garion, C., van der Torre, L.W.N.: Design by contract deontic design language for multiagent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 170–182. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  14. Gerber, A., Kotzé, P., van der Merwe, A.: Towards the formalisation of the togaf content metamodel using ontologies. In: Filipe, J., Cordeiro, J. (eds.) ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, vol. 2, pp. 54–64. SciTechPress, Funchal (2010)

    Google Scholar 

  15. Harper, R., Newman, W.: Designing for user acceptance using analysis techniques based on responsibility modelling. In: Tauber, M.J. (ed.) CHI 1996 Conference Companion on Human Factors in Computing Systems, pp. 217–218. ACM Press, Vancouver (1996)

    Google Scholar 

  16. Hause, M.: The sysml modelling language. In: 5th European Systems Engineering Conference, INCOSE, Edinburgh, Scotland, UK, September 2006

    Google Scholar 

  17. Kobryn, C., Sibbald, C.: Modeling dodaf compliant architectures the telelogic approach for complying with the dod architectural framework. White paper, Telelogic, October 2004

    Google Scholar 

  18. Lapouchnian, A.: Goal-oriented requirements engineering: an overview of the current research. Depth report, Department of Computer Science, University of Toronto, June 2005

    Google Scholar 

  19. Leveson, N.G.: A systems-theoretic approach to safety in software-intensive systems. IEEE Trans. Dependable Secure Comput. 1(1), 66–86 (2004)

    Article  Google Scholar 

  20. Leveson, N.G., Dulac, N.: Safety and risk-driven design in complex systems-of-systems. In: Proceedings of the 1st NASA/AIAA Space Exploration Conference: Continuing the Voyage of Discovery. American Institute of Aeronautics and Astronautics, Orlando, Florida, USA, January-February 2005

    Google Scholar 

  21. Lock, R., Sommerville, I.: Modelling and analysis of socio-technical system of systems. In: 10th International Conference on Engineering Complex Computer Systems, pp. 224–232. IEEE Computer Society, Oxford, March 2010

    Google Scholar 

  22. Lock, R., Storer, T., Sommerville, I.: Responsibility modelling for risk analysis. In: Proceedings of European SREL (ESREL) 2009, Prague, Czech Republic, pp. 1103–1109, September 2009

    Google Scholar 

  23. Meyer, J.J.C., Weiringa, R.J.: Applications of deontic logic in computer science: A concise overview. In: Meyer, J.J.C., Weiringa, R.J. (eds.) Deontic Logic in Computer Science: Normative System Specification, pp. 17–45. Wiley, Chicester (1993)

    Google Scholar 

  24. Mumford, E.: The story of socio-technical design: reflections on its successe, failures and potential. Inf. Syst. J. 16, 317–342 (2006)

    Article  Google Scholar 

  25. Padmanabhan, V., Governatori, G., Sadiq, S., Colomb, R., Rotolo, A.: Process modelling: the deontic way. In: Stumptner, M., Hartmann, S., Kiyoki, Y. (eds.) Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling. Conferences in Research and Practice in Information Technology Series, vol. 53, pp. 75–84. ACM Press, Hobart (2006)

    Google Scholar 

  26. Schwaber, K., Beedle, M.: Agile Software Development with SCRUM. Prentice Hall, Englewood Cliffs (2001)

    Google Scholar 

  27. Sommerville, I., Lock, R., Storer, T.: Information requirements for enterprise systems. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 266–282. Springer, Heidelberg (2012)

    Google Scholar 

  28. Sommerville, I., Lock, R., Storer, T., Dobson, J.: Deriving information requirements from responsibility models. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 515–529. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  29. Sommerville, I., Storer, T., Lock, R.: Responsibility modelling for civil emergency planning. Risk Manag. 11(3–4), 179–207 (2009b)

    Article  Google Scholar 

  30. Strens, R., Dobson, J.: How responsibility modelling leads to security requirements. In: NSPW 1992–1993: Proceedings on the 1992–1993 Workshop on New Security Paradigms. pp. 143–149. ACM Press, New York (1993)

    Google Scholar 

  31. Trist, E.: The evolution of socio-technical systems. a conceptual framework and an action research program. Occasional paper 2, Ontario Quality of Working Life Centre, June 1981

    Google Scholar 

  32. Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: 3rd IEEE International Symposium on Requirements Engineering (RE 1997), pp. 226–235. IEEE Computer Society (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Glasgow, Glasgow, UK

    Robbie Simpson & Tim Storer

Authors
  1. Robbie Simpson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tim Storer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Robbie Simpson .

Editor information

Editors and Affiliations

  1. Delft University of Technology, Delft, Zuid-Holland, The Netherlands

    Joseph Barjis

  2. Czech Technical University in Prague, Prague, Czech Republic

    Robert Pergl

  3. Higher School of Economics, National Research University, Nizhny Novgorod, Russia

    Eduard Babkin

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Simpson, R., Storer, T. (2015). Formalising Responsibility Modelling for Automatic Analysis. In: Barjis, J., Pergl, R., Babkin, E. (eds) Enterprise and Organizational Modeling and Simulation. EOMAS 2015. Lecture Notes in Business Information Processing, vol 231. Springer, Cham. https://doi.org/10.1007/978-3-319-24626-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-24626-0_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-24625-3

  • Online ISBN: 978-3-319-24626-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation