Search: L773:1611 3349 OR L773:0302 9743
> (2005-2009) >
A Verification Syst...
-
Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology
(author)
A Verification System for Distributed Objects with Asynchronous Method Calls
- Article/chapterEnglish2009
Publisher, publication year, extent ...
-
Berlin, Heidelberg :Springer Berlin Heidelberg,2009
Numbers
-
LIBRIS-ID:oai:research.chalmers.se:8986b47e-81c9-4689-b939-e735ae6a32e7
-
ISBN:9783642103728
-
https://research.chalmers.se/publication/104371URI
-
https://doi.org/10.1007/978-3-642-10373-5_20DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:kon swepub-publicationtype
-
Subject category:ref swepub-contenttype
Notes
-
We present a verification system for Creol, an object-orientedmodeling language for concurrent distributed applications.The system is an instance of KeY, a framework for object oriented software verification, which has so far been applied foremost to sequential Java. Building on KeY characteristic concepts, like dynamic logic, sequent calculus, explicit substitutions, and the taclet rule language, the system presented in this paper addresses functional correctness of Creol models featuring local cooperative thread parallelism and global communication via asynchronous method calls. The calculus heavily operates on communication histories which describe the interfaces of Creol units. Two example scenarios demonstrate the usage of the system.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Dylla, MaximilianUniversität des Saarlandes,Chalmers tekniska högskola,Chalmers University of Technology
(author)
-
Chalmers tekniska högskolaUniversität des Saarlandes
(creator_code:org_t)
Related titles
-
In:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Berlin, Heidelberg : Springer Berlin Heidelberg5885, s. 387-4061611-33490302-97439783642103728
Internet link
Find in a library
To the university's database