Paper Info
Title
Applying formal description techniques to software architectural design
Abstract
Mature engineering disciplines have systematic quantified architectural design. Engineering advancement of the software engineering discipline will eventually require systematic and quantified software architectural design. Formal description techniques such as the specification and description language can help to achieve this goal. This paper presents a method to construct formal models of software architectures and to simulate them to predict the behavior, reliability, and performance of the software system. We use the quantified simulation results to evaluate alternative software architectural designs. Our experiments show that our approach identifies better designs.
Year
DOI
Venue
2000
10.1016/S0140-3664(99)00244-3
Computer Communications
Keywords
Field
DocType
Software architecture,Formal description technique,Workflow,Communicating extended finite state machine,Specification and description language
Computer architecture,Software design,Software design description,Software engineering,Computer science,Real-time computing,Component-based software engineering,Formal methods,Software construction,Architectural pattern,Software measurement,Social software engineering
Journal
Volume
Issue
ISSN
23
12
Computer Communications
Citations 
PageRank 
References 
6
0.59
9
Authors
2
Name
Order
Citations
PageRank
J.J Li160.59
Joseph Robert Horgan21232132.79