Abstract
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy to understand and are convenient to use, they are not amendable to automated verification and transformation. This paper provides graph grammars for architecture and UML class diagrams. These grammars enable a high level of abstraction for the general organization of a class of software architectures, and form a basis for various analysis and transformations. In this approach, software verification is performed through a syntax analyzer. Architecture transformation is achieved by applying predefined transformation rules.
| Original language | English |
|---|---|
| Pages (from-to) | 492-497 |
| Number of pages | 6 |
| Journal | Proceedings - IEEE Computer Society's International Computer Software and Applications Conference |
| Publication status | Published - 2003 |
| Externally published | Yes |
| Event | Proceedings: 27th Annual International Computer Software and Applications Conference, COMPSAC 2003 - Dallas, TX, United States Duration: 3 Nov 2003 → 6 Nov 2003 |