lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Analysis of Architectural Patterns
Università dell’Aquila, Italy.ORCID iD: 0000-0001-6981-0966
Università dell’Aquila, Italy.
Università dell’Aquila, Italy.
2004 (English)In: Software Architecture: Proceedings First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 / [ed] Oquendo, Flavio; Warboys, BrianC.; Morrison, Ron, Springer, 2004, Vol. 3047, p. 10-24Chapter in book (Other academic)
Abstract [en]

Architectural patterns characterize and specify structural and behavioral properties of (sub)systems, thus allowing the provision of solutions for classes of problems.

In this paper we show the use of architectural patterns as an abstraction to carry on, and reuse, formal reasoning on systems whose configuration can dynamically change.

This kind of systems is hard to model and to reason about due to the fact that we cannot simply build a model with fixed topology (i.e. fixed number of components and connectors) and validate properties of interest on it.

The work presented in this paper proposes an approach that given an architectural pattern which expresses a class of systems configurations and a set of properties of interest (i) selects, if any, aminimal configuration for which the specified properties make sense, (ii) an abstraction of the chosen architectural model erformed, in order to reduce the complexity of the verification phase. In this stage, abstractions are driven by the properties of interest. The output of this abstraction step can be model-checked, tested and analyzed by using a standard model-checking framework. (iii) The verification results obtained in the previous step are lifted to generic configurations by performing manual reasoning driven by the constraints posed by the architectural pattern.

The approach will be applied by using an event-based architectural pattern to a publish/subscribe system, the Siena middleware, in order to validate its features and its mobility extension.

Place, publisher, year, edition, pages
Springer, 2004. Vol. 3047, p. 10-24
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 3047
National Category
Computer and Information Sciences Information Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-40941DOI: 10.1007/978-3-540-24769-2_2ISBN: 978-3-540-22000-8 (print)OAI: oai:DiVA.org:lnu-40941DiVA, id: diva2:795977
Available from: 2015-03-17 Created: 2015-03-17 Last updated: 2018-01-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Caporuscio, Mauro

Search in DiVA

By author/editor
Caporuscio, Mauro
Computer and Information SciencesInformation Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 54 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf