Formal description techniques
Early in the development of OSI, it was recognized that formal description techniques (FDT's) would be required to accomplish the goals of OSI. This paper is a brief history and a report on the status of the work of ISO/TC97/SC16/WG1 ad hoc Group on Formal Description Techniques. The group comp...
Gespeichert in:
| Veröffentlicht in: | Proceedings of the IEEE 1983-01, Vol.71 (12), p.1356-1364 |
|---|---|
| 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 | 1364 |
|---|---|
| container_issue | 12 |
| container_start_page | 1356 |
| container_title | Proceedings of the IEEE |
| container_volume | 71 |
| creator | Vissers, C.A. Tenney, R.L. Bochmann, G.V. |
| description | Early in the development of OSI, it was recognized that formal description techniques (FDT's) would be required to accomplish the goals of OSI. This paper is a brief history and a report on the status of the work of ISO/TC97/SC16/WG1 ad hoc Group on Formal Description Techniques. The group comprises three subgroups: the first working on architectural concepts; the second, on an FDT based on extended finite-state machines; and the third, on an FDT based on temporal ordering of interaction primitives. An overview of the techniques developed by each of these groups, as of December, 1982, is presented. |
| doi_str_mv | 10.1109/PROC.1983.12778 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_23183303</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1457046</ieee_id><sourcerecordid>23183303</sourcerecordid><originalsourceid>FETCH-LOGICAL-c319t-1c1d1805d07082694cfb1235a4093082b1ead5ba67ccd9a13449edf4503e44a63</originalsourceid><addsrcrecordid>eNpFkE1LAzEURYMoWKtrFyJ0Ie6mfS_fWUppVShURNchzWQwMp2pyXThv3fGFl09uJx7HxxCrhGmiGBmL6_r-RSNZlOkSukTMkIhdEGpkKdkBIC6MBTNObnI-RMAmJBsRG6Xbdq6elKG7FPcdbFtJl3wH0382od8Sc4qV-dwdbxj8r5cvM2fitX68Xn-sCo8Q9MV6LFEDaIEBZpKw321QcqE42BYn2wwuFJsnFTel8Yh49yEsuICWODcSTYm94fdXWqHv53dxuxDXbsmtPtsKUPNGLAenB1An9qcU6jsLsWtS98WwQ4a7KDBDhrsr4a-cXecdtm7ukqu8TH_1QxXnEvVYzcHLIYQ_ke5UMAl-wGe82PP</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>23183303</pqid></control><display><type>article</type><title>Formal description techniques</title><source>IEEE Electronic Library (IEL)</source><creator>Vissers, C.A. ; Tenney, R.L. ; Bochmann, G.V.</creator><creatorcontrib>Vissers, C.A. ; Tenney, R.L. ; Bochmann, G.V.</creatorcontrib><description>Early in the development of OSI, it was recognized that formal description techniques (FDT's) would be required to accomplish the goals of OSI. This paper is a brief history and a report on the status of the work of ISO/TC97/SC16/WG1 ad hoc Group on Formal Description Techniques. The group comprises three subgroups: the first working on architectural concepts; the second, on an FDT based on extended finite-state machines; and the third, on an FDT based on temporal ordering of interaction primitives. An overview of the techniques developed by each of these groups, as of December, 1982, is presented.</description><identifier>ISSN: 0018-9219</identifier><identifier>EISSN: 1558-2256</identifier><identifier>DOI: 10.1109/PROC.1983.12778</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Formal specifications ; Guidelines ; Meeting planning ; Open systems ; Proposals ; Protocols ; Software ; Standards development ; Technical drawing</subject><ispartof>Proceedings of the IEEE, 1983-01, Vol.71 (12), p.1356-1364</ispartof><rights>1984 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c319t-1c1d1805d07082694cfb1235a4093082b1ead5ba67ccd9a13449edf4503e44a63</citedby><cites>FETCH-LOGICAL-c319t-1c1d1805d07082694cfb1235a4093082b1ead5ba67ccd9a13449edf4503e44a63</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1457046$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27915,27916,54749</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1457046$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=9474467$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Vissers, C.A.</creatorcontrib><creatorcontrib>Tenney, R.L.</creatorcontrib><creatorcontrib>Bochmann, G.V.</creatorcontrib><title>Formal description techniques</title><title>Proceedings of the IEEE</title><addtitle>JPROC</addtitle><description>Early in the development of OSI, it was recognized that formal description techniques (FDT's) would be required to accomplish the goals of OSI. This paper is a brief history and a report on the status of the work of ISO/TC97/SC16/WG1 ad hoc Group on Formal Description Techniques. The group comprises three subgroups: the first working on architectural concepts; the second, on an FDT based on extended finite-state machines; and the third, on an FDT based on temporal ordering of interaction primitives. An overview of the techniques developed by each of these groups, as of December, 1982, is presented.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Formal specifications</subject><subject>Guidelines</subject><subject>Meeting planning</subject><subject>Open systems</subject><subject>Proposals</subject><subject>Protocols</subject><subject>Software</subject><subject>Standards development</subject><subject>Technical drawing</subject><issn>0018-9219</issn><issn>1558-2256</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1983</creationdate><recordtype>article</recordtype><recordid>eNpFkE1LAzEURYMoWKtrFyJ0Ie6mfS_fWUppVShURNchzWQwMp2pyXThv3fGFl09uJx7HxxCrhGmiGBmL6_r-RSNZlOkSukTMkIhdEGpkKdkBIC6MBTNObnI-RMAmJBsRG6Xbdq6elKG7FPcdbFtJl3wH0382od8Sc4qV-dwdbxj8r5cvM2fitX68Xn-sCo8Q9MV6LFEDaIEBZpKw321QcqE42BYn2wwuFJsnFTel8Yh49yEsuICWODcSTYm94fdXWqHv53dxuxDXbsmtPtsKUPNGLAenB1An9qcU6jsLsWtS98WwQ4a7KDBDhrsr4a-cXecdtm7ukqu8TH_1QxXnEvVYzcHLIYQ_ke5UMAl-wGe82PP</recordid><startdate>19830101</startdate><enddate>19830101</enddate><creator>Vissers, C.A.</creator><creator>Tenney, R.L.</creator><creator>Bochmann, G.V.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><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>19830101</creationdate><title>Formal description techniques</title><author>Vissers, C.A. ; Tenney, R.L. ; Bochmann, G.V.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c319t-1c1d1805d07082694cfb1235a4093082b1ead5ba67ccd9a13449edf4503e44a63</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1983</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Formal specifications</topic><topic>Guidelines</topic><topic>Meeting planning</topic><topic>Open systems</topic><topic>Proposals</topic><topic>Protocols</topic><topic>Software</topic><topic>Standards development</topic><topic>Technical drawing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Vissers, C.A.</creatorcontrib><creatorcontrib>Tenney, R.L.</creatorcontrib><creatorcontrib>Bochmann, G.V.</creatorcontrib><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>Proceedings of the IEEE</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Vissers, C.A.</au><au>Tenney, R.L.</au><au>Bochmann, G.V.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal description techniques</atitle><jtitle>Proceedings of the IEEE</jtitle><stitle>JPROC</stitle><date>1983-01-01</date><risdate>1983</risdate><volume>71</volume><issue>12</issue><spage>1356</spage><epage>1364</epage><pages>1356-1364</pages><issn>0018-9219</issn><eissn>1558-2256</eissn><coden>IEEPAD</coden><abstract>Early in the development of OSI, it was recognized that formal description techniques (FDT's) would be required to accomplish the goals of OSI. This paper is a brief history and a report on the status of the work of ISO/TC97/SC16/WG1 ad hoc Group on Formal Description Techniques. The group comprises three subgroups: the first working on architectural concepts; the second, on an FDT based on extended finite-state machines; and the third, on an FDT based on temporal ordering of interaction primitives. An overview of the techniques developed by each of these groups, as of December, 1982, is presented.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/PROC.1983.12778</doi><tpages>9</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0018-9219 |
| ispartof | Proceedings of the IEEE, 1983-01, Vol.71 (12), p.1356-1364 |
| issn | 0018-9219 1558-2256 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_23183303 |
| source | IEEE Electronic Library (IEL) |
| subjects | Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Formal specifications Guidelines Meeting planning Open systems Proposals Protocols Software Standards development Technical drawing |
| title | Formal description techniques |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T03%3A26%3A57IST&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=Formal%20description%20techniques&rft.jtitle=Proceedings%20of%20the%20IEEE&rft.au=Vissers,%20C.A.&rft.date=1983-01-01&rft.volume=71&rft.issue=12&rft.spage=1356&rft.epage=1364&rft.pages=1356-1364&rft.issn=0018-9219&rft.eissn=1558-2256&rft.coden=IEEPAD&rft_id=info:doi/10.1109/PROC.1983.12778&rft_dat=%3Cproquest_RIE%3E23183303%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=23183303&rft_id=info:pmid/&rft_ieee_id=1457046&rfr_iscdi=true |