Abstrakt. Vi bygger vidare på ett ramverk för modellering och utredning av komponentbaserade system som strikt skiljer beskrivningen av komponenters beteende från hur de interagerar. Vi diskuterar olika egenskaper hos systemets beteende som livlighet, lokala framsteg, lokala och globala dödläge och robusthet. Vi presenterar ett kriterium som säkerställer liv och kan testas i polynom tid.
Ytterligare egenskaper som livlighet, rättvisa och robusthet samt ett resultat som presenterar ett tillstånd som kan testas i polynom tid och säkerställer livlighet kan hittas i REF.
An Approach to Modelling and Verification of Component Based Systems
{'venue': 'In Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer, Science SOFSEM07, volume 4362 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}