Mediator is a modeling language that helps develop formal model through both
- automata-based, precise and formal semantics
- easy-to-use compositional diagrams
This VS Code extension implements Mediator Language Server to provide basic syntax and semantic features by using the Langium tool.
Current implementation only supports keyword highlighting and basic grammar checking.
Semantic highlight and more features are on the way.
Link to the Mediator publication.
@Article{Li_2020_Sci_Comput_Program,
author = {Yi Li and Weidi Sun and Meng Sun},
title = {Mediator: A component-based modeling language for concurrent and distributed systems},
journal = {Science of Computer Programming},
volume = {192},
pages = {102438},
year = {2020},
doi = {https://doi.org/10.1016/j.scico.2020.102438},
}