A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems; however it is not a formal specification language. This paper proposes a formal approach for UML-RT through a mapping of the UML-RT communicating elements into the π-calculus (or pi-calculus) process algebra...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Advances in software engineering 2009-01, Vol.2009 (2009), p.1-26
Hauptverfasser: Bezerra, J. M., Hirata, C. M.
Format: Artikel
Sprache:eng
Schlagworte:
Calculus
Computer science
Design
Software
Studies
Syntax
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 26
container_issue 2009
container_start_page 1
container_title Advances in software engineering
container_volume 2009
creator Bezerra, J. M.
Hirata, C. M.
description UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems; however it is not a formal specification language. This paper proposes a formal approach for UML-RT through a mapping of the UML-RT communicating elements into the π-calculus (or pi-calculus) process algebra. The formal approach both captures the intended behavior of the system being modeled and provides a rigorous and nonambiguous system description. Our proposal differentiates from other research work because we map UML-RT to π-calculus, and we allow the mapping of dynamic reconfiguration of UML-RT unwired ports. We illustrate the usage and applicability of the mapping through three examples. The first example focuses on explaining the mapping; the second one aims to demonstrate the use of the π-calculus definitions to verify system requirements; the third case is an example of mobile processes called Handover protocol.
doi_str_mv 10.1155/2009/656810
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_855528953</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2285103651</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1990-f3825db8b61c68a3ec63ff79f4d144aa1b5fe6a7e73229b6a3ff2c176b2223633</originalsourceid><addsrcrecordid>eNqF0E1LAzEQBuAgCpbak2cheFTW5mPzdSzFqlBRtD2HbDahKdtmTbpI_71bVryaywTmYWZ4AbjG6AFjxqYEITXljEuMzsAIcykKyTk9__szdgkmOW9R_6hiAqERWMzge2yOpg4WtqGYm8Z2TZfhrG1TNHYDfUzwsHFwEdPONPCzdTb4YM0hxD2MHq5fl8XH6gpceNNkN_mtY7BePK7mz8Xy7ellPlsWFiuFCk8lYXUlK44tl4Y6y6n3QvmyxmVpDK6Yd9wIJyghquKm7xKLBa8IIZRTOga3w9z-uq_O5YPexi7t-5VaMsaIVOyE7gdkU8w5Oa_bFHYmHTVG-hSVPkWlh6h6fTfoTdjX5jv8g28G7HrivPnDpZSiZPQHMXFvcg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>855528953</pqid></control><display><type>article</type><title>A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT</title><source>Wiley Online Library Open Access</source><source>EZB-FREE-00999 freely available EZB journals</source><source>Alma/SFX Local Collection</source><creator>Bezerra, J. M. ; Hirata, C. M.</creator><contributor>Hilburn, Thomas B.</contributor><creatorcontrib>Bezerra, J. M. ; Hirata, C. M. ; Hilburn, Thomas B.</creatorcontrib><description>UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems; however it is not a formal specification language. This paper proposes a formal approach for UML-RT through a mapping of the UML-RT communicating elements into the π-calculus (or pi-calculus) process algebra. The formal approach both captures the intended behavior of the system being modeled and provides a rigorous and nonambiguous system description. Our proposal differentiates from other research work because we map UML-RT to π-calculus, and we allow the mapping of dynamic reconfiguration of UML-RT unwired ports. We illustrate the usage and applicability of the mapping through three examples. The first example focuses on explaining the mapping; the second one aims to demonstrate the use of the π-calculus definitions to verify system requirements; the third case is an example of mobile processes called Handover protocol.</description><identifier>ISSN: 1687-8655</identifier><identifier>EISSN: 1687-8663</identifier><identifier>DOI: 10.1155/2009/656810</identifier><language>eng</language><publisher>Cairo, Egypt: Hindawi Puplishing Corporation</publisher><subject>Calculus ; Computer science ; Design ; Software ; Studies ; Syntax</subject><ispartof>Advances in software engineering, 2009-01, Vol.2009 (2009), p.1-26</ispartof><rights>Copyright © 2009</rights><rights>Copyright © 2009 J. M. Bezerra et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c1990-f3825db8b61c68a3ec63ff79f4d144aa1b5fe6a7e73229b6a3ff2c176b2223633</citedby><cites>FETCH-LOGICAL-c1990-f3825db8b61c68a3ec63ff79f4d144aa1b5fe6a7e73229b6a3ff2c176b2223633</cites><orcidid>0000-0002-9746-7605</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><contributor>Hilburn, Thomas B.</contributor><creatorcontrib>Bezerra, J. M.</creatorcontrib><creatorcontrib>Hirata, C. M.</creatorcontrib><title>A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT</title><title>Advances in software engineering</title><description>UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems; however it is not a formal specification language. This paper proposes a formal approach for UML-RT through a mapping of the UML-RT communicating elements into the π-calculus (or pi-calculus) process algebra. The formal approach both captures the intended behavior of the system being modeled and provides a rigorous and nonambiguous system description. Our proposal differentiates from other research work because we map UML-RT to π-calculus, and we allow the mapping of dynamic reconfiguration of UML-RT unwired ports. We illustrate the usage and applicability of the mapping through three examples. The first example focuses on explaining the mapping; the second one aims to demonstrate the use of the π-calculus definitions to verify system requirements; the third case is an example of mobile processes called Handover protocol.</description><subject>Calculus</subject><subject>Computer science</subject><subject>Design</subject><subject>Software</subject><subject>Studies</subject><subject>Syntax</subject><issn>1687-8655</issn><issn>1687-8663</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><sourceid>RHX</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNqF0E1LAzEQBuAgCpbak2cheFTW5mPzdSzFqlBRtD2HbDahKdtmTbpI_71bVryaywTmYWZ4AbjG6AFjxqYEITXljEuMzsAIcykKyTk9__szdgkmOW9R_6hiAqERWMzge2yOpg4WtqGYm8Z2TZfhrG1TNHYDfUzwsHFwEdPONPCzdTb4YM0hxD2MHq5fl8XH6gpceNNkN_mtY7BePK7mz8Xy7ellPlsWFiuFCk8lYXUlK44tl4Y6y6n3QvmyxmVpDK6Yd9wIJyghquKm7xKLBa8IIZRTOga3w9z-uq_O5YPexi7t-5VaMsaIVOyE7gdkU8w5Oa_bFHYmHTVG-hSVPkWlh6h6fTfoTdjX5jv8g28G7HrivPnDpZSiZPQHMXFvcg</recordid><startdate>20090101</startdate><enddate>20090101</enddate><creator>Bezerra, J. M.</creator><creator>Hirata, C. M.</creator><general>Hindawi Puplishing Corporation</general><general>Hindawi Publishing Corporation</general><general>Hindawi Limited</general><scope>ADJCN</scope><scope>AHFXO</scope><scope>RHU</scope><scope>RHW</scope><scope>RHX</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>CWDGH</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><orcidid>https://orcid.org/0000-0002-9746-7605</orcidid></search><sort><creationdate>20090101</creationdate><title>A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT</title><author>Bezerra, J. M. ; Hirata, C. M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1990-f3825db8b61c68a3ec63ff79f4d144aa1b5fe6a7e73229b6a3ff2c176b2223633</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Calculus</topic><topic>Computer science</topic><topic>Design</topic><topic>Software</topic><topic>Studies</topic><topic>Syntax</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Bezerra, J. M.</creatorcontrib><creatorcontrib>Hirata, C. M.</creatorcontrib><collection>الدوريات العلمية والإحصائية - e-Marefa Academic and Statistical Periodicals</collection><collection>معرفة - المحتوى العربي الأكاديمي المتكامل - e-Marefa Academic Complete</collection><collection>Hindawi Publishing Complete</collection><collection>Hindawi Publishing Subscription Journals</collection><collection>Hindawi Publishing Open Access Journals</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>Middle East &amp; Africa Database</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Engineering Database</collection><collection>Advanced Technologies &amp; Aerospace Database</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>Access via ProQuest (Open Access)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><jtitle>Advances in software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bezerra, J. M.</au><au>Hirata, C. M.</au><au>Hilburn, Thomas B.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT</atitle><jtitle>Advances in software engineering</jtitle><date>2009-01-01</date><risdate>2009</risdate><volume>2009</volume><issue>2009</issue><spage>1</spage><epage>26</epage><pages>1-26</pages><issn>1687-8655</issn><eissn>1687-8663</eissn><abstract>UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems; however it is not a formal specification language. This paper proposes a formal approach for UML-RT through a mapping of the UML-RT communicating elements into the π-calculus (or pi-calculus) process algebra. The formal approach both captures the intended behavior of the system being modeled and provides a rigorous and nonambiguous system description. Our proposal differentiates from other research work because we map UML-RT to π-calculus, and we allow the mapping of dynamic reconfiguration of UML-RT unwired ports. We illustrate the usage and applicability of the mapping through three examples. The first example focuses on explaining the mapping; the second one aims to demonstrate the use of the π-calculus definitions to verify system requirements; the third case is an example of mobile processes called Handover protocol.</abstract><cop>Cairo, Egypt</cop><pub>Hindawi Puplishing Corporation</pub><doi>10.1155/2009/656810</doi><tpages>26</tpages><orcidid>https://orcid.org/0000-0002-9746-7605</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 1687-8655
ispartof Advances in software engineering, 2009-01, Vol.2009 (2009), p.1-26
issn 1687-8655
1687-8663
language eng
recordid cdi_proquest_journals_855528953
source Wiley Online Library Open Access; EZB-FREE-00999 freely available EZB journals; Alma/SFX Local Collection
subjects Calculus
Computer science
Design
Software
Studies
Syntax
title A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T05%3A14%3A40IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Polyadic%20pi-Calculus%20Approach%20for%20the%20Formal%20Specification%20of%20UML-RT&rft.jtitle=Advances%20in%20software%20engineering&rft.au=Bezerra,%20J.%20M.&rft.date=2009-01-01&rft.volume=2009&rft.issue=2009&rft.spage=1&rft.epage=26&rft.pages=1-26&rft.issn=1687-8655&rft.eissn=1687-8663&rft_id=info:doi/10.1155/2009/656810&rft_dat=%3Cproquest_cross%3E2285103651%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=855528953&rft_id=info:pmid/&rfr_iscdi=true