Advertisement

From Hierarchical BIP to Petri Calculus

  • Roberto Bruni
  • Hernán Melgratti
  • Ugo Montanari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8415)

Abstract

We focus on Hierarchical BIP, an extension of Joseph Sifakis et al’s BIP component framework, to provide a semantics-preserving, compositional encoding in the Petri calculus, a recently proposed algebra of stateless connectors and one-position buffers.

Keywords

Inference Rule Relational Form Operational Semantic Concurrent Execution Component Framework 
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.
    Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U.: Tiles for Reo. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 37–55. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3–12. IEEE Computer Society (2006)Google Scholar
  3. 3.
    Bliudze, S., Sifakis, J.: The algebra of connectors - structuring interaction in BIP. IEEE Trans. Computers 57(10), 1315–1330 (2008)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Bliudze, S., Sifakis, J.: Causal semantics for the algebra of connectors. Formal Methods in System Design 36(2), 167–194 (2010)CrossRefGoogle Scholar
  5. 5.
    Bruni, R., Lanese, I., Montanari, U.: A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2), 98–120 (2006)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Bruni, R., Melgratti, H., Montanari, U.: A connector algebra for P/T nets interactions. In: Katoen, J.-P., König, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 312–326. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  7. 7.
    Bruni, R., Melgratti, H., Montanari, U.: Connector algebras, Petri nets, and BIP. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol. 7162, pp. 19–38. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  8. 8.
    Bruni, R., Melgratti, H., Montanari, U.: A survey on basic connectors and buffers. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 49–68. Springer, Heidelberg (2012)Google Scholar
  9. 9.
    Bruni, R., Melgratti, H.C., Montanari, U., Sobocinski, P.: Connector algebras for C/E and P/T nets’ interactions. Logical Methods in Computer Science 9(3) (2013)Google Scholar
  10. 10.
    Graf, S., Quinton, S.: Contracts for BIP: Hierarchical interaction models for compositional verification. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 1–18. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Sobociński, P.: Representations of Petri net interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 554–568. Springer, Heidelberg (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Roberto Bruni
    • 1
  • Hernán Melgratti
    • 2
  • Ugo Montanari
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaItaly
  2. 2.Departamento de Computación, FCEyNUniversidad de Buenos Aires - CONICETArgentina

Personalised recommendations