Paper Info
Title
A Stepwise Approach To Linking Theories
Abstract
Formal modelling of complex systems requires catering for a variety of aspects. The Unifying Theories of Programming (UTP) distinguishes itself as a semantic framework that promotes unification of results across different modelling paradigms via linking functions. The naive composition of theories, however, may yield unexpected or undesirable semantic models. Here, we propose a stepwise approach to linking theories where we deal separately with the definition of the relation between the variables in the different theories and the identification of healthiness conditions. We explore this approach by deriving healthiness conditions for Circus Time via calculation, based on the healthiness conditions of CSP and a small set of principles underlying the timed model.
Year
DOI
Venue
2016
10.1007/978-3-319-52228-9_7
UNIFYING THEORIES OF PROGRAMMING, UTP 2016
Keywords
Field
DocType
Theory engineering, Circus, CSP, UTP
Complex system,Semantic framework,Computer science,Unification,Theoretical computer science,Small set
Conference
Volume
ISSN
Citations 
10134
0302-9743
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Pedro Ribeiro1184.74
Ana Cavalcanti222418.41
J. C. P. Woodcock351953.82