Advertisement

Distributed Semantics and Implementation for Systems with Interaction and Priority

  • Ananda Basu
  • Philippe Bidinger
  • Marius Bozga
  • Joseph Sifakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5048)

Abstract

The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems.

BIP offers two powerful mechanisms for describing composition of components by combining interactions and priorities. A system model is layered. The lowest layer contains atomic components; the second layer, describes possible interactions between atomic components; the third layer includes priorities between the interactions. The current implementation of BIP is based on global state operational semantics. An Engine directly interprets the operational semantics rules and computes the possible interactions between atomic components from global states.

The implementation method is a translation from BIP models into distributed models involving two steps. The first translates BIP models into partial state models where are known only the states of the components which are ready to communicate. The second implements interactions in the partial state model by using message passing primitives.

The main results of the paper are conditions for which the three models are observationally equivalent. We show that in general, the translation from global state to partial state models does not preserve observational equivalence. Preservation can be achieved by strengthening the premises of the operational semantics rules by an oracle. This is a predicate depending on the priorities of the BIP model. We show that there are many possible choices for oracles. Maximal parallelism is achieved for dynamic oracles allowing interaction as soon as possible. Nonetheless, these oracles may entail considerable computational overhead. We study performance trade-offs for different types of oracles. Finally, we provide experimental results illustrating the application of the theory on a prototype implementation.

Keywords

Partial State Global State Label Transition System Composite Component State Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed semantics and implementation for systems with interaction and priority. Technical report, Verimag, Centre Équation, 38610 Gières (March 2008)Google Scholar
  2. 2.
    Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3–12 (2006)Google Scholar
  3. 3.
    Bliudze, S., Sifakis, J.: The algebra of connectors – structuring interaction in BIP. In: EmSoft, pp. 11–20 (2007)Google Scholar
  4. 4.
    Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)CrossRefGoogle Scholar
  5. 5.
    Garland, S.J., Lynch, N.A.: The ioa language and toolset: Support for designing, analyzing, and building distributed systems. Technical Report MIT/LCS/TR-762, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA (August 1998)Google Scholar
  6. 6.
    Gößler, G., Sifakis, J.: Priority systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 314–329. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. 7.
    ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union – Standardization Sector, Genève (November 1999)Google Scholar
  8. 8.
    Milner, R.: Communication and concurrency. Prentice Hall International (UK) Ltd., Hertfordshire (1995)zbMATHGoogle Scholar
  9. 9.
    Quinn, M.J.: Designing efficient algorithms for parallel computers. McGraw-Hill, Inc., New York (1986)zbMATHGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2008

Authors and Affiliations

  • Ananda Basu
    • 1
  • Philippe Bidinger
    • 1
  • Marius Bozga
    • 1
  • Joseph Sifakis
    • 1
  1. 1.Université Grenoble 1 - CNRS - VERIMAGGièresFrance

Personalised recommendations