Independent implementability of viewpoints Conference Paper


Author(s): Henzinger, Thomas A; Ničković, Dejan
Title: Independent implementability of viewpoints
Title Series: LNCS
Affiliation IST Austria
Abstract: Interface theories provide a formal framework for component-based development of software and hardware which supports the incremental design of systems and the independent implementability of components. These capabilities are ensured through mathematical properties of the parallel composition operator and the refinement relation for components. More recently, a conjunction operation was added to interface theories in order to provide support for handling multiple viewpoints, requirements engineering, and component reuse. Unfortunately, the conjunction operator does not allow independent implementability in general. In this paper, we study conditions that need to be imposed on interface models in order to enforce independent implementability with respect to conjunction. We focus on multiple viewpoint specifications and propose a new compatibility criterion between two interfaces, which we call orthogonality. We show that orthogonal interfaces can be refined separately, while preserving both orthogonality and composability with other interfaces. We illustrate the independent implementability of different viewpoints with a FIFO buffer example.
Conference Title: 17th Monterey Workshop 2012
Volume: 7539
Conference Dates: March 19-21, 2012
Conference Location: Oxford, UK
ISBN: 978-3-642-34058-1
Publisher: Springer  
Location: Berlin, Heidelberg
Date Published: 2012-09-16
Start Page: 380
End Page: 395
Sponsor: ERC Advanced Grant QUAREM (Quantitative Reactive Modeling), FWF National Research Network RISE (Rigorous Systems Engineering)
DOI: 10.1007/978-3-642-34059-8_20
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work