Synchronized parallel composition of event systems in B

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

Volumn 2272, Issue , 2002, Pages 436-457

  Bellegarde, Françoise ^a   Julliand, Jacques ^a   Kouchnarenko, Olga ^a  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPONENT COMPOSITION; COMPONENT PARADIGM; COMPOSITION OF COMPONENTS; COMPOSITIONALITY; LARGE SYSTEM; PARALLEL COMPOSITION; REACTIVE SYSTEM; SECOND DEVELOPMENT;

SYNCHRONIZATION;

EID: 84948130205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45648-1_23     Document Type: Conference Paper

References (16)

1. J.-R. Abrial. Extending B without changing it (for developing distributed systems). In 1st Conference on the B method, pages 169–190, Nantes, France, November 1996.
2. J.-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In Second Conference on the B method, France, volume 1393 of LNCS, pages 83–128. Springer Verlag, April 1998.
3. F. Bellegarde, C. Darlot, J. Julliand, and O. Kouchnarenko. Reformulate dynamic properties during B refinement and forget variants and loop invariants. In Proc. First Int. Conf. ZB’2000, York, Great Britain, volume 1878 of LNCS, pages 230–249. Springer-Verlag, September 2000.
4. F. Bellegarde, C. Darlot, J. Julliand, and O. Kouchnarenko. Reformulation: a way to combine dynamic properties and B refinement. In In Proc. Int. Conf. Formal Method Europe’01, Berlin, Germany, volume 2021 of LNCS, pages 2–19. Springer Verlag, March 2001.
5. F. Bellegarde, J. Julliand, and O. Kouchnarenko. Ready-simulation is not ready to express a modular refinement relation. In Proc. Int. Conf. on Fundamental Aspects of Software Engineering, FASE’2000, volume 1783 of LNCS, pages 266–283. Springer- Verlag, April 2000.
6. D. Bert and F. Cave. Construction of finite labelled transition systems from B abstract systems. In T. Santen W. Grieskamp and B. Stoddart, editors, 2nd international conference on Integrated Formal Methods, IFM 2000, volume 1945 of LNCS, pages 235–255, Germany, November 2000. Springer-Verlag.
7. P. Bontron and M.-L. Potet. Automatic construction of validated B components from structured developments. In Proc. First Int. Conf. ZB’2000, York, Great Britain, volume 1878 of LNCS, pages 127–147. Springer-Verlag, September 2000.
8. M. J. Butler. csp2B: A practical approach to combining CSP and B. Formal Aspects of Computing, 12:182–198, 2000.
9. M. J. Butler and M. Waldén. Program Development by Refinement (Case Studies Using the B Method), chapter Parallel Programming with the B Method. Springer, 1999.
10. J. Julliand, P-A. Masson, and H. Mountassir. Vérification par model-checking modulaire des propriétés dynamiques introduites en B. Technique et Science Informatiques, To appear, 2001.
11. J. Lind-Nielsen, H. R. Andersen, H. Hulgaard, G. Behrmann, K. Kristoffersen, and K. G. Larsen. Verification of large state/event systems using compositionality and dependency analysis. Formal Methods in System Design, 18(1):5–23, January 2001.
12. P.-A. Masson, H. Mountassir, and J. Julliand. Modular verification for a class of PLTL properties. In T. Santen W. Grieskamp and B. Stoddart, editors, 2nd international conference on Integrated Formal Methods, IFM 2000, volume 1945 of LNCS, pages 398–419. Springer-Verlag, November 2000.
13. R. Milner. Communication and Concurrency. Prentice Hall Int., 1989.
14. E. Sekerinski. Program Development by Refinement (Case Studies Using the B Method), chapter Production Cell. Springer, 1999.
15. H. Treharne and S. Schneider. Using a process algebra to control B OPERATIONS. In IFM’99 1st International Conference on Integrated Formal Methods, pages 437–457, York, 1999. Springer-Verlag.
16. Y.-K. Tsay. Compositional verification in linear-time temporal logic. In J. Tiuryn, editor, Proc. 3rd Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000), volume 1784 of LNCS, pages 344–358. Springer Verlag, 2000.