ECharts: Balancing Design and Implementation

G.W. Bond and H. Goguen (USA)

Keywords

software design, realtime systems, programming languages, UML State charts, ROOM charts

Abstract

In this paper we argue that the semantics of UML Stat echarts, while adequate for design, is inappropriate for implementation. To address the issues raised, we pro pose a language, ECharts, that incorporates modiļ¬ca tions to UML Statecharts. We argue that the ECharts semantics strike the right balance between supporting design and supporting implementation. We compare ECharts language features with comparable features in UML Statecharts and ROOMcharts. We draw mo tivating examples from an IP-based telecom services platform which uses our implementation of ECharts on a daily basis for design and implementation.

Important Links:



Go Back