miun.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
UML as a first order transition logic
Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.ORCID iD: 0000-0002-0665-1889
Stockholms universitet.
2003 (English)In: INFORMATION MODELLING AND KNOWLEDGE BASES XIV / [ed] Jaakkola, H; Kangassalo, H; Kawaguchi, E; Thalheim, B, 2003, p. 142-151-Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2003. p. 142-151-
Series
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, ISSN 0922-6389 ; 94
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:miun:diva-13616ISI: 000187422000013ISBN: 1-58603-318-2 (print)OAI: oai:DiVA.org:miun-13616DiVA, id: diva2:411751
Conference
12th European-Japanese Conference on Information Modelling and Knowledge Bases, May, 2001, Krippen, Germany
Available from: 2011-04-19 Created: 2011-04-19 Last updated: 2018-01-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Ekenberg, Love

Search in DiVA

By author/editor
Ekenberg, Love
By organisation
Department of Information Technology and Media
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 46 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf