Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus

Authors:
Juergen Dingel;Eyrak Paen;Ernesto Posse;Rezoanoor (Ruben) Rahman;Karolina Zurowska
Affiliations:
Queen's University, Kingston, Ontario, Canada;Queen's University, Kingston, Ontario, Canada;Queen's University, Kingston, Ontario, Canada;Queen's University, Kingston, Ontario, Canada;Queen's University, Kingston, Ontario, Canada
Venue:
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Year:
2010

Citing 23
Cited 0

Virtual time

ACM Transactions on Programming Languages and Systems (TOPLAS)
Real-time object-oriented modeling

Real-time object-oriented modeling
Theory of Modeling and Simulation

Theory of Modeling and Simulation
A CSP View on UML-RT Structure Diagrams

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formal Verification of UML Statecharts with Real-Time Extensions

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Using UML for Modeling Complex Real-Time Systems

LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Consistency-Preserving Model Evolution through Transformations

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
The formal semantics of SDL-2000: status and perspectives

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
The Pragmatics of Model-Driven Development

IEEE Software
Meaningful Modeling: What's the Semantics of "Semantics"?

Computer
Guest Editor's Introduction: Model-Driven Engineering

Computer
Improvements Towards Formalizing UML State Diagrams in CSP

APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

Science of Computer Programming
Template Semantics for Model-Based Notations

IEEE Transactions on Software Engineering
A semantic framework for metamodel-based languages

Automated Software Engineering
A system for generating static analyzers for machine instructions

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex
A polyadic pi-calculus approach for the formal specification of UML-RT

Advances in Software Engineering
A formal semantics of UML-RT

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A semantics for UML-RT active classes via mapping into circus

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Semantic anchoring with model transformations

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Theory and implementation of a real-time extension to the π-calculus

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on ongoing work to define a formal semantics for UML-RT suitable for execution and analysis. The paper advocates the use of kiltera as an executable, yet formal, specification language for the high-level description and analysis of complex software systems. kiltera is based on a novel process algebra that extends the π-calculus with time, distribution and execution via an interpreter based on event simulation. We present a textual abstract syntax for a subset of UML-RT and formally define a semantic mapping that explains UML-RT in terms of kiltera. An initial implementation of the semantic mapping is described. Relevant observations are collected, further work is discussed, and relevant related work is reviewed.