| On relational interfaces |
| Full text |
 Pdf
(546 KB)
|
Source
|
International Conference on Compilers, Architecture and Synthesis for Embedded Systems
archive
Proceedings of the seventh ACM international conference on Embedded software
table of contents
Grenoble, France
SESSION: Models and components
table of contents
Pages 67-76
Year of Publication: 2009
ISBN:978-1-60558-627-4
|
|
Authors
|
|
Stavros Tripakis
|
UC Berkeley, Berkeley, CA, USA
|
|
Ben Lickly
|
UC Berkeley, Berkeley, CA, USA
|
|
Thomas A. Henzinger
|
EPFL and IST Austria, Lausanne, Switzerland
|
|
Edward A. Lee
|
UC Berkeley, Berkeley, CA, USA
|
|
| Sponsors |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 10, Downloads (12 Months): 12, Citation Count: 0
|
|
|
 ABSTRACT
In this paper we extend the work of Alfaro, Henzinger et al. on interface theories for component-based design. Existing interface theories often fail to capture functional relations between the inputs and outputs of an interface. For example, a simple synchronous interface that takes as input a number n ≥ 0 and returns, at the same time, as output n + 1, cannot be expressed in existing theories. In this paper we provide a theory of relational interfaces, where such input-output relations can be captured. Our theory supports synchronous interfaces, both stateless and stateful. It includes explicit notions of environments and pluggability, and satisfies fundamental properties such as preservation of refinement by composition, and characterization of pluggability by refinement. We achieve these properties by making reasonable restrictions on feedback loops in interface compositions.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
R. Alur and T. Henzinger. Reactive modules. Formal Methods in System Design, 15:7--48, 1999.
|
| |
2
|
R. Alur, T. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In CONCUR'98, volume 1466 of LNCS. Springer, 1998.
|
| |
3
|
P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symp. POPL. ACM, 1987.
|
| |
4
|
A. Chakrabarti, L. de Alfaro, T. Henzinger, and F. Mang. Synchronous and bidirectional component interfaces. In CAV, LNCS 2404, pages 414--427. Springer, 2002.
|
| |
5
|
L. de Alfaro and T. Henzinger. Interface automata. In Foundations of Software Engineering (FSE). ACM Press, 2001.
|
| |
6
|
L. de Alfaro and T. Henzinger. Interface theories for component-based design. In EMSOFT'01. Springer, LNCS 2211, 2001.
|
| |
7
|
L. Doyen, T. Henzinger, B. Jobstmann, and T. Petrov. Interface theories with component reuse. In 8th ACM & IEEE International conference on Embedded software, EMSOFT, pages 79--88, 2008.
|
| |
8
|
E. Lee and A. Sangiovanni-Vincentelli. A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems, 17(12):1217--1229, Dec. 1998.
|
| |
9
|
R. Lublinerman and S. Tripakis. Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. In Design, Automation, and Test in Europe (DATE'08). ACM, Mar. 2008.
|
| |
10
|
G. Tourlakis. Mathematical Logic. Wiley, 2008.
|
| |
11
|
S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee. On Relational Interfaces. Technical Report UCB/EECS-2009-60, EECS Department, University of California, Berkeley, May 2009. http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-60.html.
|
| |
12
|
Y. Zhou and E. Lee. Causality interfaces for actor networks. ACM Trans. Embed. Comput. Syst., 7(3):1--35, 2008.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
D.2