Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

• Název česky: Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
• Autoři: ZIMMEROVÁ Barbora; VAŘEKOVÁ Pavlína
• Rok publikování: 2007
• Druh: Článek ve sborníku
• Konference: MEMICS proceedings
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
• Obor: Informatika
• Klíčová slova: Component-based systems; verification; component instances
• Popis: V článku prezentujeme náš přístup k modelování a verifikaci komunikačního chování mezi komponentami v komponentových systémech s ohledem na zachycení vytváření a mazání instancí komponent za běhu systému.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Vysoce paralelní a distribuované výpočetní systémy