Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2019-01-22

AUTHORS

Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero

ABSTRACT

UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as sequences, alternatives, iterations, or parallels. In this paper, we present a UML profile to annotate sequence diagrams with combined fragments to model timed Web services with distributed resources under the publish/subscribe paradigm. This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation. This M2M transformation has been specified using QVT and has been integrated in a new add-on extending a state-of-the-art UML modeling tool. Generated Petri nets can be immediately used in well-known Petri net software, such as CPN Tools, to analyze the system behavior. Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus potentially saving development costs. More... »

PAGES

1-31

References to SciGraph publications

  • 2001-09-28. UML Based Performance Modeling of Distributed Systems in ≪UML≫ 2000 — THE UNIFIED MODELING LANGUAGE
  • 2009. Coloured Petri Nets, Modelling and Validation of Concurrent Systems in NONE
  • 2011-07. A dependability profile within MARTE in SOFTWARE & SYSTEMS MODELING
  • 2001-09-28. Validating UML Models and OCL Constraints in ≪UML≫ 2000 — THE UNIFIED MODELING LANGUAGE
  • 2001. Orientations in Verification Engineering of Avionics Software in INFORMATICS
  • 1997-12. Uppaal in a nutshell in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2002. Process Algebra with Timing in NONE
  • 1997. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use in NONE
  • 2005-11. Validating UML and OCL models in USE by automatic snapshot generation in SOFTWARE & SYSTEMS MODELING
  • 2007-06. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2010-01. On challenges of model transformation from UML to Alloy in SOFTWARE & SYSTEMS MODELING
  • 2018-07. Testing models and model transformations using classifying terms in SOFTWARE & SYSTEMS MODELING
  • 2003. Model Checking Publish-Subscribe Systems in MODEL CHECKING SOFTWARE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10270-019-00716-1

    DOI

    http://dx.doi.org/10.1007/s10270-019-00716-1

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1111612073


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Open University of Catalonia", 
              "id": "https://www.grid.ac/institutes/grid.36083.3e", 
              "name": [
                "Internet Interdisciplinary Institute (IN3), Universitat Oberta de Catalunya, Avda. Carl Friedrich Gauss, 5, Castelldefels, 08060, Barcelona, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "G\u00f3mez", 
            "givenName": "Abel", 
            "id": "sg:person.013010706231.84", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013010706231.84"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Centro Universitario de la Defensa", 
              "id": "https://www.grid.ac/institutes/grid.467120.6", 
              "name": [
                "Centro Universitario de la Defensa, Academia General Militar, Carr. de Huesca s/n, 50090, Zaragoza, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Rodr\u00edguez", 
            "givenName": "Ricardo J.", 
            "id": "sg:person.07504600323.17", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07504600323.17"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Castile-La Mancha", 
              "id": "https://www.grid.ac/institutes/grid.8048.4", 
              "name": [
                "Dpto. de Sistemas Inform\u00e1ticos, Escuela Superior de Ingenier\u00eda Inform\u00e1tica de Albacete, Universidad de Castilla-La Mancha, 02071, Albacete, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Cambronero", 
            "givenName": "Mar\u00eda-Emilia", 
            "id": "sg:person.07717571263.95", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07717571263.95"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "University of Castile-La Mancha", 
              "id": "https://www.grid.ac/institutes/grid.8048.4", 
              "name": [
                "Dpto. de Sistemas Inform\u00e1ticos, Escuela Superior de Ingenier\u00eda Inform\u00e1tica de Albacete, Universidad de Castilla-La Mancha, 02071, Albacete, Spain"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Valero", 
            "givenName": "Valent\u00edn", 
            "id": "sg:person.010467571237.76", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010467571237.76"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1145/584369.584376", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000067361"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/857076.857078", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000515555"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s100090050010", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004370190", 
              "https://doi.org/10.1007/s100090050010"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-40011-7_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009947520", 
              "https://doi.org/10.1007/3-540-40011-7_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-40011-7_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009947520", 
              "https://doi.org/10.1007/3-540-40011-7_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.infsof.2013.12.006", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012053985"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1012326683", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-04995-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012326683", 
              "https://doi.org/10.1007/978-3-662-04995-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-04995-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012326683", 
              "https://doi.org/10.1007/978-3-662-04995-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10270-016-0568-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012428586", 
              "https://doi.org/10.1007/s10270-016-0568-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10270-016-0568-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012428586", 
              "https://doi.org/10.1007/s10270-016-0568-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/1321631.1321705", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015191429"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44829-2_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017894653", 
              "https://doi.org/10.1007/3-540-44829-2_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/stvr.405", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018179635"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/stvr.405", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018179635"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44577-3_9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019177746", 
              "https://doi.org/10.1007/3-540-44577-3_9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.procs.2013.05.177", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021104502"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1026634143", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/b95112", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026634143", 
              "https://doi.org/10.1007/b95112"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/b95112", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026634143", 
              "https://doi.org/10.1007/b95112"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-40011-7_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026720077", 
              "https://doi.org/10.1007/3-540-40011-7_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-40011-7_19", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026720077", 
              "https://doi.org/10.1007/3-540-40011-7_19"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-60794-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028496984", 
              "https://doi.org/10.1007/978-3-642-60794-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-60794-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028496984", 
              "https://doi.org/10.1007/978-3-642-60794-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2005.09.068", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033994532"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.tcs.2005.09.068", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033994532"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10270-005-0089-y", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036243507", 
              "https://doi.org/10.1007/s10270-005-0089-y"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10270-005-0089-y", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036243507", 
              "https://doi.org/10.1007/s10270-005-0089-y"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-007-0038-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039992392", 
              "https://doi.org/10.1007/s10009-007-0038-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10009-007-0038-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039992392", 
              "https://doi.org/10.1007/s10009-007-0038-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10270-008-0110-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042954858", 
              "https://doi.org/10.1007/s10270-008-0110-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10270-008-0110-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042954858", 
              "https://doi.org/10.1007/s10270-008-0110-3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10270-009-0128-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044228702", 
              "https://doi.org/10.1007/s10270-009-0128-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.infsof.2014.04.007", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049997308"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/comjnl/bxu096", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059480729"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/2.846320", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061106243"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/5.24143", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061179070"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/ms.2003.1231146", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061420334"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/tse.2010.10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061788780"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1147/sj.444.0869", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1063184922"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.5381/jot.2011.10.1.a8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1072819227"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1080/13873954.2016.1277360", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1087163137"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/isorc.2007.10", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1094965580"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/qest.2008.18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095305422"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/apsec.2010.33", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1095644009"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511569951", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098665717"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1110617045", 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2019-01-22", 
        "datePublishedReg": "2019-01-22", 
        "description": "UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as sequences, alternatives, iterations, or parallels. In this paper, we present a UML profile to annotate sequence diagrams with combined fragments to model timed Web services with distributed resources under the publish/subscribe paradigm. This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation. This M2M transformation has been specified using QVT and has been integrated in a new add-on extending a state-of-the-art UML modeling tool. Generated Petri nets can be immediately used in well-known Petri net software, such as CPN Tools, to analyze the system behavior. Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus potentially saving development costs.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s10270-019-00716-1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.3938932", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1136228", 
            "issn": [
              "1619-1366", 
              "1619-1374"
            ], 
            "name": "Software & Systems Modeling", 
            "type": "Periodical"
          }
        ], 
        "name": "Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets", 
        "pagination": "1-31", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "f64acf025a6e904e6002ecaaa515d5c54a2696f51759200a011d87e64e338e6e"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10270-019-00716-1"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1111612073"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10270-019-00716-1", 
          "https://app.dimensions.ai/details/publication/pub.1111612073"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T08:57", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000325_0000000325/records_100812_00000000.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs10270-019-00716-1"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10270-019-00716-1'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10270-019-00716-1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10270-019-00716-1'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10270-019-00716-1'


     

    This table displays all metadata directly associated to this object as RDF triples.

    202 TRIPLES      21 PREDICATES      60 URIs      16 LITERALS      5 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10270-019-00716-1 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N4a6fcaeb713d4f439055fe4ab4885f6c
    4 schema:citation sg:pub.10.1007/3-540-40011-7_13
    5 sg:pub.10.1007/3-540-40011-7_19
    6 sg:pub.10.1007/3-540-44577-3_9
    7 sg:pub.10.1007/3-540-44829-2_11
    8 sg:pub.10.1007/978-3-642-60794-3
    9 sg:pub.10.1007/978-3-662-04995-2
    10 sg:pub.10.1007/b95112
    11 sg:pub.10.1007/s10009-007-0038-x
    12 sg:pub.10.1007/s100090050010
    13 sg:pub.10.1007/s10270-005-0089-y
    14 sg:pub.10.1007/s10270-008-0110-3
    15 sg:pub.10.1007/s10270-009-0128-1
    16 sg:pub.10.1007/s10270-016-0568-3
    17 https://app.dimensions.ai/details/publication/pub.1012326683
    18 https://app.dimensions.ai/details/publication/pub.1026634143
    19 https://app.dimensions.ai/details/publication/pub.1110617045
    20 https://doi.org/10.1002/stvr.405
    21 https://doi.org/10.1016/j.infsof.2013.12.006
    22 https://doi.org/10.1016/j.infsof.2014.04.007
    23 https://doi.org/10.1016/j.procs.2013.05.177
    24 https://doi.org/10.1016/j.tcs.2005.09.068
    25 https://doi.org/10.1017/cbo9780511569951
    26 https://doi.org/10.1080/13873954.2016.1277360
    27 https://doi.org/10.1093/comjnl/bxu096
    28 https://doi.org/10.1109/2.846320
    29 https://doi.org/10.1109/5.24143
    30 https://doi.org/10.1109/apsec.2010.33
    31 https://doi.org/10.1109/isorc.2007.10
    32 https://doi.org/10.1109/ms.2003.1231146
    33 https://doi.org/10.1109/qest.2008.18
    34 https://doi.org/10.1109/tse.2010.10
    35 https://doi.org/10.1145/1321631.1321705
    36 https://doi.org/10.1145/584369.584376
    37 https://doi.org/10.1145/857076.857078
    38 https://doi.org/10.1147/sj.444.0869
    39 https://doi.org/10.5381/jot.2011.10.1.a8
    40 schema:datePublished 2019-01-22
    41 schema:datePublishedReg 2019-01-22
    42 schema:description UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as sequences, alternatives, iterations, or parallels. In this paper, we present a UML profile to annotate sequence diagrams with combined fragments to model timed Web services with distributed resources under the publish/subscribe paradigm. This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation. This M2M transformation has been specified using QVT and has been integrated in a new add-on extending a state-of-the-art UML modeling tool. Generated Petri nets can be immediately used in well-known Petri net software, such as CPN Tools, to analyze the system behavior. Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus potentially saving development costs.
    43 schema:genre research_article
    44 schema:inLanguage en
    45 schema:isAccessibleForFree false
    46 schema:isPartOf sg:journal.1136228
    47 schema:name Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
    48 schema:pagination 1-31
    49 schema:productId N06895486022e4a91aee0b7346fc7c66a
    50 N5c266fdbdd594e21914652946a198918
    51 N92d19d642a36491681e5f82e9c314c23
    52 schema:sameAs https://app.dimensions.ai/details/publication/pub.1111612073
    53 https://doi.org/10.1007/s10270-019-00716-1
    54 schema:sdDatePublished 2019-04-11T08:57
    55 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    56 schema:sdPublisher N52609a4de2b745b8872baf227ae84c46
    57 schema:url https://link.springer.com/10.1007%2Fs10270-019-00716-1
    58 sgo:license sg:explorer/license/
    59 sgo:sdDataset articles
    60 rdf:type schema:ScholarlyArticle
    61 N06895486022e4a91aee0b7346fc7c66a schema:name readcube_id
    62 schema:value f64acf025a6e904e6002ecaaa515d5c54a2696f51759200a011d87e64e338e6e
    63 rdf:type schema:PropertyValue
    64 N15882c1efd79419cb3774feb45c90267 rdf:first sg:person.07504600323.17
    65 rdf:rest N9c47ffd7b24f49aea2da49381595099d
    66 N4a6fcaeb713d4f439055fe4ab4885f6c rdf:first sg:person.013010706231.84
    67 rdf:rest N15882c1efd79419cb3774feb45c90267
    68 N52609a4de2b745b8872baf227ae84c46 schema:name Springer Nature - SN SciGraph project
    69 rdf:type schema:Organization
    70 N5c266fdbdd594e21914652946a198918 schema:name doi
    71 schema:value 10.1007/s10270-019-00716-1
    72 rdf:type schema:PropertyValue
    73 N92d19d642a36491681e5f82e9c314c23 schema:name dimensions_id
    74 schema:value pub.1111612073
    75 rdf:type schema:PropertyValue
    76 N9c47ffd7b24f49aea2da49381595099d rdf:first sg:person.07717571263.95
    77 rdf:rest Neb524a52a4134b26adf2a8a4e87a8f13
    78 Neb524a52a4134b26adf2a8a4e87a8f13 rdf:first sg:person.010467571237.76
    79 rdf:rest rdf:nil
    80 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    81 schema:name Information and Computing Sciences
    82 rdf:type schema:DefinedTerm
    83 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    84 schema:name Computer Software
    85 rdf:type schema:DefinedTerm
    86 sg:grant.3938932 http://pending.schema.org/fundedItem sg:pub.10.1007/s10270-019-00716-1
    87 rdf:type schema:MonetaryGrant
    88 sg:journal.1136228 schema:issn 1619-1366
    89 1619-1374
    90 schema:name Software & Systems Modeling
    91 rdf:type schema:Periodical
    92 sg:person.010467571237.76 schema:affiliation https://www.grid.ac/institutes/grid.8048.4
    93 schema:familyName Valero
    94 schema:givenName Valentín
    95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010467571237.76
    96 rdf:type schema:Person
    97 sg:person.013010706231.84 schema:affiliation https://www.grid.ac/institutes/grid.36083.3e
    98 schema:familyName Gómez
    99 schema:givenName Abel
    100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013010706231.84
    101 rdf:type schema:Person
    102 sg:person.07504600323.17 schema:affiliation https://www.grid.ac/institutes/grid.467120.6
    103 schema:familyName Rodríguez
    104 schema:givenName Ricardo J.
    105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07504600323.17
    106 rdf:type schema:Person
    107 sg:person.07717571263.95 schema:affiliation https://www.grid.ac/institutes/grid.8048.4
    108 schema:familyName Cambronero
    109 schema:givenName María-Emilia
    110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07717571263.95
    111 rdf:type schema:Person
    112 sg:pub.10.1007/3-540-40011-7_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009947520
    113 https://doi.org/10.1007/3-540-40011-7_13
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/3-540-40011-7_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026720077
    116 https://doi.org/10.1007/3-540-40011-7_19
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/3-540-44577-3_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019177746
    119 https://doi.org/10.1007/3-540-44577-3_9
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/3-540-44829-2_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017894653
    122 https://doi.org/10.1007/3-540-44829-2_11
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/978-3-642-60794-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028496984
    125 https://doi.org/10.1007/978-3-642-60794-3
    126 rdf:type schema:CreativeWork
    127 sg:pub.10.1007/978-3-662-04995-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012326683
    128 https://doi.org/10.1007/978-3-662-04995-2
    129 rdf:type schema:CreativeWork
    130 sg:pub.10.1007/b95112 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026634143
    131 https://doi.org/10.1007/b95112
    132 rdf:type schema:CreativeWork
    133 sg:pub.10.1007/s10009-007-0038-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1039992392
    134 https://doi.org/10.1007/s10009-007-0038-x
    135 rdf:type schema:CreativeWork
    136 sg:pub.10.1007/s100090050010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004370190
    137 https://doi.org/10.1007/s100090050010
    138 rdf:type schema:CreativeWork
    139 sg:pub.10.1007/s10270-005-0089-y schema:sameAs https://app.dimensions.ai/details/publication/pub.1036243507
    140 https://doi.org/10.1007/s10270-005-0089-y
    141 rdf:type schema:CreativeWork
    142 sg:pub.10.1007/s10270-008-0110-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042954858
    143 https://doi.org/10.1007/s10270-008-0110-3
    144 rdf:type schema:CreativeWork
    145 sg:pub.10.1007/s10270-009-0128-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044228702
    146 https://doi.org/10.1007/s10270-009-0128-1
    147 rdf:type schema:CreativeWork
    148 sg:pub.10.1007/s10270-016-0568-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012428586
    149 https://doi.org/10.1007/s10270-016-0568-3
    150 rdf:type schema:CreativeWork
    151 https://app.dimensions.ai/details/publication/pub.1012326683 schema:CreativeWork
    152 https://app.dimensions.ai/details/publication/pub.1026634143 schema:CreativeWork
    153 https://app.dimensions.ai/details/publication/pub.1110617045 schema:CreativeWork
    154 https://doi.org/10.1002/stvr.405 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018179635
    155 rdf:type schema:CreativeWork
    156 https://doi.org/10.1016/j.infsof.2013.12.006 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012053985
    157 rdf:type schema:CreativeWork
    158 https://doi.org/10.1016/j.infsof.2014.04.007 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049997308
    159 rdf:type schema:CreativeWork
    160 https://doi.org/10.1016/j.procs.2013.05.177 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021104502
    161 rdf:type schema:CreativeWork
    162 https://doi.org/10.1016/j.tcs.2005.09.068 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033994532
    163 rdf:type schema:CreativeWork
    164 https://doi.org/10.1017/cbo9780511569951 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098665717
    165 rdf:type schema:CreativeWork
    166 https://doi.org/10.1080/13873954.2016.1277360 schema:sameAs https://app.dimensions.ai/details/publication/pub.1087163137
    167 rdf:type schema:CreativeWork
    168 https://doi.org/10.1093/comjnl/bxu096 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059480729
    169 rdf:type schema:CreativeWork
    170 https://doi.org/10.1109/2.846320 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061106243
    171 rdf:type schema:CreativeWork
    172 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
    173 rdf:type schema:CreativeWork
    174 https://doi.org/10.1109/apsec.2010.33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095644009
    175 rdf:type schema:CreativeWork
    176 https://doi.org/10.1109/isorc.2007.10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094965580
    177 rdf:type schema:CreativeWork
    178 https://doi.org/10.1109/ms.2003.1231146 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061420334
    179 rdf:type schema:CreativeWork
    180 https://doi.org/10.1109/qest.2008.18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095305422
    181 rdf:type schema:CreativeWork
    182 https://doi.org/10.1109/tse.2010.10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061788780
    183 rdf:type schema:CreativeWork
    184 https://doi.org/10.1145/1321631.1321705 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015191429
    185 rdf:type schema:CreativeWork
    186 https://doi.org/10.1145/584369.584376 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000067361
    187 rdf:type schema:CreativeWork
    188 https://doi.org/10.1145/857076.857078 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000515555
    189 rdf:type schema:CreativeWork
    190 https://doi.org/10.1147/sj.444.0869 schema:sameAs https://app.dimensions.ai/details/publication/pub.1063184922
    191 rdf:type schema:CreativeWork
    192 https://doi.org/10.5381/jot.2011.10.1.a8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072819227
    193 rdf:type schema:CreativeWork
    194 https://www.grid.ac/institutes/grid.36083.3e schema:alternateName Open University of Catalonia
    195 schema:name Internet Interdisciplinary Institute (IN3), Universitat Oberta de Catalunya, Avda. Carl Friedrich Gauss, 5, Castelldefels, 08060, Barcelona, Spain
    196 rdf:type schema:Organization
    197 https://www.grid.ac/institutes/grid.467120.6 schema:alternateName Centro Universitario de la Defensa
    198 schema:name Centro Universitario de la Defensa, Academia General Militar, Carr. de Huesca s/n, 50090, Zaragoza, Spain
    199 rdf:type schema:Organization
    200 https://www.grid.ac/institutes/grid.8048.4 schema:alternateName University of Castile-La Mancha
    201 schema:name Dpto. de Sistemas Informáticos, Escuela Superior de Ingeniería Informática de Albacete, Universidad de Castilla-La Mancha, 02071, Albacete, Spain
    202 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...