An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:077a9a1056193a0e12920c575297511a

LEUE, Stefan, Alin ŞTEFĂNESCU, Wei WEI, 2008. An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT

@techreport{Leue2008Seman-5446, series={Technical Report, Chair for Software Engineering, University of Konstanz}, title={An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT}, year={2008}, number={soft-08-02}, author={Leue, Stefan and Ştefănescu, Alin and Wei, Wei} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/5446"> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:55:30Z</dc:date> <dc:contributor>Leue, Stefan</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:abstract xml:lang="eng">Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provides a set of modeling concepts including optional actor references, actor importation, multiple containment, and substitutability. However, these concepts are not covered in any of the current formal semantics of UML-RT, thus impeding the testing and formal analysis of realistic models. We use AsmL to present an executable semantics covering dynamic structures and other important features like run time schedulability. The semantics is parametrized to capture UML-RT semantics variation points whose decision choices depend on the special implementation in a vendor CASE tool. We have built several various implementations of those variation points, including the one as implemented in the IBM Rational Rose Real-Time (Rose-RT) tool. Finally, we illustrate how the proposed executable semantics can be used in the analysis of a Rose-RT model using the Spec Explorer model-based testing tool.</dcterms:abstract> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5446/1/An_AsmL_Semantics_for_Dynamic_Structures_and_Run_Time_Schedulability_in_UML.pdf"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5446/1/An_AsmL_Semantics_for_Dynamic_Structures_and_Run_Time_Schedulability_in_UML.pdf"/> <dc:creator>Ştefănescu, Alin</dc:creator> <dc:creator>Leue, Stefan</dc:creator> <dc:contributor>Ştefănescu, Alin</dc:contributor> <dc:format>application/pdf</dc:format> <dc:rights>deposit-license</dc:rights> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:55:30Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Wei, Wei</dc:creator> <dc:language>eng</dc:language> <dcterms:issued>2008</dcterms:issued> <dcterms:title>An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT</dcterms:title> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Wei, Wei</dc:contributor> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5446"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

An_AsmL_Semantics_for_Dynamic_Structures_and_Run_Time_Schedulability_in_UML.pdf 334

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto