Subject-observer specification with component-interaction automata

• Název česky: Specifikace vzoru Subject-Observer pomocí Component-Interaction automatů
• Autoři: VAŘEKOVÁ Pavlína; ZIMMEROVÁ Barbora
• Rok publikování: 2007
• Druh: Článek ve sborníku
• Konference: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
• 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; dynamic number of components; finite-state systems; verification; software modelling
• Popis: Tento článek prezentuje naše řešení problému ohlášeného jako Challenge Problem konference SAVCBS 2007. Skládá se ze dvou částí. V první části prezentujeme model systému, v druhé jeho verifikaci vhledem k neomezenému počtu komponent Observer.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Realistická aplikace formálních metod v komponentových systémech
• Vysoce paralelní a distribuované výpočetní systémy