Sökning: onr:"swepub:oai:research.chalmers.se:8986b47e-81c9-4689-b939-e735ae6a32e7" >
A Verification Syst...
A Verification System for Distributed Objects with Asynchronous Method Calls
-
- Ahrendt, Wolfgang, 1967 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Dylla, Maximilian (författare)
- Universität des Saarlandes,Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9783642103728
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
- 2009
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642103728 ; 5885, s. 387-406
- Relaterad länk:
-
http://www.mpi-sb.mp...
-
visa fler...
-
https://research.cha...
-
https://doi.org/10.1...
-
visa färre...
Innehållsförteckning
Abstract
Ämnesord
Stäng
No table of content available
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas