IDE-supported development of component-based applications

Abstract

Na rozdíl od komerčních komponentových systémů nemají ty akademické dostatečnou podporu v integrovaných vývojových prostředích. Tato práce analyzuje vývoj komponentově založených aplikací na komponentovém sys- tému SOFA 2 a zjišťuje, že hlavním problémem je nedostatečné propojení mezi procesy obecného návrhu aplikace a vytváření konkrétních komponent. Na základě této analýzy definuje podmnožinu UML, univerzálního jazyka pro návrh aplikací, a její sémantiku vzhledem k entitám komponentového systému SOFA 2. Dále vytváří nástroj integrovaný do vývojového prostředí Eclipse, který umožňuje automatické generování těchto entit z UML kom- ponentového modelu, stejně jako propojení tohoto modelu s již existujícími entitami, umožňující jejich automatickou opravu v případě změny modelu. Tento nástroj je navržen modulárně tak, aby bylo možné jednoduše změnit sémantiku modelu nebo ho použít na jiné modely. Nakonec tato práce ana- lyzuje možnosti rozšíření tohoto nástroje na další komponentové systémy, generování kódu a verifikaci chování komponent.

Unlike many proprietary component systems, the academic ones do not have sufficient support in integrated development environments. This the- sis analyzes development of component-based applications in terms of the SOFA 2 component system and it finds out that the main issue is an in- sufficient connection between processes of common application design and creation of particular components. Based on this analysis, it defines a subset of the UML, a universal language for application design, and its semantics regarding entities of the SOFA 2 component system. Furthermore, it creates a tool integrated to the Eclipse IDE, which enables a developer to automat- ically generate these entities from a UML component model as well as to connect this model with already existing entities enabling their automatic correction in case of model changing. This tool is designed modularly so that it is possible to easily change semantics of the model or using it for other models. Finally, this thesis analyzes possibilities of extensions of this tool for other component systems, code generation and component behaviour verification.