About: CoCoME in SOFA

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

About: CoCoME in SOFA 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
Description	We present our solution to the CoCoME assignment that is based on the SOFA 2.0 hierarchical component model. The solution involves modeling architecture in SOFA meta-model, specification of component behavior via extended behavior protocols, checking behavior compliance of components, verification of correspondence between selected component Java code and behavior specification, deployment to SOFA run-time environment (using connectors that support RMI and JMS), and modeling of performance and resource usage via layered queuing networks. We faced several issues during implementation of the CoCoME assignment in SOFA 2.0. Most notably, the architecture was modified in order to improve clarity of the design – in particular, the hierarchical bus was replaced by two separate buses and the Inventory component was restructured. Extended behavior protocols for all the components are based on the provided plain-English use cases, the UML sequence diagrams, and the reference Java implementation We present our solution to the CoCoME assignment that is based on the SOFA 2.0 hierarchical component model. The solution involves modeling architecture in SOFA meta-model, specification of component behavior via extended behavior protocols, checking behavior compliance of components, verification of correspondence between selected component Java code and behavior specification, deployment to SOFA run-time environment (using connectors that support RMI and JMS), and modeling of performance and resource usage via layered queuing networks. We faced several issues during implementation of the CoCoME assignment in SOFA 2.0. Most notably, the architecture was modified in order to improve clarity of the design – in particular, the hierarchical bus was replaced by two separate buses and the Inventory component was restructured. Extended behavior protocols for all the components are based on the provided plain-English use cases, the UML sequence diagrams, and the reference Java implementation (en)
Title	CoCoME in SOFA CoCoME in SOFA (en)
skos:prefLabel	CoCoME in SOFA CoCoME in SOFA (en)
skos:notation	RIV/67985807:_____/08:00341252!RIV10-AV0-67985807
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1P05OE171), P(GA201/06/0770), Z(AV0Z10300504), Z(MSM0021620838)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Kofroň, Jan Bureš, Tomáš Plášil, František
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	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	360315
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/08:00341252
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	software components; formal verification (en)
http://linked.open.../riv/klicoveSlovo	software components formal verification
http://linked.open...ontrolniKodProRIV	[3370BEE91F18]
http://linked.open...v/mistoKonaniAkce	Dagstuhl
http://linked.open...i/riv/mistoVydani	Berlin
http://linked.open...i/riv/nazevZdroje	The Common Component Modeling Example
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	9 (xsd:int)
http://linked.open...vavai/riv/projekt	OSIRIS Open Source Infrastructure for Run-time Integration of Services Formal methods applicable to development of component-based systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Kofroň, Jan Hnětynka, P. Bureš, Tomáš Tůma, P. Plášil, František Parízek, P. Šerý, O. Děcký, M. Poch, T.
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000259297000015
http://linked.open.../riv/zahajeniAkce	2007-08-01 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace Moderní metody, struktury a systémy informatiky
number of pages	30 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-3-540-85288-9
is http://linked.open...avai/riv/vysledek of	CoCoME in SOFA CoCoME in SOFA CoCoME in SOFA CoCoME in SOFA

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, 91 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software