SysML to NuSMV Model Transformation via Object-Orientation

Lade...
Vorschaubild
Dateien
Caltais_2-qv9koqwnvkb3.pdf
Caltais_2-qv9koqwnvkb3.pdfGröße: 259.17 KBDownloads: 627
Datum
2017
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen in
BERGER, Christian, ed., Mohammad Reza MOUSAVI, ed., Rafael WISNIEWSKI, ed.. Cyber Physical Systems : Design, Modeling, and Evaluation : Revised Selected Papers. Cham: Springer, 2017, pp. 31-45. Lecture Notes in Computer Science. 10107. ISBN 978-3-319-51737-7. Available under: doi: 10.1007/978-3-319-51738-4_3
Zusammenfassung

This paper proposes a transformation of SysML models into the NuSMV input language. The transformation is performed automatically using SysMV-Ja and relies on a notion of intermediate model structuring the relevant SysML components in an object-oriented fashion.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Cyber Physical Systems : Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, 6. Okt. 2016, Pittsburgh, PA
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690CALTAIS, Georgiana, Florian LEITNER-FISCHER, Stefan LEUE, Jannis WEISER, 2017. SysML to NuSMV Model Transformation via Object-Orientation. Cyber Physical Systems : Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016. Pittsburgh, PA, 6. Okt. 2016. In: BERGER, Christian, ed., Mohammad Reza MOUSAVI, ed., Rafael WISNIEWSKI, ed.. Cyber Physical Systems : Design, Modeling, and Evaluation : Revised Selected Papers. Cham: Springer, 2017, pp. 31-45. Lecture Notes in Computer Science. 10107. ISBN 978-3-319-51737-7. Available under: doi: 10.1007/978-3-319-51738-4_3
BibTex
@inproceedings{Caltais2017-01-13SysML-41271,
  year={2017},
  doi={10.1007/978-3-319-51738-4_3},
  title={SysML to NuSMV Model Transformation via Object-Orientation},
  number={10107},
  isbn={978-3-319-51737-7},
  publisher={Springer},
  address={Cham},
  series={Lecture Notes in Computer Science},
  booktitle={Cyber Physical Systems : Design, Modeling, and Evaluation : Revised Selected Papers},
  pages={31--45},
  editor={Berger, Christian and Mousavi, Mohammad Reza and Wisniewski, Rafael},
  author={Caltais, Georgiana and Leitner-Fischer, Florian and Leue, Stefan and Weiser, Jannis}
}
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/41271">
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Caltais, Georgiana</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-08T12:37:42Z</dcterms:available>
    <dcterms:title>SysML to NuSMV Model Transformation via Object-Orientation</dcterms:title>
    <dc:rights>terms-of-use</dc:rights>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dcterms:abstract xml:lang="eng">This paper proposes a transformation of SysML models into the NuSMV input language. The transformation is performed automatically using SysMV-Ja and relies on a notion of intermediate model structuring the relevant SysML components in an object-oriented fashion.</dcterms:abstract>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-08T12:37:42Z</dc:date>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/41271/1/Caltais_2-qv9koqwnvkb3.pdf"/>
    <dc:contributor>Weiser, Jannis</dc:contributor>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dcterms:issued>2017-01-13</dcterms:issued>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41271"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:language>eng</dc:language>
    <dc:creator>Weiser, Jannis</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:creator>Caltais, Georgiana</dc:creator>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/41271/1/Caltais_2-qv9koqwnvkb3.pdf"/>
  </rdf:Description>
</rdf:RDF>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen