Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for id:"handle:10023/17859". One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of St. Andrews

1. Mendoza Santana, Juan Jose. A seamless framework for formal reasoning on specifications : model derivation, verification and comparison .

Degree: 2019, University of St. Andrews

While formal methods have been demonstrated to be favourable to the construction of reliable systems, they also present us with several limitations. Most of the efforts regarding formal reasoning are concerned with model correctness for critical systems, while other properties, including model validity, have seen little development, especially in the context of non-critical systems. We set to advance model validation by relating a software model with the corresponding requirements it is intended to capture. This requires us to express both requirements and models in a common formal language, which in turn will enable not only model validation, but also model generation and comparison. We present a novel framework (TOMM) that integrates the formalization of class diagrams and requirements, along with a set of formal theories to validate, infer, and compare class models. We introduce SpeCNL, a controlled domain independent subset of English sentences, and a document structure named ConSpec. The combination of both allows us to express and formalize functional requirements related to class models. Our formal framework is accompanied by a proof-of-concept tool that integrates language and image processing libraries, as well as formal methods, to aid the usage and evaluation of our theories. In addition, we provide an implementation that performs partial extraction of relevant information from the graphical representations of class diagrams. Though different approaches to model validation exist, they assume the existence of formal specifications for the model to be checked. In contrast, our approach has been shown to deal with informal specifications and seamlessly validate, generate and compare class models. Advisors/Committee Members: Bowles, Juliana (advisor).

Subjects/Keywords: Formal models; Model validation; Model comparison; Model inference; Controlled Natural Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mendoza Santana, J. J. (2019). A seamless framework for formal reasoning on specifications : model derivation, verification and comparison . (Thesis). University of St. Andrews. Retrieved from http://hdl.handle.net/10023/17859

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mendoza Santana, Juan Jose. “A seamless framework for formal reasoning on specifications : model derivation, verification and comparison .” 2019. Thesis, University of St. Andrews. Accessed July 20, 2019. http://hdl.handle.net/10023/17859.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mendoza Santana, Juan Jose. “A seamless framework for formal reasoning on specifications : model derivation, verification and comparison .” 2019. Web. 20 Jul 2019.

Vancouver:

Mendoza Santana JJ. A seamless framework for formal reasoning on specifications : model derivation, verification and comparison . [Internet] [Thesis]. University of St. Andrews; 2019. [cited 2019 Jul 20]. Available from: http://hdl.handle.net/10023/17859.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mendoza Santana JJ. A seamless framework for formal reasoning on specifications : model derivation, verification and comparison . [Thesis]. University of St. Andrews; 2019. Available from: http://hdl.handle.net/10023/17859

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.