Result: Automated analysis of Java Message Service providers
Title:
Automated analysis of Java Message Service providers
Authors:
Source:
Middleware 2001 (Heidelberg, 12-16 November 2001)Lecture notes in computer science. :1-14
Publisher Information:
Berlin: Springer, 2001.
Publication Year:
2001
Physical Description:
print, 17 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Génie logiciel, Software engineering, Performances des systèmes informatiques. Fiabilité, Computer systems performance. Reliability, Analyse performance, Performance analysis, Análisis eficacia, Automate, Automaton, Autómata, Entrée sortie, Input output, Entrada salida, Envoi message, Message passing, Evaluation performance, Performance evaluation, Evaluación prestación, Langage JAVA, JAVA language, Lenguaje JAVA, Langage formel, Formal language, Lenguaje formal, Langage spécification, Specification language, Lenguaje especificación, Système réparti, Distributed system, Sistema repartido, Composant logiciel, Software component
Document Type:
Conference
Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Software Architectures and Component Technologies Group, CSIRO Mathematical and Information Sciences, GPO Box 664, Canberra, Australia
ISSN:
0302-9743
Rights:
Copyright 2002 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14045571
Database:
PASCAL Archive
Further Information
The Java Message Service (JMS) is a specification that provides a consistent Java API for accessing message-oriented middleware services. This paper presents a test harness that automates the testing of JMS implementations (providers) for correctness and performance. Since the JMS specification is expressed in informal language, a formal model for JMS behaviour is developed, based on the I/O automata used in other group communication systems. The test harness has been successfully used to test a number of JMS implementations. This paper contains a descriptive presentation of the formal model, the full details are found in a technical report.