Semantic-Based Development of Service-Oriented Systems
Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and...
Gespeichert in:
| Hauptverfasser: | , , , , , , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 45 |
|---|---|
| container_issue | |
| container_start_page | 24 |
| container_title | |
| container_volume | |
| creator | Wirsing, Martin Clark, Allan Gilmore, Stephen Hölzl, Matthias Knapp, Alexander Koch, Nora Schroeder, Andreas |
| description | Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the Sensoria semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems. |
| doi_str_mv | 10.1007/11888116_3 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_20015126</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>20015126</sourcerecordid><originalsourceid>FETCH-LOGICAL-c295t-90671f426f002a3985b6362439511d51c3e4429ecc1ebb160720c2abd516fc8c3</originalsourceid><addsrcrecordid>eNpFkEtrwzAQhNUXNE1z6S_IpdCL2l2tLFnHNn1CIIe0ZyEr6-I2toNlAvn3cUmgcxmYb5jDCHGDcI8A9gExz3NE4-lEXFGmQRulAE_FCA2iJNLuTEyczY8MnT4XIyBQ0llNl2KS0g8MIrSWcCTMkuvQ9FWUTyHxavrMW163m5qbftqW0yV32yqyXHTVkAx8uUs91-laXJRhnXhy9LH4en35nL3L-eLtY_Y4l1G5rJcOjMVSK1MCqEAuzwpDRmlyGeIqw0istXIcI3JRoAGrIKpQDMiUMY80FreH3U1IMazLLjSxSn7TVXXodl4BYIbKDL27Qy8NqPnmzhdt-5s8gv_7zf__Rnv-Wlf_</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>Semantic-Based Development of Service-Oriented Systems</title><source>Springer Books</source><creator>Wirsing, Martin ; Clark, Allan ; Gilmore, Stephen ; Hölzl, Matthias ; Knapp, Alexander ; Koch, Nora ; Schroeder, Andreas</creator><contributor>Pradat-Peyre, Jean-François ; Donzeau-Gouge, Véronique Viguié ; Najm, Elie</contributor><creatorcontrib>Wirsing, Martin ; Clark, Allan ; Gilmore, Stephen ; Hölzl, Matthias ; Knapp, Alexander ; Koch, Nora ; Schroeder, Andreas ; Pradat-Peyre, Jean-François ; Donzeau-Gouge, Véronique Viguié ; Najm, Elie</creatorcontrib><description>Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the Sensoria semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540462194</identifier><identifier>ISBN: 3540462198</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540462201</identifier><identifier>EISBN: 9783540462200</identifier><identifier>DOI: 10.1007/11888116_3</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Business Process Execution Language ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Graph Transformation Rule ; Model Transformation ; Service Level Agreement ; Soft Constraint ; Software</subject><ispartof>Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006, p.24-45</ispartof><rights>IFIP International Federation for Information Processing 2006</rights><rights>2008 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c295t-90671f426f002a3985b6362439511d51c3e4429ecc1ebb160720c2abd516fc8c3</citedby><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11888116_3$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11888116_3$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4035,4036,27904,38234,41421,42490</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=20015126$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Pradat-Peyre, Jean-François</contributor><contributor>Donzeau-Gouge, Véronique Viguié</contributor><contributor>Najm, Elie</contributor><creatorcontrib>Wirsing, Martin</creatorcontrib><creatorcontrib>Clark, Allan</creatorcontrib><creatorcontrib>Gilmore, Stephen</creatorcontrib><creatorcontrib>Hölzl, Matthias</creatorcontrib><creatorcontrib>Knapp, Alexander</creatorcontrib><creatorcontrib>Koch, Nora</creatorcontrib><creatorcontrib>Schroeder, Andreas</creatorcontrib><title>Semantic-Based Development of Service-Oriented Systems</title><title>Formal Techniques for Networked and Distributed Systems - FORTE 2006</title><description>Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the Sensoria semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.</description><subject>Applied sciences</subject><subject>Business Process Execution Language</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Graph Transformation Rule</subject><subject>Model Transformation</subject><subject>Service Level Agreement</subject><subject>Soft Constraint</subject><subject>Software</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540462194</isbn><isbn>3540462198</isbn><isbn>3540462201</isbn><isbn>9783540462200</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2006</creationdate><recordtype>book_chapter</recordtype><recordid>eNpFkEtrwzAQhNUXNE1z6S_IpdCL2l2tLFnHNn1CIIe0ZyEr6-I2toNlAvn3cUmgcxmYb5jDCHGDcI8A9gExz3NE4-lEXFGmQRulAE_FCA2iJNLuTEyczY8MnT4XIyBQ0llNl2KS0g8MIrSWcCTMkuvQ9FWUTyHxavrMW163m5qbftqW0yV32yqyXHTVkAx8uUs91-laXJRhnXhy9LH4en35nL3L-eLtY_Y4l1G5rJcOjMVSK1MCqEAuzwpDRmlyGeIqw0istXIcI3JRoAGrIKpQDMiUMY80FreH3U1IMazLLjSxSn7TVXXodl4BYIbKDL27Qy8NqPnmzhdt-5s8gv_7zf__Rnv-Wlf_</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Wirsing, Martin</creator><creator>Clark, Allan</creator><creator>Gilmore, Stephen</creator><creator>Hölzl, Matthias</creator><creator>Knapp, Alexander</creator><creator>Koch, Nora</creator><creator>Schroeder, Andreas</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2006</creationdate><title>Semantic-Based Development of Service-Oriented Systems</title><author>Wirsing, Martin ; Clark, Allan ; Gilmore, Stephen ; Hölzl, Matthias ; Knapp, Alexander ; Koch, Nora ; Schroeder, Andreas</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c295t-90671f426f002a3985b6362439511d51c3e4429ecc1ebb160720c2abd516fc8c3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Applied sciences</topic><topic>Business Process Execution Language</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Graph Transformation Rule</topic><topic>Model Transformation</topic><topic>Service Level Agreement</topic><topic>Soft Constraint</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Wirsing, Martin</creatorcontrib><creatorcontrib>Clark, Allan</creatorcontrib><creatorcontrib>Gilmore, Stephen</creatorcontrib><creatorcontrib>Hölzl, Matthias</creatorcontrib><creatorcontrib>Knapp, Alexander</creatorcontrib><creatorcontrib>Koch, Nora</creatorcontrib><creatorcontrib>Schroeder, Andreas</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Wirsing, Martin</au><au>Clark, Allan</au><au>Gilmore, Stephen</au><au>Hölzl, Matthias</au><au>Knapp, Alexander</au><au>Koch, Nora</au><au>Schroeder, Andreas</au><au>Pradat-Peyre, Jean-François</au><au>Donzeau-Gouge, Véronique Viguié</au><au>Najm, Elie</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Semantic-Based Development of Service-Oriented Systems</atitle><btitle>Formal Techniques for Networked and Distributed Systems - FORTE 2006</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2006</date><risdate>2006</risdate><spage>24</spage><epage>45</epage><pages>24-45</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540462194</isbn><isbn>3540462198</isbn><eisbn>3540462201</eisbn><eisbn>9783540462200</eisbn><abstract>Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the Sensoria semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11888116_3</doi><tpages>22</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Formal Techniques for Networked and Distributed Systems - FORTE 2006, 2006, p.24-45 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_20015126 |
| source | Springer Books |
| subjects | Applied sciences Business Process Execution Language Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Graph Transformation Rule Model Transformation Service Level Agreement Soft Constraint Software |
| title | Semantic-Based Development of Service-Oriented Systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-26T07%3A00%3A30IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Semantic-Based%20Development%20of%20Service-Oriented%20Systems&rft.btitle=Formal%20Techniques%20for%20Networked%20and%20Distributed%20Systems%20-%20FORTE%202006&rft.au=Wirsing,%20Martin&rft.date=2006&rft.spage=24&rft.epage=45&rft.pages=24-45&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540462194&rft.isbn_list=3540462198&rft_id=info:doi/10.1007/11888116_3&rft_dat=%3Cpascalfrancis_sprin%3E20015126%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540462201&rft.eisbn_list=9783540462200&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |