A behavioral type system and its application in Ptolemy II

Formal Aspects of Computing

Volumn 16, Issue 3, 2004, Pages 210-237

  Lee, Edward A ^a,c   Xiong, Yuhong ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b HEWLETT PACKARD LABORATORIES   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Alternating simulation; Behavioral subtyping; Behavioral types; Component based design; Interface automata; Polymorphism

Indexed keywords

AUTOMATA THEORY; BEHAVIORAL RESEARCH; COMPUTER SIMULATION; INTERFACES (COMPUTER); NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING;

ALTERNATING SIMULATION; BEHAVIORAL SUBTYPING; BEHAVIORAL TYPES; COMPONENT-BASED DESIGN; INTERFACE AUTOMATA; POLYMORPHISM;

COMPUTER SOFTWARE;

EID: 4944249278     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00165-004-0043-8     Document Type: Article

References (52)

1. [Agh86] Agha GA (1986) Actors: a model of concurrent computation in distributed systems, The MIT Press
2. [Aik94] Aiken A (1994) Set Constraints: results, applications and future directions. In: Proceedings of the second workshop on the principles and practice of constraint programming, Orcas Island, Washington
3. [AlG97] Allen R, Garlan D (1997) A formal basis for architectural connection, ACM Trans Software Eng. Methodology 6(3)
4. [BCD02] Bhattacharyya SS, Cheong E, Davis J II, Goel M, Hylands C, Kienhuis B, Lee EA. Liu J, Liu X, Muliadi L, Neuendorffer S, Reekie J, Smyth N. Tsay J, Vogel B, Williams W, Xiong Y, Zheng H (2002) Heterogeneous concurrent modeling and design in Java, technical memorandum UCB/ERL M02/23, EECS, University of California, Berkeley (http://ptolemy.eecs.berkeley.edu/publications/papers/02/pIIdesign/)
5. [BLO98] Borriello G, Lavagno L, Ortega RB (1998) Interface synthesis: a vertical slice from digital logic to software components. In: Proceedings of international conference on computer aided design (ICCAD), San Jose
6. [CAR97] Cardelli L (1997) Type Systems, The computer science and engineering handbook, CRC Press
7. [CaW85] Cardelli L, Wegner P (1985) On understanding types, data abstraction, and polymorphism, ACM computing surveys 17(4)
8. [COB92] Chou P, Ortega R B, Borriello G (1992) Synthesis of the hardware/software interface in microcontroller-based systems, Proceedings of ICCAD, pp 488-195
9. [COB95] Chou P, Ortega RB, Borriello G (1995) Interface co-synthesis techniques for embedded systems, In: Proceedings of the international conference on computer aided design
10. [CPS97] Colaco, J-L, Pantel M, Salle P (1997) A set-constraint-based analysis of actors, In: International workshop on formal methods for open object-based distributed systems, Canterbur, UK
11. [DaP90] Davey BA, Priestly HA (1990) Introduction to lattices and order, Cambridge University Press
12. [deH01] de Alfaro L, Henzinger TA (2001) Interface Automata, In: Proceedings of the joint 8th European software engineering conference and 9th ACM SIGSOFT international symposium on the foundations of software engineering (ESEC/FSE 01), Austria
13. [deH01a] de Alfaro L, Henzinger TA (2001) Interface theories for component-based design, In: Proceedings of the first international workshop on embedded software (EMSOFT), Lecture notes in computer science, vol 2211. Springer, Berlin Heidelberg New York, pp 148-165
14. [EiP00] Eisenring M, Platzner M (2000) Synthesis of interfaces and communication in reconfigurable embedded systems, IEE Proc Comput Digit Tech 147(3)
15. [ETT98] Eisenring M, Teich J, Thiele L (1998) Rapid prototyping of dataflow programs on hardware/software architectures, In: Proceedings 31st annual hawaii international conference on system sciences
16. [FlF00] Flanagan C, Freund SN (2000) Typed-Based Race Detection for Java, In: ACM SIGPLAN conference on programming language design and implementation, PLDI 2000, Vancouver
17. [GoS02] Goessler G, Sangiovanni-Vincentelli A (2002) Compositional Modeling in Metropolis, In: Proceedings of EMSOFT, Grenoble, France, LNCS. Springer, Berlin Heidelberg New York
18. [Hoa78] Hoare CAR (1978) Communicating sequential processes, Commun ACM 28(8)
19. [IgK01] Igarashi A, Kobayashi N (2001) A generic type system for the pi-calculus, In: 28th annual ACM SIGPLAN - SIGACT symposium on principles of programming languages (POPL 2001)
20. [IWY00] Inverardi P, Wolf AL, Yankelevich D (2000) Static checking of system behaviors using derived component assumptions, ACM Trans Software Eng. Methodol 9(3)
21. [Kah74] Kahn G (1974) The semantics of a simple language for parallel programming, In: Proceedings of the IFIP congress 74, North-Holland Publishing Co.
22. [KaM77] Kahn G, MacQueen DB (1977) Coroutines and networks of parallel processes, In: Gilchrist B (ed) Information processing, vol 77, North-Holland Publishing Co.
23. [KPT96] Kobayashi N, Pierce BC, Turner DN (1996) Linearity and the Pi-Calculus, ACM symposium on principles of programming languages
24. [KSS00] Kobayashi N, Saito S, Sumii E (1877) An Implicitly-typed deadlock-free process calculus, In: 11th international conference on concurrency theory, CONCUR 2000, Pennsylvania, LNCS 1877
25. [LeD00] Leavens GT, Dhara KK (2000) Concepts of behavioral subtyping and a sketch of their extension to component-based systems, In: Foundations of component-based systems, Cambridge University Press, pp 113-135
26. [LBR98] Leavens GT, Baker AL, Ruby C (1998) Preliminary design of JML: a behavioral interface specification language for java, Dept. of Computer Science, Technical Report no. 98-06, Iowa State University, Ames, Iowa 50011
27. [Lee02] Lee EA (2002) Embedded Software, Advances in computers Zelkowitz M (ed) vol 56. Academic Press, London
28. [LeM87] Lee EA, Messerschmitt DG (1987) Synchronous Data Flow, Proceedings of the IEEE, 75(9)
29. [LeV01] Lee EA, Varaiya P (2003) Structure and interpretation of signals and systems, Addison-Wesley
30. [LeX01] Lee EA, Xiong Y (2001) System-level types for component-based design, First workshop on embedded software, EMSOFT2001, Lake Tahoe, CA, USA
31. [LNS00] Rustan K, Leino M, Nelson G, Saxe JB (2000) ESC/Java User's Manual, Technical Note 2000-002, Compaq Systems Research Center
32. [LiW94] Liskov BH, Wing JM (1994) A behavioral notion of subtyping, ACM Trans Programming Lang Syst 16(6)
33. [LyT81] Lynch N, Tuttle M (1981) Hierarchical correctness proofs for distributed algorithms, In: Proceedings 6th ACM symposium principles of distributed computing, pp 137-151
34. [Mil91] Milner R (1991) The Polyadic π-calculus: a Tutorial, Technical Report ECS-LFCS-91-180, Department of computer science, University of Edinburgh, UK, Reprinted in Bauer FL, Brauer W, Schwichtenberg H (ed) Logic and algebra of specification, Springer, Berlin Heidelberg New York, 1993
35. [MPW92] Milner R, Parrow J, Walker D (1992) A calculus of mobile processes (Part I and part II), Inf Comput 100:1-77
36. [Mit84] Mitchell JC (1984) Coercion and type inference, In: 11th annual ACM symposium on principles of programming languages, pp 175-185
37. [NaN99] Najm E, Nimour A (1999) Explicit behavioral typing for object interface, In: Semantics of objects as processes, ECOOP'99 Workshop, Lisbon, Portugal
38. [NNS99] Najm E, Nimour A, Stefani J-B (1999) Infinite types for distributed object interfaces, In: Third IFIP conference on formal methods for open object-based distributed systems (FMOODS'99), Firenze, Italy
39. [Nie96] Nielson F (1996) Annotated type and effect systems, ACM Comput Surveys 28(2)
40. [NiN94] Nielson HR, Nielson F (1994) Higher-order concurrent programs with finite communication topology, ACM Symposium on principles of programming languages
41. [Ode96] Odersky M (1996) Challenges in type system research, ACM Comput Surveys 28(4)
42. [OrB97] Ortega RB, Borriello G (1997) Communication synthesis for embedded systems with global considerations, In: Proceedings of the 5th international workshop on hardware/software co-design (Codes/CASHE'97)
43. [PRS98] Passerone R, Rowson JA, Sangiovanni-Vincentelli A (1998) Automatic synthesis of interfaces between incompatible protocols, 35th design automation conference
44. [PiS93] Pierce B, Sangiorgi D (1993) Typing and subtyping for mobile processes, In: Logic comput sci
45. [Pun96] Puntigam F (1996) Types for active objects based on trace semantics, In: Proceedings of the workshop on formal methods for open object-oriented distributed systems (FMOODS'96), France
46. [PuP99] Puntigam F, Peter C (1999) Changeable interfaces and promised messages for concurrent components, Proceedings of the ACM symposium on applied computing (SAC'99), San Antonio, Texas
47. [RaR02] Rajamani SK, Rehof J (2002) Conformance checking for models of asynchronous message passing software, Conference on computer aided verification, CAV2002, Copenhagen, LNCS 2404
48. [RaV97] Ravara A, Vasconcelos VT (1997) Behavioural types for a calculus of concurrent objects, In: 3rd international euro-par conference, LNCS 1300, pp 554-561
49. [STS01] Shankar U, Talwar K, Foster JS, Wagner D (2001) Detecting format-string vulnerabilities with type qualifiers, 10th USENIX security symposium
50. [XiP98] Xi H, Pfenning F (1998) Eliminating array bound checking through dependent types, In: Proceedings of ACM SIGPLAN Conference on programming language design and implementation (PLDI '98), Montreal pp 249-257
51. [Xio02] Xiong Y (2002) An extensible type system for component-based design, PhD Thesis, Technical memorandum, UCB/ERL M02/13, University of California, Berkeley
52. [XiL00] Xiong Y, Lee EA (2000) An extensible type system for component-based design, In: 6th international conference on tools and algorithms for the construction and analysis of systems, LNCS 1785, Berlin