Common Component Modelling Example (CoCoME)
The CoIn Team is one of the participants of the CoCoME modelling contest, which aims to evaluate and compare the practical appliance of existing component models and modelling approaches using a common component-based system, the Trading System, as a modelling example.
Team members
Links
|
The CoCoME paper
B. Zimmerova, P. Vařeková, N. Beneš, I. Černá, L. Brim and J. Sochor. The Common Component Modeling Example: Comparing Software Component Models, chapter Component-Interaction Automata Approach (CoIn). To appear in LNCS. Springer-Verlag, 2008.
[ bib ]
Download
The complete model of the Trading System created within the contest can be downloaded here. The model is created in the Component-interaction automata modelling language and written in the textual notation of the language. Besides the model of the Trading System, one may also download several models of the users of the system with respect to the use-case scenarios presented in the CoCoME book. The scenarios from the book are rewritten as sequences of CI automata labels (below each usage profile). These were used for verification that the model complies with the scenarios.
|