Integrating deployment architectures and resource consumption in timed object-oriented models
type: Item
instance of: scholarly article
title: Integrating deployment architectures and resource consumption in timed object-oriented models
zbMATH Open document ID: 1304.68029
author: Einar Broch Johnsen
author: Rudolf Schlatte
author: Silvia Lizeth Tapia Tarifa
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2014-12-03T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6376571
zbMATH Keywords: deployment architecture
zbMATH Keywords: resource management
zbMATH Keywords: object orientation
zbMATH Keywords: formal methods
zbMATH Keywords: performance
zbMATH Keywords: real-time ABS
describes a project that uses: Uppaal
describes a project that uses: iCanCloud
describes a project that uses: GridSim
describes a project that uses: SPEED
describes a project that uses: CloudSim
describes a project that uses: Erlang
describes a project that uses: PVeStA
describes a project that uses: COSTABS
describes a project that uses: ABS
describes a project that uses: JCobox
MaRDI profile type: Publication
full work available at URL: j.jlamp.2014.07.001
OpenAlex ID: W2031616527
cites work: Software Product Line Engineering
cites work: Q4808794
cites work: Q4671826
cites work: A Complete Guide to the Future
cites work: Scala actors: Unifying thread-based and event-based programming
cites work: A structural approach to operational semantics
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Validating Timed Models of Deployment Components with Parametric Concurrency
cites work: Types and programing languages
cites work: Uppaal in a nutshell
cites work: Semantics and pragmatics of real-time maude
cites work: A system for compositional verification of asynchronous objects
cites work: A Distributed Pi-Calculus
cites work: Space-aware ambients and processes
cites work: Bisimulation on speed: a unified approach
cites work: Q4843091
cites work: GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing
cites work: Task automata: Schedulability, decidability and undecidability
cites work: Schedulability of asynchronous real-time concurrent objects
cites work: Q2371888
cites work: SPEED
cites work: Computer Aided Verification
cites work: Statistical Model Checking for Networks of Priced Timed Automata
DOI: 10.1016/J.JLAMP.2014.07.001
description: scientific article; zbMATH DE number 6376571