About: Extracting Behavior Specification of Components in Legacy Applications

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

About: Extracting Behavior Specification of Components in Legacy Applications 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	A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structure of the source code of a component and the extracted specification; this is important for both user comprehension and for interpretation of results of any further formal verification. Even though the reverse engineering techniques providing behavior specification have already been applied on object oriented software and components, none of them targets the interplay of the component’s provided and required interfaces from a single perspective. This paper targets the problem in the scope of Behavior Protocols and components given as a set of Java classes accompanied with information on component boundaries. To demonstrate viability of the proposed approach, this technique has been partially applied in the JAbstractor tool for the SOFA component model. A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structure of the source code of a component and the extracted specification; this is important for both user comprehension and for interpretation of results of any further formal verification. Even though the reverse engineering techniques providing behavior specification have already been applied on object oriented software and components, none of them targets the interplay of the component’s provided and required interfaces from a single perspective. This paper targets the problem in the scope of Behavior Protocols and components given as a set of Java classes accompanied with information on component boundaries. To demonstrate viability of the proposed approach, this technique has been partially applied in the JAbstractor tool for the SOFA component model. (en)
Title	Extracting Behavior Specification of Components in Legacy Applications Extracting Behavior Specification of Components in Legacy Applications (en)
skos:prefLabel	Extracting Behavior Specification of Components in Legacy Applications Extracting Behavior Specification of Components in Legacy Applications (en)
skos:notation	RIV/00216208:11320/09:00207437!RIV10-GA0-11320___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/08/0266), Z(MSM0021620838)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Poch, 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	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	314463
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/09:00207437
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Extracting; Behavior; Specification; Components; Legacy; Applications (en)
http://linked.open.../riv/klicoveSlovo	Applications Components Specification Legacy Behavior Extracting
http://linked.open...ontrolniKodProRIV	[202FC1843540]
http://linked.open...v/mistoKonaniAkce	Neuveden
http://linked.open...i/riv/nazevZdroje	Proceedings of the 12th International Symposium on Component-Based Software Engineering (CBSE 2009)
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Methods and models for consistency verification of advanced component-based applications
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Poch, Tomáš Plášil, František
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000268062200006
http://linked.open.../riv/zahajeniAkce	2009-01-01 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Moderní metody, struktury a systémy informatiky
number of pages	17 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag. (Berlin; Heidelberg)
https://schema.org/isbn	978-3-642-02413-9
http://localhost/t...ganizacniJednotka	11320
is http://linked.open...avai/riv/vysledek of	Extracting Behavior Specification of Components in Legacy Applications Extracting Behavior Specification of Components in Legacy Applications Extracting Behavior Specification of Components in Legacy Applications Extracting Behavior Specification of Components in Legacy Applications

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