End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the an...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Buchholtz, Mikael, Gilmore, Stephen, Haenel, Valentin, Montangero, Carlo
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology performance analysis process calculi security analysis Software Software engineering UML
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	301
container_issue
container_start_page	286
container_title
container_volume
creator	Buchholtz, Mikael Gilmore, Stephen Haenel, Valentin Montangero, Carlo
description	We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.
doi_str_mv	10.1007/11526841_20
format	Book Chapter
fullrecord	<record><control><sourceid>pascalfrancis_sprin</sourceid><recordid>TN_cdi_pascalfrancis_primary_17027290</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>17027290</sourcerecordid><originalsourceid>FETCH-LOGICAL-p256t-3d03b69b65bd72af89596188d4e2d7b1d180db0a22629783f1777580db90ade03</originalsourceid><addsrcrecordid>eNpNULtOwzAUNS-JqnTiB7wwMAR87cSPsSqlVKpEpcLEEDm10wbSOLLN0L_HURHiLkc6j6t7D0K3QB6AEPEIUFAucygpOUMTJSQrcsJAQE7P0Qg4QMZYri7-NCqkpMUlGhFGaKZEzq7RJIRPkibluMhH6GPemSy6LAFedtHuvI7W4I3dfvsmHrFO_Nr62vmD7rYWTzvdHkMTsOtw3Fv8NF9MN3i2d966lO331uN1q-MQuEFXtW6DnfziGL0_z99mL9nqdbGcTVdZTwseM2YIq7iqeFEZQXUtVaE4SGlyS42owIAkpiKaUk6Hz2oQQhQDp4g2lrAxujvt7XXY6rb26dImlL1vDtofSxCpCaoG3_3JF5LU7awvK-e-QgmkHAou_xXMfgBtuWZS</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform</title><source>Springer Books</source><creator>Buchholtz, Mikael ; Gilmore, Stephen ; Haenel, Valentin ; Montangero, Carlo</creator><contributor>Tarlecki, Andrzej ; Hayes, Ian J. ; Fitzgerald, John</contributor><creatorcontrib>Buchholtz, Mikael ; Gilmore, Stephen ; Haenel, Valentin ; Montangero, Carlo ; Tarlecki, Andrzej ; Hayes, Ian J. ; Fitzgerald, John</creatorcontrib><description>We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540278825</identifier><identifier>ISBN: 3540278826</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540317142</identifier><identifier>EISBN: 3540317147</identifier><identifier>DOI: 10.1007/11526841_20</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; performance analysis ; process calculi ; security analysis ; Software ; Software engineering ; UML</subject><ispartof>FM 2005: Formal Methods, 2005, p.286-301</ispartof><rights>Springer-Verlag Berlin Heidelberg 2005</rights><rights>2005 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><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/11526841_20$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11526841_20$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,775,776,780,785,786,789,4036,4037,27902,38232,41418,42487</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17027290$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Tarlecki, Andrzej</contributor><contributor>Hayes, Ian J.</contributor><contributor>Fitzgerald, John</contributor><creatorcontrib>Buchholtz, Mikael</creatorcontrib><creatorcontrib>Gilmore, Stephen</creatorcontrib><creatorcontrib>Haenel, Valentin</creatorcontrib><creatorcontrib>Montangero, Carlo</creatorcontrib><title>End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform</title><title>FM 2005: Formal Methods</title><description>We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>performance analysis</subject><subject>process calculi</subject><subject>security analysis</subject><subject>Software</subject><subject>Software engineering</subject><subject>UML</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540278825</isbn><isbn>3540278826</isbn><isbn>9783540317142</isbn><isbn>3540317147</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2005</creationdate><recordtype>book_chapter</recordtype><recordid>eNpNULtOwzAUNS-JqnTiB7wwMAR87cSPsSqlVKpEpcLEEDm10wbSOLLN0L_HURHiLkc6j6t7D0K3QB6AEPEIUFAucygpOUMTJSQrcsJAQE7P0Qg4QMZYri7-NCqkpMUlGhFGaKZEzq7RJIRPkibluMhH6GPemSy6LAFedtHuvI7W4I3dfvsmHrFO_Nr62vmD7rYWTzvdHkMTsOtw3Fv8NF9MN3i2d966lO331uN1q-MQuEFXtW6DnfziGL0_z99mL9nqdbGcTVdZTwseM2YIq7iqeFEZQXUtVaE4SGlyS42owIAkpiKaUk6Hz2oQQhQDp4g2lrAxujvt7XXY6rb26dImlL1vDtofSxCpCaoG3_3JF5LU7awvK-e-QgmkHAou_xXMfgBtuWZS</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>Buchholtz, Mikael</creator><creator>Gilmore, Stephen</creator><creator>Haenel, Valentin</creator><creator>Montangero, Carlo</creator><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2005</creationdate><title>End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform</title><author>Buchholtz, Mikael ; Gilmore, Stephen ; Haenel, Valentin ; Montangero, Carlo</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p256t-3d03b69b65bd72af89596188d4e2d7b1d180db0a22629783f1777580db90ade03</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>performance analysis</topic><topic>process calculi</topic><topic>security analysis</topic><topic>Software</topic><topic>Software engineering</topic><topic>UML</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Buchholtz, Mikael</creatorcontrib><creatorcontrib>Gilmore, Stephen</creatorcontrib><creatorcontrib>Haenel, Valentin</creatorcontrib><creatorcontrib>Montangero, Carlo</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Buchholtz, Mikael</au><au>Gilmore, Stephen</au><au>Haenel, Valentin</au><au>Montangero, Carlo</au><au>Tarlecki, Andrzej</au><au>Hayes, Ian J.</au><au>Fitzgerald, John</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform</atitle><btitle>FM 2005: Formal Methods</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2005</date><risdate>2005</risdate><spage>286</spage><epage>301</epage><pages>286-301</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540278825</isbn><isbn>3540278826</isbn><eisbn>9783540317142</eisbn><eisbn>3540317147</eisbn><abstract>We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis are reflected back into a modified version of the input UML model. The design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools. We illustrate the approach with a well known protocol and report on the experience of industrial users who have applied Choreographer in their development work.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11526841_20</doi><tpages>16</tpages><oa>free_for_read</oa></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof	FM 2005: Formal Methods, 2005, p.286-301
issn	0302-9743 1611-3349
language	eng
recordid	cdi_pascalfrancis_primary_17027290
source	Springer Books
subjects	Applied sciences Computer science control theory systems Exact sciences and technology performance analysis process calculi security analysis Software Software engineering UML
title	End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T12%3A39%3A17IST&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=End-to-End%20Integrated%20Security%20and%20Performance%20Analysis%20on%20the%20DEGAS%20Choreographer%20Platform&rft.btitle=FM%202005:%20Formal%20Methods&rft.au=Buchholtz,%20Mikael&rft.date=2005&rft.spage=286&rft.epage=301&rft.pages=286-301&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540278825&rft.isbn_list=3540278826&rft_id=info:doi/10.1007/11526841_20&rft_dat=%3Cpascalfrancis_sprin%3E17027290%3C/pascalfrancis_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540317142&rft.eisbn_list=3540317147&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true