Sociable Interfaces

Abstract

Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down design refinement. In this paper, we propose sociable interface formalisms, endowed with a rich compositional semantics that facilitates their use in design and modeling. Specifically, we introduce interface models that can communicate via both actions and shared variables, and where communication and synchronization covers the full spectrum, from one-toone, to one-to-many, many-to-one, and many-to-many. Thanks to the expressive power of interface formalisms, this rich compositional semantics can be realized in an economical way, on the basis of a few basic principles. We show how the algorithms for composing, checking the compatibility, and refining the resulting sociable interfaces can be implemented symbolically, leading to efficient implementations.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2005
Accession Number
ADA457093

Entities

People

  • Axel Legay
  • Leandro D. Da Silva
  • Luca De Alfaro
  • Marco Faella
  • Maria Sorea
  • Pritam Roy

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Alphabets
  • Automata
  • Coding
  • Communication Channels
  • Computer Science
  • Detection
  • Detectors
  • Electrical Engineering
  • Engineering
  • Environment
  • Fire Detectors
  • Language
  • Notation
  • Simulations
  • Transitions

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Distributed Systems and Data Platform Development
  • Software Engineering.