2011 | OriginalPaper | Chapter
A Unified Operational Semantics for UML in Situation Calculus
Authors : Qiang Liu, Liang Dou, Zongyuan Yang
Published in: Advanced Research on Computer Science and Information Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
An arising interest in the study of UML formal semantics is to integrate UML Diagrams into a uniform semantic model. In this paper, we propose a unified operational semantics for UML based on the Situation Calculus (SC) which is a sophisticated action theory and capable of modeling general dynamic systems. Specifically, UML models are treated as tailored dynamic systems in SC, with vocabularies borrowed from the UML metamodel. Structural diagrams, Class Diagrams and Object Diagrams, are modeled by Eternals for consistency checking. Behavioral diagram, the State Machine Diagram is modeled by Fluents and corresponding Axioms in SC. To analyze and test these dynamic diagrams, we appeal to Golog, an executable high-level programming language based on the SC. By executing Golog programs, UML diagrams can be analyzed and tested under a single semantic model.