Revealing complexity through domain-specific modelling and analysis

Authors:
Richard F. Paige;Phillip J. Brooke;Xiaocheng Ge;Christopher D. S. Power;Frank R. Burton;Simon Poulding
Affiliations:
Department of Computer Science, University of York, York, UK;School of Computing, Teesside University, Middlesbrough, UK;Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK
Venue:
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Year:
2012

Citing 5
Cited 0

Probabilistic and prioritized models of timed CSP

MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
PRISM: Probabilistic Symbolic Model Checker

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Modular Architectural Representation and Analysis of Fault Propagation and Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems
Solving acquisition problems using model-driven engineering

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

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.