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

DOI10.1016/j.jlamp.2014.07.001zbMath1304.68029MaRDI 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

performance; formal methods; resource management; object orientation; deployment architecture; real-time ABS

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

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