A Complete Guide to the Future

Boer, Frank S. de; Clarke, Dave; Johnsen, Einar Broch

doi:10.1007/978-3-540-71316-6_22

Cited by 138 publications

(119 citation statements)

References 24 publications

Supporting

Mentioning

119

Contrasting

Order By: Relevance

“…In addition, objects execute concurrently: each object has a processor dedicated to executing the processes of that object, so processes in different objects execute in parallel. In Creol, method calls are asynchronous and assigned to socalled futures [4]. Only one process may be active in an object at a time; the other processes in the object are suspended.…”

Section: Creol and Executable Modelingmentioning

confidence: 99%

See 1 more Smart Citation

Testing Concurrent Objects with Application-Specific Schedulers

Schlatte

Aichernig

Boer

et al. 2008

Theoretical Aspects of Computing - ICTAC 2008

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper, we propose a novel approach to testing executable models of concurrent objects under application-specific scheduling regimes. Method activations in concurrent objects are modeled as a composition of symbolic automata; this composition expresses all possible interleavings of actions. Scheduler specifications, also modeled as automata, are used to constrain the system execution. Test purposes are expressed as assertions on selected states of the system, and weakest precondition calculation is used to derive the test cases from these test purposes. Our new testing technique is based on the assumption that we have full control over the (application-specific) scheduler, which is the case in our executable models under test. Hence, the enforced scheduling policy becomes an integral part of a test case. This tackles the problem of testing non-deterministic behavior due to scheduling.

show abstract

Section: Creol and Executable Modelingmentioning

confidence: 99%

“…We develop a testing technique for concurrent objects in the context of Creol [9,4], a high-level modeling language which allows for the abstraction from implementation details related to deployment, distribution, and data types. The semantics of this language is formalized in rewriting logic [11] and executes on the Maude platform [3].…”

Section: Introductionmentioning

confidence: 99%

Testing Concurrent Objects with Application-Specific Schedulers

Schlatte

Aichernig

Boer

et al. 2008

Theoretical Aspects of Computing - ICTAC 2008

Self Cite

View full text Add to dashboard Cite

show abstract

“…ASP has strong properties and is easy to program, but the strict sequential service of requests creates deadlocks. A different approach is provided by active objects languages with cooperative multithreading (Creol [7,10], Jcobox [8]). In this model a thread serving a request can stop in order to let the service of another request progress.…”

Section: Introductionmentioning

confidence: 99%

Multi-threaded Active Objects

Henrio

Huet

István

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Active objects offer a paradigm which simplifies writing distributed applications. Since each active object has a single thread of control, data races are prevented. However, this programming model has its limitations: it is deadlockprone, and it is not efficient on multicore machines. To overcome these limitations, we present an extension of the active object model, called multi-active objects, that allows each activity to be multi-threaded. The new model is implemented as a Java library; it relies on method annotations to decide which requests can be run in parallel. It provides implicit parallelism, sparing the programmer from low-level concurrency mechanisms. We define the operational semantics of the multi-active objects and study the basic properties of this model. Finally, we show with two applications that our approach is easy to program and efficient.

show abstract

“…Core ABS is a class-based, objectoriented language based on the active object concurrency model of Creol [21,6], which uses asynchronous method calls and cooperative multi-tasking between concurrent object groups of one or more ABS objects that share a computation resource; i.e., there can be at most one activity running inside the group.…”

Section: Introductionmentioning

confidence: 99%

Variability Modelling in the ABS Language

Clarke

Muschevici

Proença

et al. 2011

Formal Methods for Components and Objects

Self Cite

View full text Add to dashboard Cite

Abstract. The HATS project aims at developing a model-centric methodology for the design, implementation and verification of highly configurable systems, such as software product lines, centred around the Abstract Behavioural Specification (ABS) modelling Language. This article describes the variability modelling features of the ABS Modelling framework. It consists of four languages, namely, µTVL for describing feature models at a high level of abstraction, the Delta Modelling Language DML for describing variability of the 'code' base in terms of delta modules, the Product Line Configuration Language CL for linking feature models and delta modules together and the Product Selection Language PSL for describing a specific product to extract from a product line. Both formal semantics and examples of each language are presented.

show abstract

A Complete Guide to the Future

Cited by 138 publications

References 24 publications

Testing Concurrent Objects with Application-Specific Schedulers

Testing Concurrent Objects with Application-Specific Schedulers

Multi-threaded Active Objects

Variability Modelling in the ABS Language

Contact Info

Product

Resources

About