Strategies for consistency checking based on unification
There is increasing interest in models of system development which use Multiple Viewpoints. Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views. Multiple viewpoints though, prompt the issue of consistency betwee...
Gespeichert in:
| Veröffentlicht in: | Science of computer programming 1999-03, Vol.33 (3), p.261-298 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 298 |
|---|---|
| container_issue | 3 |
| container_start_page | 261 |
| container_title | Science of computer programming |
| container_volume | 33 |
| creator | Bowman, H. Boiten, E.A. Derrick, J. Steen, M.W.A. |
| description | There is increasing interest in models of system development which use
Multiple Viewpoints. Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views. Multiple viewpoints though, prompt the issue of consistency between viewpoints. This paper describes an interpretation of consistency which is general enough to meet the requirements of consistency for very general viewpoints models. Furthermore, the paper investigates strategies for checking this consistency definition. Particular emphasis is placed on mechanisms to obtain global consistency (between an arbitrary number of viewpoints) from a series of binary consistency checks. The consistency checking strategies we develop are illustrated using the formal description technique LOTOS. |
| doi_str_mv | 10.1016/S0167-6423(98)00017-3 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_27188399</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S0167642398000173</els_id><sourcerecordid>27188399</sourcerecordid><originalsourceid>FETCH-LOGICAL-c414t-811b4f6b2ec922cf934d219788a2faccb2434cc9c1155619be979e558156ee7b3</originalsourceid><addsrcrecordid>eNqFkE1Lw0AQhhdRsFZ_gpCDiB6imc1mP04ixS8oeKiel81kUlfTpO6mQv-9aSt69DJzed53mIexU8iuIAN5PRuGSqXg-YXRl1mWgUrzPTYCrXiqjBT7bPSLHLKjGN8HSAoFI6ZnfXA9zT3FpO5Cgl0bfeypxXWCb4Qfvp0npYtUJV2brFpfe3S979pjdlC7JtLJzx6z1_u7l8ljOn1-eJrcTlMUIPpUA5SiliUnNJxjbXJRcTBKa8drh1hykQtEgwBFIcGUZJShotBQSCJV5mN2vutdhu5zRbG3Cx-Rmsa11K2i5Qq0zo0ZwGIHYuhiDFTbZfALF9YWMrvxZLee7EaCNdpuPdl8yJ39HHARXVMH16KPf2EpNYhN_c0Oo-HZL0_BRvSDJqp8IOxt1fl_Dn0DB6l7yQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>27188399</pqid></control><display><type>article</type><title>Strategies for consistency checking based on unification</title><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><source>ScienceDirect Journals (5 years ago - present)</source><creator>Bowman, H. ; Boiten, E.A. ; Derrick, J. ; Steen, M.W.A.</creator><creatorcontrib>Bowman, H. ; Boiten, E.A. ; Derrick, J. ; Steen, M.W.A.</creatorcontrib><description>There is increasing interest in models of system development which use
Multiple Viewpoints. Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views. Multiple viewpoints though, prompt the issue of consistency between viewpoints. This paper describes an interpretation of consistency which is general enough to meet the requirements of consistency for very general viewpoints models. Furthermore, the paper investigates strategies for checking this consistency definition. Particular emphasis is placed on mechanisms to obtain global consistency (between an arbitrary number of viewpoints) from a series of binary consistency checks. The consistency checking strategies we develop are illustrated using the formal description technique LOTOS.</description><identifier>ISSN: 0167-6423</identifier><identifier>EISSN: 1872-7964</identifier><identifier>DOI: 10.1016/S0167-6423(98)00017-3</identifier><identifier>CODEN: SCPGD4</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Consistency ; Exact sciences and technology ; Formal description techniques ; LOTOS ; Software ; Software engineering ; Viewpoints</subject><ispartof>Science of computer programming, 1999-03, Vol.33 (3), p.261-298</ispartof><rights>1999</rights><rights>1999 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c414t-811b4f6b2ec922cf934d219788a2faccb2434cc9c1155619be979e558156ee7b3</citedby><cites>FETCH-LOGICAL-c414t-811b4f6b2ec922cf934d219788a2faccb2434cc9c1155619be979e558156ee7b3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/S0167-6423(98)00017-3$$EHTML$$P50$$Gelsevier$$Hfree_for_read</linktohtml><link.rule.ids>314,778,782,3539,27911,27912,45982</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1668149$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Bowman, H.</creatorcontrib><creatorcontrib>Boiten, E.A.</creatorcontrib><creatorcontrib>Derrick, J.</creatorcontrib><creatorcontrib>Steen, M.W.A.</creatorcontrib><title>Strategies for consistency checking based on unification</title><title>Science of computer programming</title><description>There is increasing interest in models of system development which use
Multiple Viewpoints. Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views. Multiple viewpoints though, prompt the issue of consistency between viewpoints. This paper describes an interpretation of consistency which is general enough to meet the requirements of consistency for very general viewpoints models. Furthermore, the paper investigates strategies for checking this consistency definition. Particular emphasis is placed on mechanisms to obtain global consistency (between an arbitrary number of viewpoints) from a series of binary consistency checks. The consistency checking strategies we develop are illustrated using the formal description technique LOTOS.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Consistency</subject><subject>Exact sciences and technology</subject><subject>Formal description techniques</subject><subject>LOTOS</subject><subject>Software</subject><subject>Software engineering</subject><subject>Viewpoints</subject><issn>0167-6423</issn><issn>1872-7964</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1999</creationdate><recordtype>article</recordtype><recordid>eNqFkE1Lw0AQhhdRsFZ_gpCDiB6imc1mP04ixS8oeKiel81kUlfTpO6mQv-9aSt69DJzed53mIexU8iuIAN5PRuGSqXg-YXRl1mWgUrzPTYCrXiqjBT7bPSLHLKjGN8HSAoFI6ZnfXA9zT3FpO5Cgl0bfeypxXWCb4Qfvp0npYtUJV2brFpfe3S979pjdlC7JtLJzx6z1_u7l8ljOn1-eJrcTlMUIPpUA5SiliUnNJxjbXJRcTBKa8drh1hykQtEgwBFIcGUZJShotBQSCJV5mN2vutdhu5zRbG3Cx-Rmsa11K2i5Qq0zo0ZwGIHYuhiDFTbZfALF9YWMrvxZLee7EaCNdpuPdl8yJ39HHARXVMH16KPf2EpNYhN_c0Oo-HZL0_BRvSDJqp8IOxt1fl_Dn0DB6l7yQ</recordid><startdate>19990301</startdate><enddate>19990301</enddate><creator>Bowman, H.</creator><creator>Boiten, E.A.</creator><creator>Derrick, J.</creator><creator>Steen, M.W.A.</creator><general>Elsevier B.V</general><general>Elsevier</general><scope>6I.</scope><scope>AAFTH</scope><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19990301</creationdate><title>Strategies for consistency checking based on unification</title><author>Bowman, H. ; Boiten, E.A. ; Derrick, J. ; Steen, M.W.A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c414t-811b4f6b2ec922cf934d219788a2faccb2434cc9c1155619be979e558156ee7b3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1999</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Consistency</topic><topic>Exact sciences and technology</topic><topic>Formal description techniques</topic><topic>LOTOS</topic><topic>Software</topic><topic>Software engineering</topic><topic>Viewpoints</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Bowman, H.</creatorcontrib><creatorcontrib>Boiten, E.A.</creatorcontrib><creatorcontrib>Derrick, J.</creatorcontrib><creatorcontrib>Steen, M.W.A.</creatorcontrib><collection>ScienceDirect Open Access Titles</collection><collection>Elsevier:ScienceDirect:Open Access</collection><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science 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><jtitle>Science of computer programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bowman, H.</au><au>Boiten, E.A.</au><au>Derrick, J.</au><au>Steen, M.W.A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Strategies for consistency checking based on unification</atitle><jtitle>Science of computer programming</jtitle><date>1999-03-01</date><risdate>1999</risdate><volume>33</volume><issue>3</issue><spage>261</spage><epage>298</epage><pages>261-298</pages><issn>0167-6423</issn><eissn>1872-7964</eissn><coden>SCPGD4</coden><abstract>There is increasing interest in models of system development which use
Multiple Viewpoints. Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views. Multiple viewpoints though, prompt the issue of consistency between viewpoints. This paper describes an interpretation of consistency which is general enough to meet the requirements of consistency for very general viewpoints models. Furthermore, the paper investigates strategies for checking this consistency definition. Particular emphasis is placed on mechanisms to obtain global consistency (between an arbitrary number of viewpoints) from a series of binary consistency checks. The consistency checking strategies we develop are illustrated using the formal description technique LOTOS.</abstract><cop>Amsterdam</cop><cop>New York, NY</cop><pub>Elsevier B.V</pub><doi>10.1016/S0167-6423(98)00017-3</doi><tpages>38</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0167-6423 |
| ispartof | Science of computer programming, 1999-03, Vol.33 (3), p.261-298 |
| issn | 0167-6423 1872-7964 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_27188399 |
| source | Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals; ScienceDirect Journals (5 years ago - present) |
| subjects | Applied sciences Computer science control theory systems Consistency Exact sciences and technology Formal description techniques LOTOS Software Software engineering Viewpoints |
| title | Strategies for consistency checking based on unification |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T13%3A51%3A24IST&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=Strategies%20for%20consistency%20checking%20based%20on%20unification&rft.jtitle=Science%20of%20computer%20programming&rft.au=Bowman,%20H.&rft.date=1999-03-01&rft.volume=33&rft.issue=3&rft.spage=261&rft.epage=298&rft.pages=261-298&rft.issn=0167-6423&rft.eissn=1872-7964&rft.coden=SCPGD4&rft_id=info:doi/10.1016/S0167-6423(98)00017-3&rft_dat=%3Cproquest_cross%3E27188399%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=27188399&rft_id=info:pmid/&rft_els_id=S0167642398000173&rfr_iscdi=true |