Paving the road for formally defined architecture description in software development

Autoren Georg Buchgeher
Rainer Weinreich
Titel Paving the road for formally defined architecture description in software development
Buchtitel Proceedings of the 25th Symposium on Applied Computing (SAC 2010)
Typ in Konferenzband
Verlag ACM
Abteilung ISE
ISBN 978-1-60558-638-0
Monat March
Jahr 2010
Seiten 2337-2343
SCCH ID# 942
Abstract

Informal and formal approaches to documenting software architecture design offer disjoint advantages and disadvantages. Informal approaches are often used in practice since they are easily accessible and support creativity and flexibility during design. But they are hard to maintain and validate. This is the strength of formally defined approaches, which can be automatically processed, maintained and validated, but are expensive to use. Combining the advantages of both approaches promises to increase the reach of formal approaches and to make the aforementioned advantages more accessible. We present an approach that offers a seamless transition from relaxed and informal architecture descriptions to a detailed and formally defined architecture definition.