UML as a first order transition logic

• Published in: INFORMATION MODELLING AND KNOWLEDGE BASES XIV p. 142
• Main Authors: Ekenberg, Love, Johannesson, Paul
• Format: Conference Proceeding
• Language: English
• Published: 2003
• Series: FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS
• Subjects: Information technology; Informationsteknik; TECHNOLOGY; TEKNIKVETENSKAP

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 subclass...