The STUDIA UNIVERSITATIS BABEŞ-BOLYAI issue article summary

The summary of the selected article appears at the bottom of the page. In order to get back to the contents of the issue this article belongs to you have to access the link from the title. In order to see all the articles of the archive which have as author/co-author one of the authors mentioned below, you have to access the link from the author's name.

 
       
         
    STUDIA INFORMATICA - Issue no. 1 / 2006  
         
  Article:   AUTOMATA-BASED COMPONENT COMPOSITION ANALYSIS.

Authors:  ANDREEA FANEA, SIMONA MOTOGNA, LAURA DIOŞAN.
 
       
         
  Abstract:  Formal specification of software components enables automatic composition and checking of component-based systems. The component system 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.  
         
     
         
         
      Back to previous page