论文信息 - AUTOMATA-BASED COMPONENT COMPOSITION ANALYSIS

AUTOMATA-BASED COMPONENT COMPOSITION ANALYSIS

Formal specification of software components enables automatic composition and checking of component-based systems. The component sys- tem is modeled as a finite automaton. We propose an algorithm that builds all syntactically correct finite automata-based models of a component-based system. The result systems are checked against the properties: lost data and number of provider/inport.

Laura Diosan | Simona Motogna | Andreea Fanea

[1] Ivica Crnkovic,et al. Building Reliable Component-Based Software Systems , 2002 .

[2] Clemens A. Szyperski,et al. Component software - beyond object-oriented programming , 2002 .

[3] Clemens A. Szyperski,et al. Component software - beyond object-oriented programming, 2nd Edition , 2002, Addison-Wesley component software series.

[4] Robert John Walters,et al. A graphically based language for constructing, executing and analysing models of software systems , 2002, Proceedings 26th Annual International Computer Software and Applications.