Sökning: id:"swepub:oai:DiVA.org:miun-13616" >
UML as a first orde...
UML as a first order transition logic
-
- Ekenberg, Love (författare)
- Mittuniversitetet,Institutionen för informationsteknologi och medier (-2013)
-
- Johannesson, Paul (författare)
- Stockholms universitet
-
(creator_code:org_t)
- 2003
- 2003
- Engelska.
-
Ingår i: INFORMATION MODELLING AND KNOWLEDGE BASES XIV. - 1586033182 ; , s. 142-151-
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- The work presented herein suggests a working method for the transformation of UML specifications to an event driven logic based formalism. The result models a fully expressive set of UML language constructs from the source language, in a first order model at meta level, and extend this with subclasses together with their relations in accordance with an input specification. The translation of any specification within this subset of the language is then achieved by just extending the meta model. The resulting model is expressed in first order logic. In this way the transformation preserves the conceptual integrity of the source specifications and provides a basis for further integration and verification.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Information technology
- Informationsteknik
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas