On components with explicit protocols satisfying a notion of correctness by construction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2519 LNCS, Issue , 2002, Pages 995-1012

  Farías, Andres ^a   Südholt, Mario ^a  

^a ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; INFORMATION USE; SEMANTICS;

BEHAVIORAL PROPERTIES; COMPONENT-BASED PROGRAMMING; CORRECTNESS BY CONSTRUCTION; CORRECTNESS PROPERTIES; ENTERPRISE JAVABEANS; LARGE-SCALE APPLICATIONS; PROTOCOL COMPOSITION; STATE INFORMATION;

MULTI AGENT SYSTEMS;

EID: 23044534343     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36124-3_64     Document Type: Conference Paper

References (15)

1. DeMichiel, L., Yalçinalp, L., Krishnan, S.: Enterprise JavaBeans™ Specification. SUN Microsystems. (2001) Version 2.0, Final Release.
2. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. 1 edn. Addison-Wesley, Reading, Massachusetts, USA (1999)
3. Harel, D.: Statecharts: A visual formalism for complex system. Science of Computer Programming 8 (1987) 231-274
4. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions of Programming Languages and Systems 19 (1997) 292 - 333
5. Wydaeghe, B.: PACOSUITE, Component Composition Based on Composition Patterns and Usage Scenarios. PhD thesis, Vrije Universiteit Brussels (2001)
6. Plasil, F., Visnovsky, S.: Behavior protocols for software components. In: Transactions on Software Engineering, IEEE (2002)
7. Nierstrasz, O.: Regular types for active objects. In Nierstrasz, O., Tsichritzis, D., eds.: Object-Oriented Software Composition. Prentice Hall (1995) 99-121
8. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Second edn. Addison Wesley (2001)
9. Farias, A., Südolt, M.: A component model with explicit protocols. Technical Report 02/4/INFO, Ecole des Mines de Nantes (2002)
10. Hamilton, G.: Java beans API specification. Technical report, Sun Microsystems (1997)
11. Eugster, P., Guerraoui, R., Damm, C.: On objects and events. In: Proceedings OOPSLA. (2001)
12. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM 31 (1984) 560-599
13. Van Den Bos, J., Laffra, C.: PROCOL: a parallel object language with protocols. ACM SIGPLAN Notices 24 (1989) 95-102
14. Rudolph, E., Graubmann, P., Grabowski, J.: Tutorial on Message Sequence Charts. Computer Networks and ISDN Systems 28 (1996) 1629-1641
15. Allen, R.J.: A Formal Approach to Software Architecture. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh (1997)