From informal requirements to coop: A concurrent automata approach

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

Volumn 1709, Issue , 1999, Pages 939-962

  Poizat, Pascal ^a   Choppy, Christine ^b   Royer, Jean Claude ^a  

^a ECOLE CENTRALE DE NANTES   (France)

^b UNIVERSITÉ PARIS 13   (France)

Author keywords

Automata; Concurrent systems; Object oriented (Java) code generation; Specification method

Indexed keywords

AUTOMATA THEORY; FORMAL SPECIFICATION; JAVA PROGRAMMING LANGUAGE;

ALGEBRAIC DATA-TYPES; ALGEBRAIC SPECIFICATIONS; AUTOMATA; CODE GENERATION; CONCURRENT AUTOMATA; CONCURRENT SYSTEMS; INFORMAL REQUIREMENTS; OBJECT-ORIENTED CODE;

ALGEBRA;

EID: 84949500039     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_1     Document Type: Conference Paper

References (33)

1. Luis A. Alvarez, Juan M. Murillo, Fernando Sanchez, and Juan Hernandez. Ac-tiveJava, un modelo de programación concurrente orientado a objeto. In III Jornadas de Ingenería del Software, Murcia, Spain, 1998.
2. Pascal Andre. Methodes formelles et a objets pour le developpement du logiciel: Etudes et propositions. PhD Thesis, Universite de Rennes I (Institut de Recherche en Informatique de Nantes), Juillet 1995.
3. Pascal Andre and Jean-Claude Royer. How To Easily Extract an Abstract Data Type From a Dynamic Description. Research Report 159, Institut de Recherche en Informatique de Nantes, September 1997.
4. Pascal Andre, Dan Chiorean, and Jean-Claude Royer. The formal class model. In Joint Modular Languages Conference, pages 59-78, Ulm, Germany, 1994. GI, SIG and BCS.
5. M. Bidoit, C. Choppy, and F. Voisin. Validation d'une specification algebrique du "Transit-node" par prototypage et demonstration de theorèmes. Chapitre du Rapport final de l'Operation VTT, Validation et verification de proprietes Temporelles et de Types de donnees (commune aux PRC PAOIA et C3), LaBRI, Bordeaux, 1994.
6. Michel Bidoit. Types abstraits algebriques: specifications structures et presentations gracieuses. In Colloque AFCET, Les mathematiques de l'informatique, pages 347-357, Mars 1982.
7. Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-29, January 1988.
8. D. Caromel and J. Vayssiere. A Java Framework for Seamless Sequential, Multithreaded, and Distributed Programming. In ACM Workshop "Java for High-Performance Network Computing", pages 141-150, Stanford University, Palo Alto, California, 1998.
9. Eva Coscia and Gianna Reggio. JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. In Jean-Pierre Finance, editor, Fundamental Approaches to Software Engineering (FASE'99), volume 1577 of Lecture Notes in Computer Science, pages 77-97. Springer-Verlag, 1999.
10. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite Systems, volume B of Handbook of Theoretical Computer Science, chapter 6, pages 243-320. Elsevier, 1990. Jan Van Leeuwen, Editor.
11. Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL: Formal Object-oriented Language for Communicating Systems. Prentice-Hall, 1997.
12. M. Navarro F. Orejas and A. Sanchez. Implementation and behavioural equivalence: a survey. In M. Bidoit and C. Choppy (Eds.), editors, Recent Trends in data Type Specification, volume 655 of Lecture Notes in Computer Science, pages 93-125. Springer-Verlag, August 1993.
13. Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu. CADP: A Protocol Validation and Verification Toolbox. In 8th Conference on Computer-Aided Verification, pages 437-440, New Brunswick, New Jersey, USA, 1996.
14. S. Garland and J. Guttag. An overview of LP, the Larch Prover. In Proc.ofthe Third International Conference on Rewriting Techniques and Applications, volume 355 of Lecture Notes in Computer Science, pages 137-151. Springer-Verlag, 1989.
15. Gosling, Joy, and Steele. The Java Language Specification. Addison Wesley, 1996.
16. Wolfgang Grieskamp, Maritta Heisel, and Heiko Dorr. Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In Egidio Astesiano, editor, FASE'98, volume 1382 of Lecture Notes in Computer Science, pages 88-106. Springer-Verlag, 1998.
17. Maritta Heisel. Agendas - A Concept to Guide Software Development Activities. In R. N. Horspool, editor, Proceedings Systems Implementation 2000, pages 19-32. Chapman & Hall, 1998.
18. Maritta Heisel and Nicole Levy. Using LOTOS Patterns to Characterize Architectural Styles. In Michel Bidoit and Max Dauchet, editors, TAPSOFT'97 (FASE'97), volume 1214 of Lecture Notes in Computer Science, pages 818-832,1997.
19. C.A.R. Hoare. Proof of Correctness of Data Representations. Acta Informatica, 1:271-281, 1972.
20. ISO/IEC. LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807, International Organization for Standardization, 1989.
21. Thomas Lambolais, Nicole Levy, and Jeanine Souquieres. Assistance au developpement de specifications de protocoles de communication. In AFADL'97 Approches Formelles dans l'Assistance au Developpement de Logiciel, pages 73-84, 1997.
22. Juan M. Murillo, Juan Hernandez, Fernando Sanchez, and Luis A. Alvarez. Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols. In Paolo Ciancarini and Alexander L. Wolf, editors, Third International Conference, COORDINATION'99, volume 1594 of Lecture Notes in Computer Science, Amsterdam, The Nederlands, April 1999. Springer-Verlag.
23. M. Papathomas, J. Hernandez, J. M. Murillo, and F. Sanchez. Inheritance and expressive power in concurrent object-oriented programming. In LMO '97 Langages et Modeles a Objets, pages 45-60, 1997.
24. Pascal Poizat, Christine Choppy, and Jean-Claude Royer. Un support methodologique pour la specification de systemes "mixtes". Research Report 180, Institut de Recherche en Informatique de Nantes, Novembre 1998. /pa-pers/rr180.ps.gz in Poizat's web page.
25. Pascal Poizat, Christine Choppy, and Jean-Claude Royer. Une nouvelle methode pour la specification en LOTOS. Research Report 170, Institut de Recherche en Informatique de Nantes, Fevrier 1998. /papers/rr170.ps.gz in Poizat's web page.
26. Pascal Poizat, Christine Choppy, and Jean-Claude Royer. Concurrency and Data Types: A Specification Method. An Example with LOTOS. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th International Workshop on Algebraic Development Techniques WADT'98,volume 1589 of Lecture Notes in Computer Science, pages 276-291, Lisbon, Portugal, 1999. Springer-Verlag.
27. Pascal Poizat, Christine Choppy, and Jean-Claude Royer. From Informal Requirements to Object Oriented Code using Structured Concurrent Sequential Communicating Automata. Research Report, Institut de Recherche en Informatique de Nantes, 1999.
28. Graeme Smith. A Fully-Abstract Semantics of Classes for Object-Z. Formal Aspects of Computing, 7(E):30-65, 1995.
29. Rational Software and al. Unified Modeling Language, Version 1.1. Technical report, Rational Software Corp, http://www.rational.com/uml, September 1997.
30. The Raise Method Group. The RAISE Development Method. The Practitioner Series. Prentice-Hall, 1995.
31. K. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 29(4):437-456, 1997.
32. Kenneth J. Turner, editor. Using Formal Description Techniques, An introduction to Estelle, Lotos and SDL. Wiley, 1993.
33. C.A. Vissers, G. Scollo, M. Van Sinderen, and E. Brinksma. Specification styles in distributed systems design and verification. Theoretical Computer Science, (89):179-206, 1991.