Statechart-like language to specify the flow of values between agents in a system

[1] proposes to to specify the order in which values are exchanged between agents in a system by interconnected statecharts. Each state represents the passing or receiving of a value and is connected with a state of another agent's statechart, where the value is received/passed from. [1] uses UML statechart notation with notes and numbering that informally relate the different statecharts. This language makes the relations between the statecharts more explicit.

This language specification shows how EMFText can be combined with other metamodelling tools. The Ecore TEXT syntax is used to specify the metamodel and to add annotations to the metamodel that specify a graphical syntax for the language. These annotations were interpreted by EuGENia to generate a graphical editor. Additionally a textual syntax is defined with EMFText. This shows how graphical and textual syntax can be combined.

Screenshot

Graphical and textual syntax next to each other

Metamodel (with EuGENia annotations)

valueflow.text.ecore

CS Specification

valueflow.cs

Plugins

org.emftext.language.valueflow

org.emftext.language.valueflow.edit

org.emftext.language.valueflow.diagram

org.emftext.language.valueflow.resource

org.emftext.language.valueflow.resource.valueflow

org.emftext.language.valueflow.resource.valueflow.ui

[1] Roussev, B., Wu, J.: Transforming use case models to class models and ocl-specifications. Int. Journal of Computers and Applications 29(1) (2007)