Component-Based Modeling in Mediator.

Yi Li,Meng Sun
DOI: https://doi.org/10.1007/978-3-319-68034-7_1
2017-01-01
Abstract:In this paper we propose a new language Mediator to formalize component-based system models. Mediator supports a two-step modeling approach. Automata, encapsulated with an interface of ports, are the basic behavior units. Systems declare components or connectors through automata, and glue them together. With the help of Mediator, components and systems can be modeled separately and precisely. Through various examples, we show that this language can be used in practical scenarios.
What problem does this paper attempt to address?