Abstract
Complex systems exhibit emergent behaviour. The explanations for this explicit emergent behaviour are often difficult to identify, and usually require understanding of significant parts of system structure and component behaviour to interpret. We present ongoing work on a set of techniques, based on Model-Driven Engineering principles and practices, for helping to reveal explanations for system complexity. We outline the techniques abstractly, and then illustrate parts of them with three examples from the health care, system security and Through-Life Capability Management domains.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baxter, G.: White paper: Complexity in health care. Technical report, Large Scale Complex IT System, LSCITS (2010)
Brook, R.H., McGlynn, E.A., Cleary, P.D.: Quality of health care: measuring quality of care. New England Journal of Medicine 335, 966–970 (1996)
Brooke, P.J., Paige, R.F., Power, C.: State exploration and property checking for fuzzy scenarios (under review, 2012)
Burton, F.R., Paige, R.F., Rose, L.M., Kolovos, D.S., Poulding, S., Smith, S.: Solving Acquisition Problems Using Model-Driven Engineering. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 428–443. Springer, Heidelberg (2012)
Donabedian, A.: The Definition of Quality and Approaches to Its Assessment. Health Administration Press (1980)
dos Santos, O.M., Woodcock, J., Paige, R.F.: Using model transformation to generate graphical counter-examples for the formal analysis of xuml models. In: ICECCS, pp. 117–126 (2011)
Object Management Group. Business process definition metamodel (BPDM), process definitions (2008), http://www.omg.org/cgi-bin/doc?dtc/2008-05-09
Haywood-Farmer, J., Alleyne, A., Duffus, B., Downing, M.: Controlling service quality. Business Quarlerly 50(4), 62–67 (1986)
Haywood-Farmer, J.: A conceptual model of service quality. International Journal of Operations and Production Management 8(6), 19–29 (1988)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 113–140. Springer, Heidelberg (2002)
Lowe, G.: Probabilistic and prioritized models of timed CSP. Theoretical Computer Science 13(2), 315–352 (1995)
McKane, T.: Enabling acquisition change - an examination of the Ministry of Defence’s ability to undertake Through Life Capability Management. Technical report (June 2006)
NHS. Acute stroke and transient ischaemic attack suspected (January 2010), http://healthguides.mapofmedicine.com/choices/map/stroke2.html
Parasuraman, A., Zeithaml, V.A., Berry, L.L.: A conceptual model of service quality and its implications for future research. Journal of Marketing 49, 41–50 (1985)
Plsek, P.E., Greenhalgh, T.: The challenge of complexity in health care. British Medical Journal 323, 624–628 (2001)
Sweeney, K., Griffiths, F. (eds.): Complexity and Healthcare: an introduction. Radcliffe Medical Press (2002)
Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. Electr. Notes Theor. Comput. Sci. 141(3), 53–71 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paige, R.F., Brooke, P.J., Ge, X., Power, C.D.S., Burton, F.R., Poulding, S. (2012). Revealing Complexity through Domain-Specific Modelling and Analysis. In: Calinescu, R., Garlan, D. (eds) Large-Scale Complex IT Systems. Development, Operation and Management. Monterey Workshop 2012. Lecture Notes in Computer Science, vol 7539. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34059-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-34059-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34058-1
Online ISBN: 978-3-642-34059-8
eBook Packages: Computer ScienceComputer Science (R0)