Specification of a gas station using a formalism integrating formal datatypes within state diagrams

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Attiogbé, Christian ^a   Salaün, Gwen ^a   Poizat, Pascal ^b  

^a UNIVERSITÉ DE NANTES   (France)

^b UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

Algebraic Specifications; B; Formal Methods Integration; State Diagrams; Z

Indexed keywords

ALGEBRA; BORON; COMPUTATIONAL LINGUISTICS; DISTRIBUTED PARAMETER NETWORKS; FORMAL METHODS; GRAPHIC METHODS; HIGH LEVEL LANGUAGES; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ABSTRACTION LEVEL; ALGEBRAIC SPECIFICATIONS; DYNAMIC ASPECTS; FORMAL METHODS INTEGRATION; GENERIC APPROACH; MODEL DYNAMICS; STATE DIAGRAM; Z;

FORMAL SPECIFICATION;

EID: 84947241102     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213436     Document Type: Conference Paper

References (17)

1. J. R. Abrial. The B-Book. Cambridge University Press, 1996.
2. M. Allemand, C. Attiogbé, P. Poizat, J.-C. Royer, and G. Salaün. SHE'S Project: A Report of Joint Works on the Integration of Formal Specification Techniques. In Proc. of the Workshop on Integration of Specification Techniques with Applications in Engineering (INT'02), pages 29-36, France, 2002.
3. D. B. Aredo. Semantics of UML Statecharts in PVS. In Proc. of the 12th Nordic Workshop on Programming Theory (NWPT'00), Norway, 2000.
4. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors. Algebraic Foundations of System Specification. Springer-Verlag, 1999.
5. C. Attiogbé, A. Francheteau, J. Limousin, and G. Salaün. ISA, a Tool for Integrated Specifications Animation. Available at http://www. sciences. univ-nantes. fr/ info/perso/permanents/salaun/ISA/isa. html.
6. C. Attiogbé, P. Poizat, and G. Salaün. Integration of Formal Datatypes within State Diagrams. Technical Report 83-2002, University of Evry, October 2002. Available at http://www. sciences. univ-nantes. fr/info/perso/ permanents/salaun/papers/APS8302. ps.
7. C. Attiogbé, P. Poizat, and G. Salaün. Integration of Formal Data Types within State Diagrams. In Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE'03), Poland, April 2003. Springer-Verlag. To appear.
8. J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. A Tutorial Introduction to PVS. In Proc. of the Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95), USA, 1995. Computer Science Laboratory, SRI International.
9. J. Ellsberger, D. Hogrefe, and A. Sarma. SDL : Formal Object-oriented Language for Communicating Systems. Prentice-Hall, 1997.
10. S. J. Garland and J. V. Guttag. A Guide to LP, the Larch Prover. Technical Report, Palo Alto, California, 1991.
11. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996.
12. J. Jürjens. A UML Statecharts Semantics with Message-Passing. In Proc. of the 17th ACM Symposium on Applied Computing (SAC'02), pages 1009-1013, Spain, 2002. ACM Inc.
13. D. Latella, I. Majzik, and M. Massink. Towards a Formal Operational Semantics of UML Statechart Diagrams. In P. Ciancarini and R. Gorrieri, editors, Proc. of the IFIP TC6/WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pages 331-347, Italy, 1999. Kluwer Academic Publishers.
14. J. Lilius and I. P. Paltor. Formalising UML State Machines for Model Checking. In R. France and B. Rumpe, editors, Proc. of the International Conference on the Unified Modelling Language: Beyond the Standard (UML'99), volume 1723 of Lecture Notes in Computer Science, pages 430-445, USA, 1999. Springer-Verlag.
15. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
16. M. van der Beeck. Formalization of UML-Statecharts. In M. Gogolla and C. Kobryn, editors, Proc. of the 4th International Conference on the Unified Modelling Language (UML'01), volume 2185 of Lecture Notes in Computer Science, pages 406-421, Canada, 2001. Springer-Verlag.
17. D. Varró. A Formal Semantics of UML Statecharts by Model Transition Systems. In A. Corradini and H. Kreowski, editors, Proc. of the 1st International Conference on Graph Transformation (ICGT'2002), volume 2505 of Lecture Notes in Computer Science, Spain, 2002. Springer-Verlag.