Formal consistency checking over specifications in natural languages

Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The challenge for the verification and validation of specifications aris...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) s. 1677 - 1682
Hlavní autoři: Rongjie Yan, Chih-Hong Cheng, Yesheng Chai
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: EDAA 01.03.2015
Témata:
Biomedical monitoring
Cognition
Dictionaries
Grammar
Natural languages
Semantics
Syntactics
ISSN:1530-1591
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstract Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The challenge for the verification and validation of specifications arises from the syntax and semantic gap between different representations and the need of automatic tools. In this paper, we present a requirement-consistency maintenance framework to produce consistent representations. The first part is the automatic translation from natural languages describing functionalities to formal logic with an abstraction of time. It extends pure syntactic parsing by adding semantic reasoning and the support of partitioning input and output variables. The second part is the use of synthesis techniques to examine if the requirements are consistent in terms of realizability. When the process fails, the formulas that cause the inconsistency are reported to locate the problem.
AbstractList Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concretize vague ideas presented in natural languages. The challenge for the verification and validation of specifications arises from the syntax and semantic gap between different representations and the need of automatic tools. In this paper, we present a requirement-consistency maintenance framework to produce consistent representations. The first part is the automatic translation from natural languages describing functionalities to formal logic with an abstraction of time. It extends pure syntactic parsing by adding semantic reasoning and the support of partitioning input and output variables. The second part is the use of synthesis techniques to examine if the requirements are consistent in terms of realizability. When the process fails, the formulas that cause the inconsistency are reported to locate the problem.
Author Chih-Hong Cheng
Rongjie Yan
Yesheng Chai
Author_xml – sequence: 1
  surname: Rongjie Yan
  fullname: Rongjie Yan
  email: yrj@ios.ac.cn
  organization: State Key Lab. of Comput. Sci., Inst. of Software, Beijing, China
– sequence: 2
  surname: Chih-Hong Cheng
  fullname: Chih-Hong Cheng
  email: chih-hong.cheng@de.abb.com
  organization: Corp. Res., Ind. Software Technol., ABB, Ladenburg, Germany
– sequence: 3
  surname: Yesheng Chai
  fullname: Yesheng Chai
  email: chaiys@ios.ac.cn
  organization: Sch. of Comput. Sci. & Technol., Soochow Univ., Suzhou, China
BookMark eNotjMFOwzAQRI1UJErpmQOX_EDK2sbe7BEVWpAqcYFztXE3wdA6VZwi9e-JBHN5c3gz12qSuiRK3WpYuDH3Bp1DZxcj0QBcqDlhZanSziI4N1HTsUGpHekrNc_5CwC095YAp-pp1fUH3hehSznmQVI4F-FTwndMbdH9SF_ko4TYxMBDHJ0ipiLxcOrHzZ5Te-JW8o26bHifZf7PmfpYPb8vX8rN2_p1-bgpWSMOZW0oOA6GamIxIdTaevAWdw-OvK89U1M12LBlphB2ICCWkEzNJDtfo52pu7_fKCLbYx8P3J-3CGS8N_YXy6tOZQ
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.5555/2755753.2757200
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Computer Science
EISBN 9783981537055
3981537041
398153705X
9783981537048
EndPage 1682
ExternalDocumentID 7092662
Genre orig-research
GroupedDBID 123
29F
29O
6IE
6IF
6IH
6IK
6IL
6IN
AAJGR
AAWTH
ABLEC
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
FEDTE
IEGSK
IPLJI
KZ1
LMP
M43
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-a177t-b29c5ac29b9ae2ccb1360637d45966b6a9f8f7fa3aa9ccd0e0e39792ba9ed6b73
IEDL.DBID RIE
ISICitedReferencesCount 31
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000380393200314&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1530-1591
IngestDate Wed Aug 27 02:13:14 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a177t-b29c5ac29b9ae2ccb1360637d45966b6a9f8f7fa3aa9ccd0e0e39792ba9ed6b73
PageCount 6
ParticipantIDs ieee_primary_7092662
PublicationCentury 2000
PublicationDate 2015-March
PublicationDateYYYYMMDD 2015-03-01
PublicationDate_xml – month: 03
  year: 2015
  text: 2015-March
PublicationDecade 2010
PublicationTitle 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)
PublicationTitleAbbrev DATE
PublicationYear 2015
Publisher EDAA
Publisher_xml – name: EDAA
SSID ssj0001663907
ssj0005329
Score 2.0883458
Snippet Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these...
SourceID ieee
SourceType Publisher
StartPage 1677
SubjectTerms Biomedical monitoring
Cognition
Dictionaries
Grammar
Natural languages
Semantics
Syntactics
Title Formal consistency checking over specifications in natural languages
URI https://ieeexplore.ieee.org/document/7092662
WOSCitedRecordID wos000380393200314&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELZKxQBLoS3iLQ-MuHWcx9UzUDGgqgOgbpV9uUiVUIr6QOLfc076YGAhSyJLkSJbl-_z-fvuhLjLDVqt_UBBRF4l6LRyAKmiIgFygCauCpi-v8BoNJhM7Lgh7ndeGCKqxGfUC4_VWX4-x3VIlfVBW8YT_uEeAGS1V2ufT2HotBr28o646lDGAa0VQ3ZUl_VJ-eobSJmkxD2-gwnWtl99VSpYGbb-90Enorv358nxDnlORYPKtmhtGzTITby2xfGvaoMd8TgM_PRDYtDELgNX_pa8ZBiS5TIoOWWwXQbpUJ3Fk7NSVnU_-Z1tWnPZFW_Dp9eHZ7VpoqBcBLBS3lhMHRrrrSOD6KOY9ywx5EnKOx2fOVsMCihc7JxFzDVpCkd9xjtLeeYhPhPNcl7SuZAc_D7BBIoMTMJEk8k5UYQ-txqjBOBCdMIUTT_rOhnTzexc_j18JY6YfKS1nutaNFeLNd2IQ_xazZaL22pxfwAPHqOO
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEB2KCuql2lb8NgePps1ms53mrJaKtfRQpbeSzGahIK30Q_Dfm-z26-DFvewSWFgSZt_L5L0ZgPtUkhbCtjhGznJFRnCDmHCXKXQGScZ5AdOPLvZ6reFQ90vwsPHCOOdy8Zmrh8f8LD-d0jKkyhootMcT_8PdT5SSonBrbTMqHjy1wK3AI857lPmQFtyDdlQU9kn81ZCYeJoS1_0dZTC37XRWyYGlXf7fJ51AbevQY_0N9pxCyU0qUF63aGCriK3A8U69wSo8tQND_WQUVLHzwJZ_mF80CulyFrScLBgvg3ioyOOx8YTllT_9O-vE5rwG7-3nwWOHr9oocBMhLriVmhJDUlttnCSyUex3LTGmKvF7Hds0OmtlmJnYGE2UCidcOOyT1miXNi3GZ7A3mU7cOTAf_laRwqyJUnmq6em5cxHZVAuKFOIFVMMUjb6KShmj1exc_j18B4edwVt31H3pvV7BkaciSaHuuoa9xWzpbuCAvhfj-ew2X-hfwiWm1Q
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2015+Design%2C+Automation+%26+Test+in+Europe+Conference+%26+Exhibition+%28DATE%29&rft.atitle=Formal+consistency+checking+over+specifications+in+natural+languages&rft.au=Rongjie+Yan&rft.au=Chih-Hong+Cheng&rft.au=Yesheng+Chai&rft.date=2015-03-01&rft.pub=EDAA&rft.issn=1530-1591&rft.spage=1677&rft.epage=1682&rft_id=info:doi/10.5555%2F2755753.2757200&rft.externalDocID=7092662
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1530-1591&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1530-1591&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1530-1591&client=summon