Title :
Architecture style-based calculi for non-functional properties
Author_Institution :
Teknowledge Corp., Palo Alto, CA, USA
Abstract :
Engineers wield various "calculi" to help determine solutions to their problems, calculation tools varying in power from tensile strength tables to the differential calculus. A calculus is normally based on induction over an algebraic structure. Here the author explores how architecture styles can be used to describe such structures. An example calculus based on an "integration" style is presented, which is intended for use as a substyle of other architecture styles. Calculation rules in terms of the architectural elements can be used to compute non-functional attributes of artifacts described in such styles. Naturally, computerized support for calculi will help to automate the tasks of software engineers.
Keywords :
program diagnostics; reasoning about programs; software architecture; architectural elements; architecture style-based calculi; architecture styles; calculation rules; calculation tools; differential calculus; integration style; nonfunctional attributes; nonfunctional properties; software analysis; software engineers; software evaluation; Algebra; Calculus; Computer architecture; Computer languages; Power engineering and energy; Power engineering computing; Process design; Reliability engineering; Software engineering; Software libraries;
Conference_Titel :
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on
Print_ISBN :
0-7695-2035-9
DOI :
10.1109/ASE.2003.1240325