Causal semantics for the algebra of connectors

Formal Methods in System Design

Volumn 36, Issue 2, 2010, Pages 167-194

  Bliudze, Simon ^b   Sifakis, Joseph ^a  

^a VERIMAG   (France)

^b NONE

Author keywords

BIP; Causal interaction trees; Causal semantics; Component; Connector synthesis; Connectors; Interaction

Indexed keywords

BIP; CAUSAL INTERACTION TREES; CAUSAL SEMANTICS; COMPONENT; CONNECTOR SYNTHESIS; CONNECTORS; INTERACTION;

ALGEBRA; COMPLEXATION; SOFTWARE ENGINEERING;

SEMANTICS;

EID: 77955710879     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10703-010-0091-z     Document Type: Article

References (28)

1. Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comput Sci 14(3):329-366
2. Arbab F, Meng S (2008) Synthesis of connectors from scenario-based interaction specifications. In: CBSE'08. LNCS, vol 5282. Springer, Berlin, pp 114-129
3. Balarin F,Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A (2003) Metropolis: an integrated electronic system design environment. IEEE Comput 36(4):45-52
4. Balasubramanian K, Gokhale A, Karsai G, Sztipanovits J, Neema S (2006) Developing applications using model-driven design environments. IEEE Comput 39(2):33-40
5. Basu A, Bozga M, Sifakis J (2006) Modeling heterogeneous real-time components in BIP. In: 4th IEEE international conference on software engineering and formal methods (SEFM06), September 2006, pp 3-12. Invited talk
6. Benveniste A, Guernic PL, Jacquemot C (1991) Synchronous programming with events and relations: the SIGNAL language and its semantics. Sci Comput Program 16(2):103-149
7. Bernardo M, Ciancarini P, Donatiello L (2000) On the formalization of architectural types with process algebras. In: SIGSOFT FSE, pp 140-148
8. BIP. http://www-verimag.imag.fr/~async/BIP/bip.html
9. Bliudze S, Sifakis J (2007) The algebra of connectors-structuring interaction in BIP. In: Proceedings of the EMSOFT'07, pp 11-20. ACM SigBED, October 2007
10. Bliudze S, Sifakis J (2008) The algebra of connectors-structuring interaction in BIP. IEEE Trans Comput 57(10):1315-1330
11. Bliudze S, Sifakis J (2008) A notion of glue expressiveness for component-based systems. In: van Breugel F, Chechik M (eds) CONCUR 2008. LNCS, vol 5201. Springer, Berlin, pp 508-522
12. Bruni R, Lanese I, Montanari U (2006) A basic algebra of stateless connectors. Theor Comput Sci 366(1):98-120
13. Darondeau P, Degano P (1989) Causal trees. In: Ausiello G, Dezani-Ciancaglini M, Rocca SRD (eds) ICALP. LNCS, vol 372. Springer, Berlin, pp 234-248
14. Eker J, Janneck J, Lee E, Liu J, Liu X, Ludvig J, Neuendorffer S, Sachs S, Xiong Y (2003) Taming heterogeneity: the Ptolemy approach. Proc IEEE 91(1):127-144
15. Fiadeiro JL (2004) Categories for software engineering. Springer, Berlin
16. Galik O, Bureš T (2005) Generating connectors for heterogeneous deployment. In: SEM'05. ACM, New York, pp 54-61
17. Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The synchronous dataflow programming language LUSTRE. Proc IEEE 79:1305-1320
18. Hoare CAR (1985) Communicating sequential processes. Prentice Hall international series in computer science. Prentice Hall, New York
19. Inverardi P, TivoliM(2001) Automatic synthesis of deadlock free connectors for com/dcom applications. In: ACM proceedings of the joint 8th ESEC and 9th FSE, Vienna, September 2001. ACM, New York
20. Maggiolo-Schettini A, Peron A, Tini S (2003) A comparison of Statecharts step semantics. Theor Comput Sci 290(1):465-498
21. Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems: specification, vol 1. Springer, New York
22. Maraninchi F, Rémond Y (2001) Argos: an automaton-based synchronous language. Comput Lang 27:61-92
23. Milner R (1989) Communication and concurrency. Prentice Hall international series in computer science. Prentice Hall, New York
24. Nowak D (2006) Synchronous structures. Inf Comput 204(8):1295-1324
25. Ray A, Cleaveland R (2003) Architectural interaction diagrams: AIDs for system modeling. In: ICSE'03: proceedings of the 25th international conference on software engineering. IEEE Computer Society, Washington, pp 396-406
26. Sifakis J (2005) A framework for component-based construction. In: 3rd IEEE international conference on software engineering and formal methods (SEFM05), September 2005, pp 293-300. Keynote talk
27. Spitznagel B, Garlan D (2003) A compositional formalization of connector wrappers. In: ICSE. IEEE Computer Society, Los Alamitos, pp 374-384
28. Stefanescu G (2000) Network algebra. Springer, New York