Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #254   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Augmenting Architectural Modeling to Cope with Uncertainty

Orieta Celiku, David Garlan and Bradley Schmerl.


In Proceedings of the International Workshop on Living with Uncertainties (IWLU'07), co-located with the 22nd International Conference on Automated Software Engineering (ASE'07), Atlanta, GA, USA, 5 November 2007. <a href=http://godzilla.cs.toronto.edu/IWLU/program.html>http://godzilla.cs.toronto.edu/IWLU/program.html</a>.

Online links: PDF   Bibtex entry   Plain Text

Abstract
Notations and techniques for architectural modeling and analysis have matured considerably over the past two decades. However, to date these approaches have primarily focused on architectural properties and behavior that can be precisely defined. In this paper we argue that it is possible to augment existing architecture description languages (ADLs) to support reasoning and analysis in the presence of uncertainty. Specifically, we outline two basic extensions to formal architecture descriptions that take advantage of probabilistic specifications to support architecture-based analyses such as simulation, detection of behavioral drift, and reasoning about the expected outcomes of uncertain behavior. An important property of these specifications is that they allow incremental refinement � as more is known about the behavior of the system, specifications can be extended without invalidating previous analyses.

Keywords: Acme, AcmeStudio, Architectural Analysis, Software Architecture.  
    Created: 2007-09-11 10:25:07     Modified: 2016-10-18 16:27:54
Feedback: ABLE Webmaster
Last modified: Tue June 20 2017 16:43:41
        BibAdmin