The Mobius framework and its implementation
The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the m...
Gespeichert in:
Veröffentlicht in: | IEEE transactions on software engineering 2002-10, Vol.28 (10), p.956-969 |
---|---|
Hauptverfasser: | , , , , , , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 969 |
---|---|
container_issue | 10 |
container_start_page | 956 |
container_title | IEEE transactions on software engineering |
container_volume | 28 |
creator | Deavours, D.D. Clark, G. Courtney, T. Daly, D. Derisavi, S. Doyle, J.M. Sanders, W.H. Webster, P.G. |
description | The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined abstract functional interface. Models and solution techniques interact with one another through the use of the standard interface, allowing them to interact with Mobius framework components, not formalism components. This permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques. This paper describes our approach, focusing on the "atomic model". We describe the formal description of the Mobius components as well as their implementations in our software tool. |
doi_str_mv | 10.1109/TSE.2002.1041052 |
format | Article |
fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_907949692</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1041052</ieee_id><sourcerecordid>207821601</sourcerecordid><originalsourceid>FETCH-LOGICAL-c446t-3f4406952e167caa0df9f4b084857339521b9369e1bcf534aecd3db3194503a03</originalsourceid><addsrcrecordid>eNp9kEtLw0AUhQdRsFb3gpvgQheSeueV5C6l1AdUXFjXwyS5wdQmqTMJ4r93SroQF67u4nznwP0YO-cw4xzwdvW6mAkAMeOgOGhxwCYcJcZSCzhkEwDMYq0zPGYn3q8BQKepnrCb1TtFz11eDz6qnG3oq3MfkW3LqO59VDfbDTXU9ravu_aUHVV24-lsf6fs7X6xmj_Gy5eHp_ndMi6USvpYVkpBgloQT9LCWigrrFQOmcp0KmUIeI4yQeJ5UWmpLBWlLHPJUWmQFuSUXY-7W9d9DuR709S-oM3GttQN3iCkqDBBEcirf0mRaQgyeAAv_4DrbnBt-MJw1DoVGU8CBCNUuM57R5XZurqx7ttwMDvJJkg2O8lmLzlULsZKTUS_8DH9AWBxdTQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195572816</pqid></control><display><type>article</type><title>The Mobius framework and its implementation</title><source>IEEE Electronic Library (IEL)</source><creator>Deavours, D.D. ; Clark, G. ; Courtney, T. ; Daly, D. ; Derisavi, S. ; Doyle, J.M. ; Sanders, W.H. ; Webster, P.G.</creator><creatorcontrib>Deavours, D.D. ; Clark, G. ; Courtney, T. ; Daly, D. ; Derisavi, S. ; Doyle, J.M. ; Sanders, W.H. ; Webster, P.G.</creatorcontrib><description>The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined abstract functional interface. Models and solution techniques interact with one another through the use of the standard interface, allowing them to interact with Mobius framework components, not formalism components. This permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques. This paper describes our approach, focusing on the "atomic model". We describe the formal description of the Mobius components as well as their implementations in our software tool.</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/TSE.2002.1041052</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Availability ; Communication ; Computer network reliability ; Computer networks ; Computer programs ; Equivalence ; Focusing ; Formalism ; Information retrieval ; Integrated software ; Mathematical models ; Object oriented programming ; Petri nets ; Preserves ; Process design ; Queuing ; Simulation ; Software ; Software tools ; Stochastic processes ; Stochastic systems ; Studies ; System performance ; Telecommunication network reliability ; Translations</subject><ispartof>IEEE transactions on software engineering, 2002-10, Vol.28 (10), p.956-969</ispartof><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Oct 2002</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c446t-3f4406952e167caa0df9f4b084857339521b9369e1bcf534aecd3db3194503a03</citedby><cites>FETCH-LOGICAL-c446t-3f4406952e167caa0df9f4b084857339521b9369e1bcf534aecd3db3194503a03</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1041052$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1041052$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Deavours, D.D.</creatorcontrib><creatorcontrib>Clark, G.</creatorcontrib><creatorcontrib>Courtney, T.</creatorcontrib><creatorcontrib>Daly, D.</creatorcontrib><creatorcontrib>Derisavi, S.</creatorcontrib><creatorcontrib>Doyle, J.M.</creatorcontrib><creatorcontrib>Sanders, W.H.</creatorcontrib><creatorcontrib>Webster, P.G.</creatorcontrib><title>The Mobius framework and its implementation</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined abstract functional interface. Models and solution techniques interact with one another through the use of the standard interface, allowing them to interact with Mobius framework components, not formalism components. This permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques. This paper describes our approach, focusing on the "atomic model". We describe the formal description of the Mobius components as well as their implementations in our software tool.</description><subject>Availability</subject><subject>Communication</subject><subject>Computer network reliability</subject><subject>Computer networks</subject><subject>Computer programs</subject><subject>Equivalence</subject><subject>Focusing</subject><subject>Formalism</subject><subject>Information retrieval</subject><subject>Integrated software</subject><subject>Mathematical models</subject><subject>Object oriented programming</subject><subject>Petri nets</subject><subject>Preserves</subject><subject>Process design</subject><subject>Queuing</subject><subject>Simulation</subject><subject>Software</subject><subject>Software tools</subject><subject>Stochastic processes</subject><subject>Stochastic systems</subject><subject>Studies</subject><subject>System performance</subject><subject>Telecommunication network reliability</subject><subject>Translations</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2002</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><sourceid>8G5</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNp9kEtLw0AUhQdRsFb3gpvgQheSeueV5C6l1AdUXFjXwyS5wdQmqTMJ4r93SroQF67u4nznwP0YO-cw4xzwdvW6mAkAMeOgOGhxwCYcJcZSCzhkEwDMYq0zPGYn3q8BQKepnrCb1TtFz11eDz6qnG3oq3MfkW3LqO59VDfbDTXU9ravu_aUHVV24-lsf6fs7X6xmj_Gy5eHp_ndMi6USvpYVkpBgloQT9LCWigrrFQOmcp0KmUIeI4yQeJ5UWmpLBWlLHPJUWmQFuSUXY-7W9d9DuR709S-oM3GttQN3iCkqDBBEcirf0mRaQgyeAAv_4DrbnBt-MJw1DoVGU8CBCNUuM57R5XZurqx7ttwMDvJJkg2O8lmLzlULsZKTUS_8DH9AWBxdTQ</recordid><startdate>20021001</startdate><enddate>20021001</enddate><creator>Deavours, D.D.</creator><creator>Clark, G.</creator><creator>Courtney, T.</creator><creator>Daly, D.</creator><creator>Derisavi, S.</creator><creator>Doyle, J.M.</creator><creator>Sanders, W.H.</creator><creator>Webster, P.G.</creator><general>IEEE</general><general>IEEE Computer Society</general><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7WY</scope><scope>7WZ</scope><scope>7X7</scope><scope>7XB</scope><scope>87Z</scope><scope>88E</scope><scope>88F</scope><scope>88I</scope><scope>88K</scope><scope>8AL</scope><scope>8FE</scope><scope>8FG</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>K9.</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M0S</scope><scope>M1P</scope><scope>M1Q</scope><scope>M2O</scope><scope>M2P</scope><scope>M2T</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>7SP</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>20021001</creationdate><title>The Mobius framework and its implementation</title><author>Deavours, D.D. ; Clark, G. ; Courtney, T. ; Daly, D. ; Derisavi, S. ; Doyle, J.M. ; Sanders, W.H. ; Webster, P.G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c446t-3f4406952e167caa0df9f4b084857339521b9369e1bcf534aecd3db3194503a03</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Availability</topic><topic>Communication</topic><topic>Computer network reliability</topic><topic>Computer networks</topic><topic>Computer programs</topic><topic>Equivalence</topic><topic>Focusing</topic><topic>Formalism</topic><topic>Information retrieval</topic><topic>Integrated software</topic><topic>Mathematical models</topic><topic>Object oriented programming</topic><topic>Petri nets</topic><topic>Preserves</topic><topic>Process design</topic><topic>Queuing</topic><topic>Simulation</topic><topic>Software</topic><topic>Software tools</topic><topic>Stochastic processes</topic><topic>Stochastic systems</topic><topic>Studies</topic><topic>System performance</topic><topic>Telecommunication network reliability</topic><topic>Translations</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Deavours, D.D.</creatorcontrib><creatorcontrib>Clark, G.</creatorcontrib><creatorcontrib>Courtney, T.</creatorcontrib><creatorcontrib>Daly, D.</creatorcontrib><creatorcontrib>Derisavi, S.</creatorcontrib><creatorcontrib>Doyle, J.M.</creatorcontrib><creatorcontrib>Sanders, W.H.</creatorcontrib><creatorcontrib>Webster, P.G.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>Health & Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</collection><collection>Medical Database (Alumni Edition)</collection><collection>Military Database (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Telecommunications (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Health & Medical Complete (Alumni)</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Health & Medical Collection (Alumni Edition)</collection><collection>Medical Database</collection><collection>Military Database</collection><collection>Research Library</collection><collection>Science Database</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Business</collection><collection>ProQuest One Business (Alumni)</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><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</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>Electronics & Communications Abstracts</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Deavours, D.D.</au><au>Clark, G.</au><au>Courtney, T.</au><au>Daly, D.</au><au>Derisavi, S.</au><au>Doyle, J.M.</au><au>Sanders, W.H.</au><au>Webster, P.G.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The Mobius framework and its implementation</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>2002-10-01</date><risdate>2002</risdate><volume>28</volume><issue>10</issue><spage>956</spage><epage>969</epage><pages>956-969</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>The Mobius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Mobius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined abstract functional interface. Models and solution techniques interact with one another through the use of the standard interface, allowing them to interact with Mobius framework components, not formalism components. This permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques. This paper describes our approach, focusing on the "atomic model". We describe the formal description of the Mobius components as well as their implementations in our software tool.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TSE.2002.1041052</doi><tpages>14</tpages></addata></record> |
fulltext | fulltext_linktorsrc |
identifier | ISSN: 0098-5589 |
ispartof | IEEE transactions on software engineering, 2002-10, Vol.28 (10), p.956-969 |
issn | 0098-5589 1939-3520 |
language | eng |
recordid | cdi_proquest_miscellaneous_907949692 |
source | IEEE Electronic Library (IEL) |
subjects | Availability Communication Computer network reliability Computer networks Computer programs Equivalence Focusing Formalism Information retrieval Integrated software Mathematical models Object oriented programming Petri nets Preserves Process design Queuing Simulation Software Software tools Stochastic processes Stochastic systems Studies System performance Telecommunication network reliability Translations |
title | The Mobius framework and its implementation |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T14%3A52%3A51IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20Mobius%20framework%20and%20its%20implementation&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Deavours,%20D.D.&rft.date=2002-10-01&rft.volume=28&rft.issue=10&rft.spage=956&rft.epage=969&rft.pages=956-969&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/TSE.2002.1041052&rft_dat=%3Cproquest_RIE%3E207821601%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=195572816&rft_id=info:pmid/&rft_ieee_id=1041052&rfr_iscdi=true |