Verification On The Web Of Mobile Systems

Gianluigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto

Abstract

The vast majority of current available verification environments have been built by sticking to traditional architectural style centralized and without dealing with interoperability and dynamic reconfigurability. In this paper we present a verification toolkit whose design and implementation exploit the Web service architectural paradigm.

References

  1. G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. An automata based veri cation environment for mobile processes. In E. Brinksma, editor, TACAS'97, LNCS 1217. Springer, Apr. 1997.
  2. G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, and G. Ristori. Verifying mobile processes in the HAL environment. In Proc. 10th International Computer Aided Veri cation Conference, pages 511{515, 1998.
  3. G. Ferrari, U. Montanari, and M. Pistore. Minimizing transition systems for name passing calculi: A co-algebraic formulation. In M. Nielsen and U. Engberg, editors, FOSSACS 2002, volume LNCS 2303, pages 129{143. Springer Verlag, 2002.
  4. IBM Software Group. Web services conceptual architecture. In IBM White Papers, 2000.
  5. U. Montanari and M. Pistore. -calculus, structured coalgebras and minimal hdautomata. In Proc. MFCS'2000, volume 1893 of LNCS. Springer, 2000.
  6. F. Orava and J. Parrow. An algebraic veri cation of a mobile network. Formal Aspects of Computing, 4(1):497{543, 1992.
  7. M. Pistore. History dependent automata. PhD thesis, Computer Science Department, Universita di Pisa, 1999.
  8. E. Tuosto. Non-Functional Aspects of Wide Area Network Programming. PhD thesis, Dipartimento di Informatica, Universita di Pisa, 2002.
Download


Paper Citation


in Harvard Style

Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G. and Tuosto E. (2004). Verification On The Web Of Mobile Systems . In Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004) ISBN 972-8865-03-1, pages 72-74. DOI: 10.5220/0002660300720074


in Bibtex Style

@conference{vveis04,
author={Gianluigi Ferrari and Stefania Gnesi and Ugo Montanari and Roberto Raggi and Gianluca Trentanni and Emilio Tuosto},
title={Verification On The Web Of Mobile Systems},
booktitle={Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)},
year={2004},
pages={72-74},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002660300720074},
isbn={972-8865-03-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems - Volume 1: VVEIS, (ICEIS 2004)
TI - Verification On The Web Of Mobile Systems
SN - 972-8865-03-1
AU - Ferrari G.
AU - Gnesi S.
AU - Montanari U.
AU - Raggi R.
AU - Trentanni G.
AU - Tuosto E.
PY - 2004
SP - 72
EP - 74
DO - 10.5220/0002660300720074