MESA : Support for Scenario-Based Design of Concurrent Systems

Lade...
Vorschaubild
Datum
1998
Autor:innen
Ben-Abdallah, Hanêne
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
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
STEFFEN, Bernhard, ed.. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Berlin [u.a.]: Springer, 1998, pp. 118-135. Lecture notes in computer science. 1384. ISBN 3-540-64356-7
Zusammenfassung

The latest ITU-T standard syntax of Message Sequence Charts (MSCs) [16] offers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. Hoewever, current tools operate on MSCs that describe finite, deterministic bahavior. In this paper, we describe the architecture and the partial implementation of MESA, an MSC-based tool that supports early phases of the sorftware development cycle. The main functionalities of MESA are: an environment for the composition of system models through MSCs, syntactic and model-based analysis of an MSC model, and resolution of resource related underspecifications in an MSC model.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690BEN-ABDALLAH, Hanêne, Stefan LEUE, 1998. MESA : Support for Scenario-Based Design of Concurrent Systems. In: STEFFEN, Bernhard, ed.. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Berlin [u.a.]: Springer, 1998, pp. 118-135. Lecture notes in computer science. 1384. ISBN 3-540-64356-7
BibTex
@inproceedings{BenAbdallah1998Suppo-5585,
  year={1998},
  title={MESA : Support for Scenario-Based Design of Concurrent Systems},
  number={1384},
  isbn={3-540-64356-7},
  publisher={Springer},
  address={Berlin [u.a.]},
  series={Lecture notes in computer science},
  booktitle={Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998},
  pages={118--135},
  editor={Steffen, Bernhard},
  author={Ben-Abdallah, Hanêne and Leue, Stefan}
}
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/5585">
    <dc:creator>Ben-Abdallah, Hanêne</dc:creator>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:36Z</dc:date>
    <dcterms:issued>1998</dcterms:issued>
    <dc:creator>Leue, Stefan</dc:creator>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights>
    <dcterms:title>MESA : Support for Scenario-Based Design of Concurrent Systems</dcterms:title>
    <dcterms:abstract xml:lang="eng">The latest ITU-T standard syntax of Message Sequence Charts (MSCs) [16] offers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. Hoewever, current tools operate on MSCs that describe finite, deterministic bahavior. In this paper, we describe the architecture and the partial implementation of MESA, an MSC-based tool that supports early phases of the sorftware development cycle. The main functionalities of MESA are: an environment for the composition of system models through MSCs, syntactic and model-based analysis of an MSC model, and resolution of resource related underspecifications in an MSC model.</dcterms:abstract>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5585"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:36Z</dcterms:available>
    <dcterms:bibliographicCitation>First. publ. in: Lecture notes in computer science, No. 1384 (1998) , pp. 118-135</dcterms:bibliographicCitation>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5585/1/MESA_Support_for_Scenario_Based_Design_of_Concurrent_Systems.pdf"/>
    <dc:contributor>Ben-Abdallah, Hanêne</dc:contributor>
    <dc:format>application/pdf</dc:format>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5585/1/MESA_Support_for_Scenario_Based_Design_of_Concurrent_Systems.pdf"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:language>eng</dc:language>
    <dc:contributor>Leue, Stefan</dc:contributor>
  </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
Nein
Begutachtet
Diese Publikation teilen