Towards reduction of Paradigm coordination models 英文论文文献.docVIP

Towards reduction of Paradigm coordination models Suzana Andova? Luuk Groenewegen Department of Mathematics and Computer Science TU/e, Eindhoven, the Netherlands FaST Group, Leiden Institute of Advanced Computer Science Leiden University, The Netherlands Erik de Vink Department of Mathematics and Computer Science TU/e, Eindhoven, the Netherlands Abstract The coordination modelling language Paradigm addresses collaboration between compo- nents in terms of dynamic constraints. Within a Paradigm model, component dynamics are con- sistently speci?ed at a detailed and a global level of abstr