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
Compositional Verification of Middleware-Based Software Architecture Descriptions
Università dellýAquila, Italy.ORCID iD: 0000-0001-6981-0966
Università dellýAquila, Italy.
Università dellýAquila, Italy.
2004 (English)In: Proceedings of the 26th International Conference on Software Engineering (ICSE '04), IEEE Press, 2004, 221-230 p.Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we present a compositional reasoning to verify middleware-based software architecturedescriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techniques, like model checking, in the software life cycle in order to improve the overall software quality. The approach exploits the structure imposed on the system by the software architecture in order to develop an assume-guarantee methodology to reduce properties verification from global to local. We apply the methodology on a non-trivial case study namely the development of a Gnutella system on top of the SIENA event-notification middleware.

Place, publisher, year, edition, pages
IEEE Press, 2004. 221-230 p.
National Category
Computer and Information Science Software Engineering
Identifiers
URN: urn:nbn:se:lnu:diva-40942DOI: 10.1109/ICSE.2004.1317444OAI: oai:DiVA.org:lnu-40942DiVA: diva2:795979
Conference
The 26th International Conference on Software Engineering, 23-28 May, 2004
Available from: 2015-03-17 Created: 2015-03-17 Last updated: 2015-03-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://dl.acm.org/citation.cfm?id=998675.999427

Search in DiVA

By author/editor
Caporuscio, Mauro
Computer and Information ScienceSoftware Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 35 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