SysML to NuSMV Model Transformation via Object-Orientation

Thumbnail Image
Files
Caltais_2-qv9koqwnvkb3.pdf(259.17 KB)
Date
2017
Authors
Editors
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
urn:nbn:de:bsz:352-2-qv9koqwnvkb3
DOI (citable link)
10.1007/978-3-319-51738-4_3
ArXiv-ID
International patent number
Link to the license
In Copyright
EU project number
Project
Open Access publication
Collections
Informatik und Informationswissenschaft
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
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 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, 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_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>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Contact
URL of original publication
Test date of URL
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
Refereed