Integrating deployment architectures and resource consumption in timed object-oriented models

DOI10.1016/j.jlamp.2014.07.001zbMath1304.68029OpenAlexW2031616527MaRDI QIDQ478391

Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Publication date: 3 December 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.07.001

zbMATH Keywords

performanceformal methodsresource managementobject orientationdeployment architecturereal-time ABS

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Global Reproducibility Through Local Control for Distributed Active Objects ⋮ Virtually timed ambients: a calculus of nested virtualization

Uses Software

• GridSim
• Uppaal
• Erlang
• PVeStA
• SPEED
• COSTABS
• CloudSim
• iCanCloud
• ABS
• JCobox

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Space-aware ambients and processes
• Semantics and pragmatics of real-time maude
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Scala actors: Unifying thread-based and event-based programming
• Conditional rewriting logic as a unified model of concurrency
• Uppaal in a nutshell
• A structural approach to operational semantics
• A system for compositional verification of asynchronous objects
• Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
• Schedulability of asynchronous real-time concurrent objects
• Bisimulation on speed: a unified approach
• Task automata: Schedulability, decidability and undecidability
• Validating Timed Models of Deployment Components with Parametric Concurrency
• Statistical Model Checking for Networks of Priced Timed Automata
• A Distributed Pi-Calculus
• GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing
• SPEED
• Software Product Line Engineering
• Computer Aided Verification
• A Complete Guide to the Future

This page was built for publication: Integrating deployment architectures and resource consumption in timed object-oriented models