Resource modeling for timed Creol models

Almenn færsla
dc.contributor.authorSchlatte, Rudolf
dc.contributor.authorAichernig, Bernhard
dc.contributor.authorGriesmayer, Andreas
dc.contributor.authorKyas, Marcel
dc.contributor.departmentDepartment of Computer Science
dc.date.accessioned2026-10-16T11:37:01Z
dc.date.available2026-10-16T11:37:01Z
dc.date.issued2010-10-12
dc.description.abstractThis paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is suited for modeling distributed systems. However, the computation model of Creol assumes infinite memory and infinite parallelism within an object. This paper describes a way to extend Creol with a notion of resource constraints and a way to quantitatively assess the effects of introducing resource constraints on a given model. We discuss possible semantics of message delivery under resource constraints, their implementation and their impact on the model. The method is illustrated with a case study modeling a biomedical sensor network.en
dc.description.versionPeer revieweden
dc.format.extent13
dc.format.extent369490
dc.format.extent63-75
dc.identifier.citationSchlatte, R, Aichernig, B, Griesmayer, A & Kyas, M 2010, 'Resource modeling for timed Creol models', Electronic Notes in Theoretical Computer Science, vol. 266, no. C, pp. 63-75. https://doi.org/10.1016/j.entcs.2010.08.049en
dc.identifier.doi10.1016/j.entcs.2010.08.049
dc.identifier.issn1571-0661
dc.identifier.other251368511
dc.identifier.otherceeba1bb-8e16-441a-afc0-33d505c7bc97
dc.identifier.other77957273275
dc.identifier.urihttps://hdl.handle.net/20.500.11815/8785
dc.language.isoen
dc.relation.ispartofseriesElectronic Notes in Theoretical Computer Science; 266(C)en
dc.relation.urlhttps://www.scopus.com/pages/publications/77957273275en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.subjectCreolen
dc.subjectEmbedded Systemsen
dc.subjectModelingen
dc.subjectObject Orientationen
dc.subjectResource Constraintsen
dc.subjectTheoretical Computer Scienceen
dc.subjectGeneral Computer Scienceen
dc.titleResource modeling for timed Creol modelsen
dc.type/dk/atira/pure/researchoutput/researchoutputtypes/contributiontojournal/articleen

Skrár

Original bundle

Niðurstöður 1 - 1 af 1
Nafn:
1-s2.0-S1571066110001283-main.pdf
Stærð:
360.83 KB
Snið:
Adobe Portable Document Format
Hlaða niður

Undirflokkur

Háskólinn í Reykjavík

Öll gögn í Opnum vísindum eru vernduð af ákvæðum höfundalaga og með öllum réttindum áskildum, nema annað sé tekið fram.