About: Design of ensemble-based component systems by invariant refinement

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Design of ensemble-based component systems by invariant refinement Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://dl.acm.org/citation.cfm?doid=2465449.2465457
Description	The challenge of developing dynamically-evolving resilient distributed systems that are composed of autonomous components has been partially addressed by introducing the concept of component ensembles. Nevertheless, systematic design of complex ensemble-based systems is still a pressing issue. This stems from the fact that contemporary design methods do not scale in terms of the number and complexity of ensembles and components, and do not efficiently cope with the dynamism involved. To address this issue, we present a novel method - Invariant Refinement Method (IRM) - for designing ensemble-based component systems by building on goal-based requirements elaboration, while integrating component architecture design and software control system design. The challenge of developing dynamically-evolving resilient distributed systems that are composed of autonomous components has been partially addressed by introducing the concept of component ensembles. Nevertheless, systematic design of complex ensemble-based systems is still a pressing issue. This stems from the fact that contemporary design methods do not scale in terms of the number and complexity of ensembles and components, and do not efficiently cope with the dynamism involved. To address this issue, we present a novel method - Invariant Refinement Method (IRM) - for designing ensemble-based component systems by building on goal-based requirements elaboration, while integrating component architecture design and software control system design. (en)
Title	Design of ensemble-based component systems by invariant refinement Design of ensemble-based component systems by invariant refinement (en)
skos:prefLabel	Design of ensemble-based component systems by invariant refinement Design of ensemble-based component systems by invariant refinement (en)
skos:notation	RIV/00216208:11320/13:10144122!RIV14-GA0-11320___
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GAP103/11/1489), S
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Hnětynka, Petr Keznikl, Jaroslav Bureš, Tomáš Plášil, František Gerostathopoulos, Ilias
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	68604
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/13:10144122
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	system design; requirements engineering; refinement; ensemble; Component (en)
http://linked.open.../riv/klicoveSlovo	ensemble refinement Component requirements engineering system design
http://linked.open...ontrolniKodProRIV	[EF8C3E663C04]
http://linked.open...v/mistoKonaniAkce	Vancouver, BC, Canada
http://linked.open...i/riv/mistoVydani	New York, NY, USA
http://linked.open...i/riv/nazevZdroje	Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	6 (xsd:int)
http://linked.open...vavai/riv/projekt	Methods of development and verification of component-based applications using natural language specifications
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Hnětynka, Petr Keznikl, Jaroslav Bureš, Tomáš Plášil, František Gerostathopoulos, Ilias Hoch, Nicklas
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2013-06-17 (xsd:date)
number of pages	10 (xsd:int)
http://bibframe.org/vocab/doi	10.1145/2465449.2465457
http://purl.org/ne...btex#hasPublisher	ACM
https://schema.org/isbn	978-1-4503-2122-8
http://localhost/t...ganizacniJednotka	11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 100 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software