Type-Safe Runtime Class Upgrades in Creol

Yu, Ingrid Chieh; Johnsen, Einar Broch; Owe, Olaf

doi:10.1007/11768869_16

Cited by 11 publications

(9 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some Creol features include interface and class inheritance and being strongly typed such that safety of dynamic class upgrades can be statically ensured [15]. In this section, we explain the concurrency model of Creol using a toy example: an exclusive resource, i.e., a resource that can be exclusively allocated to one object at a time, behaving as a mutual exclusion token.…”

Section: Application-level Schedulingmentioning

confidence: 99%

Programming and deployment of active objects with application-level scheduling

Nobakht

Boer

Jaghoori

et al. 2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

We extend and implement a modeling language based on concurrent active objects with application-level scheduling policies. The language allows a programmer to assign priorities at the application level, for example, to method definitions and method invocations, and assign corresponding policies to the individual active objects for scheduling the messages. Thus, we leverage scheduling and performance related issues, which are becoming increasingly important in multi-core and cloud applications, from the underlying operating system to the application level. We describe a tool-set to transform models of active objects extended with application-level scheduling policies into Java. This tool-set allows a direct use of Java class libraries; thus, we obtain a full-fledged programming language based on active objects which allows for high-level control of deployment related issues.

show abstract

Section: Application-level Schedulingmentioning

confidence: 99%

Programming and deployment of active objects with application-level scheduling

Nobakht

Boer

Jaghoori

et al. 2012

Proceedings of the 27th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

show abstract

“…Multiple versions of a class will coexist and the programmer must explicitly refer to the different class versions in the code. Compared to previous work by the authors [23], dynamic classes allow much more flexible runtime upgrades, including simplification operations which necessitate additional runtime overhead, yet the type system has been simplified. However, we do not support the removal of interfaces from classes.…”

Section: Related Workmentioning

confidence: 99%

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects

Johnsen

Kyas

2009

FM 2009: Formal Methods

Self Cite

View full text Add to dashboard Cite

Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilitate such changes, formal methods can help in modeling and analyzing runtime software evolution. This paper presents an executable object-oriented modeling language which supports runtime software evolution. The language, based on Creol, targets distributed systems by active objects, asynchronous method calls, and futures. A dynamic class construct is proposed in this setting, providing an asynchronous and modular upgrade mechanism. At runtime, class redefinitions gradually upgrade existing instances of a class and of its subclasses. An upgrade may depend on previous upgrades of other classes. For asynchronous runtime upgrades, the static picture may differ from the actual runtime system. An operational semantics and a type and effect system are given for the language. The type analysis of an upgrade infers and collects dependencies on previous upgrades. These dependencies are exploited as runtime constraints to ensure type safety.

show abstract

“…Creol is backed by its formal operational semantics and its strong typing allows for dynamic class upgrades [19]. Since Creol semantics is given in rewrite logic [17], Creol specifications can be executed and analyzed on the Maude [5] platform.…”

Section: Creolmentioning

confidence: 99%

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

Boer

Grabe

Jaghoori

et al. 2009

Formal Methods and Software Engineering

View full text Add to dashboard Cite

Abstract. Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other, which urges the need to analyze these differences in a formal manner. We use an object-oriented paradigm to model different thread pools in the context of the ASK system, an industrial communication platform. We use behavioral interfaces, high-level behavioral specifications for the objects, as a starting-point for analysis. Based on these behavioral interfaces, functional aspects are modeled in Creol, a high-level modeling language for concurrent objects. We use Uppaal to create real-time models and to perform schedulability analysis with respect to the behavioral interfaces. We finally check conformance between the real-time and Creol models using test-cases generated from the behavioral interfaces.

show abstract

Type-Safe Runtime Class Upgrades in Creol

Cited by 11 publications

References 17 publications

Programming and deployment of active objects with application-level scheduling

Programming and deployment of active objects with application-level scheduling

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

Contact Info

Product

Resources

About