About: Specifying Component Behavior with Port State Machines

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

About: Specifying Component Behavior with Port State Machines 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	Tento článek navrhuje Port State Machines, jako nástroj pro modelování komunikace na Portu UML 2.0 komponenty, aby bylo možné zachytit proložení a vnoření volání operací na poskytovaných (provided) a požadovaných (required) rozhraních Portu. (cs) In this paper, we propose the Port State Machine to model the communication on a Port of a UML 2.0 component, to capture the interleaving and nesting of operation calls on provided and required interfaces of the Port. In this paper, we propose the Port State Machine to model the communication on a Port of a UML 2.0 component, to capture the interleaving and nesting of operation calls on provided and required interfaces of the Port. (en)
Title	Specifikování chování komponent s Port State Machines (cs) Specifying Component Behavior with Port State Machines Specifying Component Behavior with Port State Machines (en)
skos:prefLabel	Specifikování chování komponent s Port State Machines (cs) Specifying Component Behavior with Port State Machines Specifying Component Behavior with Port State Machines (en)
skos:notation	RIV/00216208:11320/04:00003298!RIV/2005/GA0/113205/N
http://linked.open.../vavai/riv/strany	129;153
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/03/0672), Z(MSM 113200006)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2005
http://linked.open...aciTvurceVysledku	Mencl, Vladimír
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	587377
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/04:00003298
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Specifying;Component;Behavior;State;Machines (en)
http://linked.open.../riv/klicoveSlovo	Component Specifying State Behavior Machines
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[74725C0344A1]
http://linked.open...i/riv/nazevZdroje	Electronic Notes in Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	BD
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Research of methods and tools for verification of embedded computer system fault tolerance
http://linked.open...UplatneniVysledku	2004
http://linked.open...v/svazekPeriodika	101C
http://linked.open...iv/tvurceVysledku	Mencl, Vladimír
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20113200006
number of pages	25 (xsd:int)
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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software