SysML to NuSMV Model Transformation via Object-Orientation
SysML to NuSMV Model Transformation via Object-Orientation
Loading...
Date
2017
Editors
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
International patent number
Link to the license
EU project number
Project
Open Access publication
Collections
Title in another language
Publication type
Contribution to a conference collection
Publication status
Published
Published in
Cyber Physical Systems : Design, Modeling, and Evaluation : Revised Selected Papers / Berger, Christian; Mousavi, Mohammad Reza; Wisniewski, Rafael (ed.). - Cham : Springer, 2017. - (Lecture Notes in Computer Science ; 10107). - pp. 31-45. - ISBN 978-3-319-51737-7
Abstract
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.
Summary in another language
Subject (DDC)
004 Computer Science
Keywords
Conference
Cyber Physical Systems : Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Oct 6, 2016, Pittsburgh, PA
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690
CALTAIS, 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, Oct 6, 2016. In: BERGER, Christian, ed., Mohammad Reza MOUSAVI, ed., Rafael WISNIEWSKI, ed.. Cyber Physical Systems : Design, Modeling, and Evaluation : Revised Selected Papers. Cham:Springer, pp. 31-45. ISBN 978-3-319-51737-7. Available under: doi: 10.1007/978-3-319-51738-4_3BibTex
@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>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes