A global semantics for views

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

Volumn 1816, Issue , 2000, Pages 165-180

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

^a UNIVERSITÉ PARIS 13   (France)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

Global semantics; Mixed specifications; View formalism

Indexed keywords

ALGEBRA; SOFTWARE ENGINEERING; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; DYNAMIC ASPECTS; DYNAMIC BEHAVIOURS; PASSWORD MANAGEMENT; SINGLE COMPONENTS; STATE AND TRANSITIONS; STATE TRANSITION DIAGRAMS; VIEW FORMALISM;

SEMANTICS;

EID: 0007925722     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_13     Document Type: Conference Paper

References (18)

1. André Arnold. Systèmes de transitions finis et sémantique des processus commu-nicants. Etudes et recherches en informatique. Masson, 1992.
2. Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25-29, January 1988.
3. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. A Global Semantics for Views. Research Report 189, IRIN, 1999. /papers/rr189.ps.gz in Poizat’s web page.
4. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. Control and Datatypes using the View Formalism. Research Report 188, IRIN, 1999. /papers/rr188.ps.gz in Poizat’s web page.
5. Jan Ellsberger, Dieter Hogrefe, and Amardeo Sarma. SDL: Formal Object-oriented Language for Communicating Systems. Prentice-Hall, 1997.
6. M. Hennessy and H. Lin. Symbolic Bisimulations. Theoretical Computer Science, 138(2):353-389, 1995.
7. ISO/IEC. LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807, International Organization for Standardization, 1989.
8. Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Program-ming Languages and Systems, 16(3):872-923, 1994.
9. Radu Mateescu. Vérification des propriétés temporelles des programmes parallèles. PhD thesis, Institut National Polytechnique de Grenoble, 1998.
10. José Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In CONCUR’96: Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, pages 331-372, Pisa, Italy, 1996.
11. Gaël Nedelec, Marielle Papillon, Christelle Piedsnoirs, and Gwen Salaün. CLAP: a Class Library for Automata in Python. Master’s thesis, 1999. CLAP.html in Poizat’s web page.
12. 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.
13. Pascal Poizat, Christine Choppy, and Jean-Claude Royer. From Informal Requirements to COOP: a Concurrent Automata Approach. In J.M. Wing, J. Woodcock, and J. Davies, editors, FM’99-Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, volume 1709 of Lecture Notes in Computer Science, pages 939-962, Toulouse, France, 1999. Springer-Verlag.
14. Gianna Reggio and Mauro Larosa. A graphic notation for formal Specifications of dynamic systems. In John Fitzgerald, Cliff B. Jones, and Peter Lucas, editors, FME’97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), volume 1313 of Lecture Notes in Computer Science, pages 40-61. Springer-Verlag, September 1997. ISBN 3-540-63533-5.
15. Carron Shankland, Muffy Thomas, and Ed Brinksma. Symbolic Bisimulation for Full LOTOS. In Algebraic Methodology and Software Technology AMAST’97, volume 1349 of Lecture Notes in Computer Science, pages 479-493. Springer-Verlag.
16. Graeme Smith. A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Formal Methods Europe (FME’97), volume 1313 of Lecture Notes in Computer Science, pages 62-81. Springer-Verlag, 1997.
17. Rational Software. Unified Modeling Language, Version 1.1. Technical report, Rational Software Corp, http://www.rational.com/uml, September 1997.
18. Martin Wirsing. Algebraic Specification, volume B of Handbook of Theoretical Computer Science, chapter 13, pages 675-788. Elsevier, 1990. Jan Van Leeuwen, Editor.