skip to main content
article

Theory of infinite streams and objects

Published: 05 September 2005 Publication History

Abstract

This paper provides a theory of infinite streams and objects, which contains our point of view on the problem of formal modelling of behaviors of objects and their systems with big or infinite number of internal states.

References

[1]
L. de Alfaro and T. Henzinger, Interface Theories for Component-based Design, in Proceedings of Workshop on Embedded Software EMSOFT, 2001.
[2]
F. Arbab, C. Baier, J. Rutten and M. Sirjani, Modeling Component Connectors in Reo by Constraint Automata, in Proceedings of Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA), 2003.
[3]
F. Arbab and J. Rutten, A Coinductive Calculus of Component Connectors, in Proceedings of WADT 2002, Lecture Notes in Computer Science, vol. 2755, Springer-Verlag, 2003, pp. 35--56.
[4]
M. Broy, K. Stolen, Specification and development of interactive systems, Monographs in Computer Science, vol. 62, Springer, 2001.
[5]
B. Jacobs and J. Rutten, A Tutorial on (Co)Algebras and (Co)Induction, EATCS Bulletin 62, p.222--259, 1997.
[6]
A. Lee, Overview of the Ptolemy Project, Technical Memorandum UCB/ERL-M01/11, University of California, Berkeley, 2001.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 31, Issue 2
March 2006
193 pages
ISSN:0163-5948
DOI:10.1145/1118537
Issue’s Table of Contents
  • cover image ACM Conferences
    SAVCBS '05: Proceedings of the 2005 conference on Specification and verification of component-based systems
    September 2005
    95 pages
    ISBN:1595933719
    DOI:10.1145/1123058

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 September 2005
Published in SIGSOFT Volume 31, Issue 2

Check for updates

Author Tags

  1. set of admissible infinite behaviors
  2. stateless representation
  3. systems of objects
  4. theory of objects and streams

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 157
    Total Downloads
  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 18 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media