Using Z in the development and maintenance of computational models of real-world systems

Moeiniyan Bagheri, Shahrzad, Smith, Graeme and Hanan, Jim (2015). Using Z in the development and maintenance of computational models of real-world systems. In: Carlos Canal and Akram Idani, Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Revised Selected Papers. 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, (36-53). 1 - 2 September 2014. doi:10.1007/978-3-319-15201-1_3


Author Moeiniyan Bagheri, Shahrzad
Smith, Graeme
Hanan, Jim
Title of paper Using Z in the development and maintenance of computational models of real-world systems
Conference name 12th International Conference on Software Engineering and Formal Methods
Conference location Grenoble, France
Conference dates 1 - 2 September 2014
Proceedings title Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Revised Selected Papers   Check publisher's open access policy
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   Check publisher's open access policy
Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of Publication Heidelberg, Germany
Publisher Springer Verlag
Publication Year 2015
Year available 2014
Sub-type Fully published paper
DOI 10.1007/978-3-319-15201-1_3
Open Access Status
ISBN 9783319152004
9783319152011
ISSN 0302-9743
1611-3349
Editor Carlos Canal
Akram Idani
Volume 8938
Start page 36
End page 53
Total pages 18
Chapter number 3
Total chapters 26
Collection year 2015
Language eng
Formatted Abstract/Summary
There are two main challenges in developing computational models of a real-world phenomena. One is the difficulty in ensuring clear communication between the scientists, who are the end-users of the model, and the model developers. This results from the difference in their backgrounds and terminologies. Another challenge for the developers is to ensure that the resultant software satisfies all the requirements accurately. Utilising a formal notation such as Z which is easy to learn, read, understand and remember can address these issues by (a) acting as a means to unambiguously communicate between scientists and simulation developers, and (b) providing a basis for systematically producing and maintaining simulation code that meets the specification. In this paper, we describe a translation scheme for producing code for the widely used agent-based simulation environment NetLogo from Z specifications. Additionally, we report on the use of the approach on a real project studying the movement of chyme, i.e. food undergoing digestion, through a pig’s intestine as a means of understanding the effect of dietary fibre on human health.
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 17 Feb 2015, 00:48:17 EST by System User on behalf of School of Information Technol and Elec Engineering