The algebra of connectors: Structuring interaction in BIP

EMSOFT'07: Proceedings of the Seventh ACM and IEEE International Conference on Embedded Software

Volumn , Issue , 2007, Pages 11-20

  Bliudze, Simon ^a   Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

Design; Theory

Indexed keywords

LINEAR ALGEBRA; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SEMANTICS; SYNCHRONIZATION;

BINARY FUSION OPERATORS; SYMBOLIC TECHNIQUES;

ELECTRIC CONNECTORS;

EID: 38549107072     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1289927.1289935     Document Type: Conference Paper

References (21)

1. F. Arbab. Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program., 55(1-3):3-52, 2005.
2. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli. Metropolis: An integrated electronic system design environment. IEEE Computer, 36(4):45-52, 2003.
3. K. Balasubramanian, A. Gokhale, G. Karsai, J. Sztipanovits, and S. Neema. Developing applications using model-driven design environments. IEEE Computer, 39(2):33-40, 2006.
4. th IEEE International Conference on Software Engineering and Formal Methods (SEFM06), pages 3-12, Sept. 2006. Invited talk.
5. A. Basu, L. Mounier, M. Poulhiès, J. Pulou, and J. Sifakis. Using BIP for modeling and verification of networked systems - A case study on TinyOS-based networks. Technical Report TR-2007-5, VERIMAG, 2007. http://www-verimag.imag.fr/index.php? page=techrep-list.
6. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages twelve years later. Proc. of the IEEE, Special Issue on Embedded Systems, 91(1):64-83, 2003.
7. M. Bernardo, P. Ciancarini, and L. Donatiello. On the formalization of architectural types with process algebras. In SIGSOFT FSE, pages 140-148, 2000.
8. BIP. http://www-verimag.imag.fr/~async/index.php?view=components.
9. S. Bliudze and J. Sifakis. The algebra of connectors - structuring interaction in BIP. Technical Report TR-2007-3, VERIMAG, 2007. http://www-verimag.imag.fr/index.php? page=techrep-list.
10. R. Bruni, J. L. Fiadeiro, I. Lanese, A. Lopes, and U. Montanari. New insights on architectural connectors. In J.-J. Lévy, E. W. Mayr, and J. C. Mitchell, editors, IFIP TCS, pages 367-380. Kluwer, 2004.
11. Cω. http://research.microsoft.com/comega/.
12. J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity: The Ptolemy approach. Proceedings of the IEEE, 91(1): 127-144, 2003.
13. J. L. Fiadeiro. Categories for Software Engineering. Springer-Verlag, Apr. 2004.
14. G. Gößler and J. Sifakis. Component-based construction of deadlock-free systems: Extended abstract. In P. K. Pandya and J. Radhakrishnan, editors, FSTTCS, volume 2914 of Lecture Notes in Computer Science, pages 420-433, Mumbai, India, Dec. 2003. Springer.
15. G. Gößler and J. Sifakis. Composition for component-based modeling. Science of Computer Programming, 55(1-3): 161-183, 2005.
16. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, Apr. 1985.
17. F. Maraninchi and Y. Rémond. Argos: an automaton-based synchronous language. Computer Languages, 27:61-92, 2001.
18. R. Milner. Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall, 1989.
19. nesC: A programming language for deeply networked systems. http://nescc.sourceforge.net/.
20. rd IEEE International Conference on Software Engineering and Formal Methods (SEFM05), pages 293-300, Sept. 2005. Keynote talk.
21. B. Spitznagel and D. Garlan. A compositional formalization of connector wrappers. In ICSE, pages 374-384. IEEE Computer Society, 2003.