An AsmL semantics for dynamic structures and run time schedulability in UML-RT

Leue, Stefan; Ştefănescu, Alin; Wei, Wei

An AsmL semantics for dynamic structures and run time schedulability in UML-RT

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2008

Autor:innen

Leue, Stefan

Ştefănescu, Alin

Wei, Wei

Publikationstyp

Beitrag zu einem Konferenzband

Publikationsstatus

Published

Erschienen in

PAIGE, Richard F., ed., Bertrand MEYER, ed.. Objects, Components, Models and Patterns. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 238-257. Lecture Notes in Business Information Processing. 11. ISBN 978-3-540-69823-4. Available under: doi: 10.1007/978-3-540-69824-1_14

Zusammenfassung

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 and multiple containment. 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 different implementations of those variation points, including the one as implemented in the IBM Rational Rose RealTime (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 tool.

Fachgebiet (DDC)

004 Informatik

Schlagwörter

UML-RT, dynamic structures, formal semantics, AsmL, Rose-RT, Spec Explorer, model-based testing, model checking

Zitieren

ISO 690

LEUE, Stefan, Alin ŞTEFĂNESCU, Wei WEI, 2008. An AsmL semantics for dynamic structures and run time schedulability in UML-RT. In: PAIGE, Richard F., ed., Bertrand MEYER, ed.. Objects, Components, Models and Patterns. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 238-257. Lecture Notes in Business Information Processing. 11. ISBN 978-3-540-69823-4. Available under: doi: 10.1007/978-3-540-69824-1_14

BibTex

@inproceedings{Leue2008seman-21296,
  year={2008},
  doi={10.1007/978-3-540-69824-1_14},
  title={An AsmL semantics for dynamic structures and run time schedulability in UML-RT},
  number={11},
  isbn={978-3-540-69823-4},
  publisher={Springer Berlin Heidelberg},
  address={Berlin, Heidelberg},
  series={Lecture Notes in Business Information Processing},
  booktitle={Objects, Components, Models and Patterns},
  pages={238--257},
  editor={Paige, Richard F. and Meyer, Bertrand},
  author={Leue, Stefan and Ştefănescu, Alin and Wei, Wei}
}

RDF

<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/server/rdf/resource/123456789/21296">
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-31T08:50:04Z</dc:date>
    <dc:rights>terms-of-use</dc:rights>
    <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 and multiple containment. 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 different implementations of those variation points, including the one as implemented in the IBM Rational Rose RealTime (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 tool.</dcterms:abstract>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-31T08:50:04Z</dcterms:available>
    <dc:contributor>Ştefănescu, Alin</dc:contributor>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21296"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dcterms:title>An AsmL semantics for dynamic structures and run time schedulability in UML-RT</dcterms:title>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:creator>Wei, Wei</dc:creator>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:language>eng</dc:language>
    <dcterms:issued>2008</dcterms:issued>
    <dcterms:bibliographicCitation>Objects, components, models and patterns : 46th international conference, Tools Europe 2008, Zurich, Switzerland, June 30 - July 4, 2008; proceedings / Richard F. Paige; Bertrand Meyer (eds.). - Berlin [u.a.] : Springer, 2008. - S. 238-257. - (Lecture notes in business information processing ; 11). - ISBN 978-3-540-69823-4</dcterms:bibliographicCitation>
    <dc:contributor>Wei, Wei</dc:contributor>
    <dc:creator>Ştefănescu, Alin</dc:creator>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja