DocumentCode
721029
Title
Exploring Situation Theory Using InfonLab
Author
Doma, Eugene ; Selic, Bran ; Levy, David
Author_Institution
Sch. of Electr. & Inf. Eng., Univ. of Sydney, Sydney, NSW, Australia
fYear
2015
fDate
13-17 April 2015
Firstpage
260
Lastpage
267
Abstract
Complex software systems often suffer from flaws arising either during the design or the development stages. In many cases due to the lack of formal underpinning it is difficult to assuredly define the model from which the system is generated. In our work, we investigated the suitability of mathematical situation theory as a formal foundation for a computer modelling language. This paper describes our empirical evaluation of this thesis in the real-time domain using Infon Lab, a tool based upon situation theory.
Keywords
formal specification; formal verification; Infon Lab; InfonLab; complex software systems; computer modelling language; exploring situation theory; formal foundation; formal methods; formal underpinning; mathematical situation; real-time domain; situation theory; Computational modeling; Computers; Context modeling; Mathematical model; Object oriented modeling; Semantics; Software; domain-specific modeling language; model-based software engineering; situation theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on
Conference_Location
Auckland
ISSN
1555-0885
Type
conf
DOI
10.1109/ISORC.2015.20
Filename
7153814
Link To Document