A Graph Grammar Approach to Software Architecture Verification and Transformation

Authors:
Jun Kong;Kang Zhang;Jing Dong;Guanglei Song
Affiliations:
-;-;-;-
Venue:
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Year:
2003

Citing 0
Cited 4

Semantic model-driven architecting of service-based software systems

Information and Software Technology
Ontology transformation and reasoning for model-driven architecture

OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
A graph grammar-based formal validation of object-process diagrams

Software and Systems Modeling (SoSyM)
An approach to supporting architecture evolution in Internetware

Proceedings of the Fourth Asia-Pacific Symposium on Internetware

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software architecture and design are usually modeledand represented by informal diagrams, such asarchitecture diagrams and UML diagrams. While thesegraphic notations are easy to understand and areconvenient to use, they are not amendable to automatedverification and transformation. This paper provides graphgrammars for architecture and UML class diagrams.These grammars enable a high level of abstraction for thegeneral organization of a class of software architectures,and form a basis for various analysis and transformations.In this approach, software verification is performedthrough a syntax analyzer. Architecture transformation isachieved by applying predefined transformation rules.