A knowledge representation language for requirements engineering
Requirements engineering, the phase of software development where the users' needs are investigated, is more and more shifting its concern from the target system towards its environment. A new generation of languages is needed to support the definition of application domain knowledge and the be...
Gespeichert in:
| Veröffentlicht in: | Proc. IEEE; (United States) 1986-10, Vol.74 (10), p.1431-1444 |
|---|---|
| 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 | 1444 |
|---|---|
| container_issue | 10 |
| container_start_page | 1431 |
| container_title | Proc. IEEE; (United States) |
| container_volume | 74 |
| creator | Dubois, E. Hagelstein, J. Lahou, E. Ponsaert, F. Rifaut, A. |
| description | Requirements engineering, the phase of software development where the users' needs are investigated, is more and more shifting its concern from the target system towards its environment. A new generation of languages is needed to support the definition of application domain knowledge and the behavior of the universe around the computer. This paper assesses the applicability of classical knowledge representation techniques to this purpose. Requirements engineers insist, however, more on natural representation, whereas expert systems designers insist on efficient automatic use of the knowledge. Given this priority of expressiveness, two candidates emerge: the semantic networks and the techniques based on logic. They are combined in a language called the ERAE model, which is illustrated on examples, and compared to other requirements engineering languages. |
| doi_str_mv | 10.1109/PROC.1986.13644 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_crossref_primary_10_1109_PROC_1986_13644</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1457912</ieee_id><sourcerecordid>24076261</sourcerecordid><originalsourceid>FETCH-LOGICAL-c346t-2572dc1d08c3198b0b3c5e5eb5c17929aa7d74732ac7c0cdba3b287090852493</originalsourceid><addsrcrecordid>eNpFkE1LxDAQhoMouK6ePXhZRLx1Nx9N09yUxS9YWJG9hzSd1mg33U1axH9vahc9Dcw88zLzIHRJ8JwQLBevb-vlnMg8mxOWpekRmhDO84RSnh2jCcYkTyQl8hSdhfCBMWY8YxN0dz_7dO1XA2UNMw87DwFcpzvbulmjXd3r2K9aH2f73nrYxmmYgautA_DW1efopNJNgItDnaLN48Nm-Zys1k8vy_tVYliadQnlgpaGlDg3LB5Z4IIZDhwKboiQVGotSpEKRrURBpuy0KygucAS55ymkk3R9Rjbhs6qYGwH5t20zoHplCAy_pdG6HaEdr7d9xA6tbXBQBMfgbYPiqZYZDQjEVyMoPFtCB4qtfN2q_23IlgNNtVgUw021a_NuHFziNbB6Kby2hkb_tZyigelEbsaMQsA_6EpF5JQ9gPMTnzI</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>24076261</pqid></control><display><type>article</type><title>A knowledge representation language for requirements engineering</title><source>IEEE Electronic Library (IEL)</source><creator>Dubois, E. ; Hagelstein, J. ; Lahou, E. ; Ponsaert, F. ; Rifaut, A.</creator><creatorcontrib>Dubois, E. ; Hagelstein, J. ; Lahou, E. ; Ponsaert, F. ; Rifaut, A. ; Philips Research Lab., B-1170 Brussels</creatorcontrib><description>Requirements engineering, the phase of software development where the users' needs are investigated, is more and more shifting its concern from the target system towards its environment. A new generation of languages is needed to support the definition of application domain knowledge and the behavior of the universe around the computer. This paper assesses the applicability of classical knowledge representation techniques to this purpose. Requirements engineers insist, however, more on natural representation, whereas expert systems designers insist on efficient automatic use of the knowledge. Given this priority of expressiveness, two candidates emerge: the semantic networks and the techniques based on logic. They are combined in a language called the ERAE model, which is illustrated on examples, and compared to other requirements engineering languages.</description><identifier>ISSN: 0018-9219</identifier><identifier>EISSN: 1558-2256</identifier><identifier>DOI: 10.1109/PROC.1986.13644</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>990210 - Supercomputers- (1987-1989) ; Application software ; Applied sciences ; ARTIFICIAL INTELLIGENCE ; Computer science; control theory; systems ; Design engineering ; Elevators ; ENGINEERING ; Exact sciences and technology ; EXPERT SYSTEMS ; GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE ; HUMAN FACTORS ENGINEERING ; KNOWLEDGE BASE ; Knowledge engineering ; Knowledge representation ; Learning and adaptive systems ; Logic ; MATHEMATICAL LOGIC ; NATURAL LANGUAGE ; Programming ; PROGRAMMING LANGUAGES ; Software systems</subject><ispartof>Proc. IEEE; (United States), 1986-10, Vol.74 (10), p.1431-1444</ispartof><rights>1987 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c346t-2572dc1d08c3198b0b3c5e5eb5c17929aa7d74732ac7c0cdba3b287090852493</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1457912$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,885,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1457912$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=8200003$$DView record in Pascal Francis$$Hfree_for_read</backlink><backlink>$$Uhttps://www.osti.gov/biblio/7190014$$D View this record in Osti.gov$$Hfree_for_read</backlink></links><search><creatorcontrib>Dubois, E.</creatorcontrib><creatorcontrib>Hagelstein, J.</creatorcontrib><creatorcontrib>Lahou, E.</creatorcontrib><creatorcontrib>Ponsaert, F.</creatorcontrib><creatorcontrib>Rifaut, A.</creatorcontrib><creatorcontrib>Philips Research Lab., B-1170 Brussels</creatorcontrib><title>A knowledge representation language for requirements engineering</title><title>Proc. IEEE; (United States)</title><addtitle>JPROC</addtitle><description>Requirements engineering, the phase of software development where the users' needs are investigated, is more and more shifting its concern from the target system towards its environment. A new generation of languages is needed to support the definition of application domain knowledge and the behavior of the universe around the computer. This paper assesses the applicability of classical knowledge representation techniques to this purpose. Requirements engineers insist, however, more on natural representation, whereas expert systems designers insist on efficient automatic use of the knowledge. Given this priority of expressiveness, two candidates emerge: the semantic networks and the techniques based on logic. They are combined in a language called the ERAE model, which is illustrated on examples, and compared to other requirements engineering languages.</description><subject>990210 - Supercomputers- (1987-1989)</subject><subject>Application software</subject><subject>Applied sciences</subject><subject>ARTIFICIAL INTELLIGENCE</subject><subject>Computer science; control theory; systems</subject><subject>Design engineering</subject><subject>Elevators</subject><subject>ENGINEERING</subject><subject>Exact sciences and technology</subject><subject>EXPERT SYSTEMS</subject><subject>GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE</subject><subject>HUMAN FACTORS ENGINEERING</subject><subject>KNOWLEDGE BASE</subject><subject>Knowledge engineering</subject><subject>Knowledge representation</subject><subject>Learning and adaptive systems</subject><subject>Logic</subject><subject>MATHEMATICAL LOGIC</subject><subject>NATURAL LANGUAGE</subject><subject>Programming</subject><subject>PROGRAMMING LANGUAGES</subject><subject>Software systems</subject><issn>0018-9219</issn><issn>1558-2256</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1986</creationdate><recordtype>article</recordtype><recordid>eNpFkE1LxDAQhoMouK6ePXhZRLx1Nx9N09yUxS9YWJG9hzSd1mg33U1axH9vahc9Dcw88zLzIHRJ8JwQLBevb-vlnMg8mxOWpekRmhDO84RSnh2jCcYkTyQl8hSdhfCBMWY8YxN0dz_7dO1XA2UNMw87DwFcpzvbulmjXd3r2K9aH2f73nrYxmmYgautA_DW1efopNJNgItDnaLN48Nm-Zys1k8vy_tVYliadQnlgpaGlDg3LB5Z4IIZDhwKboiQVGotSpEKRrURBpuy0KygucAS55ymkk3R9Rjbhs6qYGwH5t20zoHplCAy_pdG6HaEdr7d9xA6tbXBQBMfgbYPiqZYZDQjEVyMoPFtCB4qtfN2q_23IlgNNtVgUw021a_NuHFziNbB6Kby2hkb_tZyigelEbsaMQsA_6EpF5JQ9gPMTnzI</recordid><startdate>19861001</startdate><enddate>19861001</enddate><creator>Dubois, E.</creator><creator>Hagelstein, J.</creator><creator>Lahou, E.</creator><creator>Ponsaert, F.</creator><creator>Rifaut, A.</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><scope>OTOTI</scope></search><sort><creationdate>19861001</creationdate><title>A knowledge representation language for requirements engineering</title><author>Dubois, E. ; Hagelstein, J. ; Lahou, E. ; Ponsaert, F. ; Rifaut, A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c346t-2572dc1d08c3198b0b3c5e5eb5c17929aa7d74732ac7c0cdba3b287090852493</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1986</creationdate><topic>990210 - Supercomputers- (1987-1989)</topic><topic>Application software</topic><topic>Applied sciences</topic><topic>ARTIFICIAL INTELLIGENCE</topic><topic>Computer science; control theory; systems</topic><topic>Design engineering</topic><topic>Elevators</topic><topic>ENGINEERING</topic><topic>Exact sciences and technology</topic><topic>EXPERT SYSTEMS</topic><topic>GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE</topic><topic>HUMAN FACTORS ENGINEERING</topic><topic>KNOWLEDGE BASE</topic><topic>Knowledge engineering</topic><topic>Knowledge representation</topic><topic>Learning and adaptive systems</topic><topic>Logic</topic><topic>MATHEMATICAL LOGIC</topic><topic>NATURAL LANGUAGE</topic><topic>Programming</topic><topic>PROGRAMMING LANGUAGES</topic><topic>Software systems</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dubois, E.</creatorcontrib><creatorcontrib>Hagelstein, J.</creatorcontrib><creatorcontrib>Lahou, E.</creatorcontrib><creatorcontrib>Ponsaert, F.</creatorcontrib><creatorcontrib>Rifaut, A.</creatorcontrib><creatorcontrib>Philips Research Lab., B-1170 Brussels</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><collection>OSTI.GOV</collection><jtitle>Proc. IEEE; (United States)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Dubois, E.</au><au>Hagelstein, J.</au><au>Lahou, E.</au><au>Ponsaert, F.</au><au>Rifaut, A.</au><aucorp>Philips Research Lab., B-1170 Brussels</aucorp><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A knowledge representation language for requirements engineering</atitle><jtitle>Proc. IEEE; (United States)</jtitle><stitle>JPROC</stitle><date>1986-10-01</date><risdate>1986</risdate><volume>74</volume><issue>10</issue><spage>1431</spage><epage>1444</epage><pages>1431-1444</pages><issn>0018-9219</issn><eissn>1558-2256</eissn><coden>IEEPAD</coden><abstract>Requirements engineering, the phase of software development where the users' needs are investigated, is more and more shifting its concern from the target system towards its environment. A new generation of languages is needed to support the definition of application domain knowledge and the behavior of the universe around the computer. This paper assesses the applicability of classical knowledge representation techniques to this purpose. Requirements engineers insist, however, more on natural representation, whereas expert systems designers insist on efficient automatic use of the knowledge. Given this priority of expressiveness, two candidates emerge: the semantic networks and the techniques based on logic. They are combined in a language called the ERAE model, which is illustrated on examples, and compared to other requirements engineering languages.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/PROC.1986.13644</doi><tpages>14</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0018-9219 |
| ispartof | Proc. IEEE; (United States), 1986-10, Vol.74 (10), p.1431-1444 |
| issn | 0018-9219 1558-2256 |
| language | eng |
| recordid | cdi_crossref_primary_10_1109_PROC_1986_13644 |
| source | IEEE Electronic Library (IEL) |
| subjects | 990210 - Supercomputers- (1987-1989) Application software Applied sciences ARTIFICIAL INTELLIGENCE Computer science control theory systems Design engineering Elevators ENGINEERING Exact sciences and technology EXPERT SYSTEMS GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE HUMAN FACTORS ENGINEERING KNOWLEDGE BASE Knowledge engineering Knowledge representation Learning and adaptive systems Logic MATHEMATICAL LOGIC NATURAL LANGUAGE Programming PROGRAMMING LANGUAGES Software systems |
| title | A knowledge representation language for requirements engineering |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-20T07%3A56%3A12IST&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=A%20knowledge%20representation%20language%20for%20requirements%20engineering&rft.jtitle=Proc.%20IEEE;%20(United%20States)&rft.au=Dubois,%20E.&rft.aucorp=Philips%20Research%20Lab.,%20B-1170%20Brussels&rft.date=1986-10-01&rft.volume=74&rft.issue=10&rft.spage=1431&rft.epage=1444&rft.pages=1431-1444&rft.issn=0018-9219&rft.eissn=1558-2256&rft.coden=IEEPAD&rft_id=info:doi/10.1109/PROC.1986.13644&rft_dat=%3Cproquest_RIE%3E24076261%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=24076261&rft_id=info:pmid/&rft_ieee_id=1457912&rfr_iscdi=true |