Publikation:

SysML to NuSMV Model Transformation via Object-Orientation

Vorschaubild

Dateien

Caltais_2-qv9koqwnvkb3.pdf
Caltais_2-qv9koqwnvkb3.pdfGröße: 259.17 KBDownloads: 659

Datum

2017

Autor:innen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-2-qv9koqwnvkb3
DOI (zitierfähiger Link)
https://doi.org/10.1007/978-3-319-51738-4_3
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

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

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Verknüpfte Datensätze

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