Bibliography

[GHK+00] Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem

Gruer.lncs00 (In a collection)
Author(s)	Gruer, Pablo and Hilaire, Vincent and Koukam, Abder
Title	« Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem »

Gruer.lncs00 (In a collection)

Author(s)

Gruer, Pablo and Hilaire, Vincent and Koukam, Abder

Title

« Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem »

Abstract
This paper presents a technique for verifying specifications which uses the object-oriented state-based language Object-Z. The technique is based upon translation of Object-Z specifications into transition systems. The translation of Object-Z into a transition system allows one to use established techniques and tools in order to verify the specifications. We present the basis of our translation approach and then illustrate it by a case study. The case study consists in proving properties of our antennae parameter setting problem specification.

Abstract

This paper presents a technique for verifying specifications which uses the object-oriented state-based language Object-Z. The technique is based upon translation of Object-Z specifications into transition systems. The translation of Object-Z into a transition system allows one to use established techniques and tools in order to verify the specifications. We present the basis of our translation approach and then illustrate it by a case study. The case study consists in proving properties of our antennae parameter setting problem specification.

BibTeX code

@incollection{Gruer.lncs00,
  volume = {1783},
  author = {Gruer, Pablo and Hilaire, Vincent and Koukam, Abder},
  domains = {Multi-Agent Systems:Formal Specification/OZS:},
  booktitle = {Lecture Notes in Computer Science, Fundamental Approaches to
               Software},
  editor = {Maibaum, T.},
  title = {Verification of Object-Z Specifications by Using Transition Systems:
           Application to the Radiomobile Network Design Problem},
  publisher = {Springer Berlin},
  pages = {222},
  year = 2000,
}

Documents in the same domains

Root

Formal Specification/OZS

		[GHK+00] Gruer P. et al., "Verification of Object-Z Specifications..." (2000)
		[GHK+02] Gruer P. et al., "A formal framework for multi-agent..." (2002)
		[GHK+04] Gruer P. et al., "Heterogeneous formal specification based..." (2004)
		[HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
		[HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)

Multi-Agent Systems

		[DC+95] Donikian S. et al., "General Animation and Simulation Platform" (1995)
		[DOO+99] Duffy B.R. et al., "Reality and virtual reality in mobile..." (1999)
		[DVM+02] Drogoul A. et al., "Multi-Agent Based Simulation: Where are..." (2002)
		[ELW+03] Erol K. et al., "Application of Agent Technology to..." (2003)
		[GBR+95] Granieri J.P. et al., "Behavioral Control for Real-Time..." (1995)
		[GGB+03] Galland S. et al., "MaMA-s: An introduction to a..." (2003)
		[GHK+00] Gruer P. et al., "Verification of Object-Z Specifications..." (2000)
		[GHK+02] Gruer P. et al., "A formal framework for multi-agent..." (2002)
		[GHK+04] Gruer P. et al., "Heterogeneous formal specification based..." (2004)
		[HKG+01] Hilaire V. et al., "Formal Specification and Prototyping of..." (2001)
		[HKG+01b] Hilaire V. et al., "Vers une méthodologie formelle de..." (2001)
		[HU+01] Henoch J. et al., "Agent-based Simulation Platform for..." (2001)
		[IB+02] Isla D. et al., "New challenges for character-based ai..." (2002)
		[PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999)
		[PBS+05] Parunak H.V.D. et al., "Global Convergence of Local Agent..." (2005)
		[VD+02] Vanbergue D. et al., "Approche multi-agent pour la simulation..." (2002)