Architectural style-based modeling and simulation of complex software systems

Author

Guo, Ping ; Engels, Gregor ; Heckel, Reiko

Author_Institution

Dept. of Comput. Sci., Paderborn Univ., Germany

fYear

2005

fDate

15-17 Dec. 2005

Abstract

The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural style-based approach to specifying and analyzing complex software systems. The approach developed is based on UML-like meta models and graph transformation techniques to support sound methodological principals, formal analysis and refinement. The approach is illustrated through the specification and simulation of architectural styles of mobile computing middleware, where three abstract levels of architectural styles are defined in order to decrease the complexity brought by mobility.

Keywords

Unified Modeling Language; digital simulation; formal specification; graph grammars; middleware; mobile computing; software architecture; UML; architectural style-based modeling; complex software system simulation; formal analysis; formal refinement; formal specification; graph transformation; middleware; mobile computing; software quality; Buildings; Computational modeling; Computer architecture; Computer science; Middleware; Mobile computing; Robustness; Software quality; Software systems; Time to market;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-2465-6

Type

conf

DOI

10.1109/APSEC.2005.41

Filename

1607173