Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
نویسندگان
چکیده
منابع مشابه
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Elements form a linear queue where head points to the front, next to the subsequent element, and tail to the back of the queue Figure 1: Type graph for CPM’s configurations as class diagram with constraints, where we assume disjoint finite sets of variable names (p1, . . . ,x1 . . . ), and reference names (r1, . . . ); let Meth be a finite set of method names, and Z be the set of integer number...
متن کاملTowards Modular Concurrency Control for Object-Oriented Distributed Systems
Object-based distributed systems are intended to merge the beneets of both object-based languages and distribution. To make such systems useful, it is however necessary to extend the basic object model so that it can permit the expression of distribution related aspects. In this paper, we discuss the issues raised by designing transaction concurrency control within an object-oriented distribute...
متن کاملModelling and Verifying an Object-Oriented Concurrency Model in GROOVE
SCOOP is a programming model and language that allows concurrent programming at a high level of abstraction. Several approaches to verifying SCOOP programs have been proposed in the past, but none of them operate directly on the source code without modifications or annotations. We propose a fully automatic approach to verifying (a subset of) SCOOP programs by translation to graph-based models. ...
متن کاملTowards an Object Oriented Ambient Computing Model
As creative creatures, people like to change and customise their environments. In the computing world, this has led to a growing demand for people to be able to customise their ‘electronic spaces such personal computers and mobile phones’. In this work-in-progress paper, we argue that this reasoning can also be applied to AmI (Ambient Intelligence) Environment. However, existing computational m...
متن کاملObject-oriented reuse, concurrency and distribution - an Ada-based approach
That's it, a book to wait for in this month. Even you have wanted for long time for releasing this book object oriented reuse concurrency and distribution an ada based approach; you may not be able to get in some stress. Should you go around and seek fro the book until you really get it? Are you sure? Are you that free? This condition will force you to always end up to get a book. But now, we a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2015
ISSN: 2075-2180
DOI: 10.4204/eptcs.181.3