miun.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
UML as a first order transition logic
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.ORCID-id: 0000-0002-0665-1889
Stockholms universitet.
2003 (Engelska)Ingår i: INFORMATION MODELLING AND KNOWLEDGE BASES XIV / [ed] Jaakkola, H; Kangassalo, H; Kawaguchi, E; Thalheim, B, 2003, s. 142-151-Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2003. s. 142-151-
Serie
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, ISSN 0922-6389 ; 94
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:miun:diva-13616ISI: 000187422000013ISBN: 1-58603-318-2 (tryckt)OAI: oai:DiVA.org:miun-13616DiVA, id: diva2:411751
Konferens
12th European-Japanese Conference on Information Modelling and Knowledge Bases, May, 2001, Krippen, Germany
Tillgänglig från: 2011-04-19 Skapad: 2011-04-19 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Ekenberg, Love

Sök vidare i DiVA

Av författaren/redaktören
Ekenberg, Love
Av organisationen
Institutionen för informationsteknologi och medier
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 46 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf