Using Propositional Logic for Requirements Verification of Service Workflow
This paper presents a requirement-oriented automated framework for formal verification of service workflows. It is based on our previous work describing the requirement-oriented service workflow specification language called SWSpec. This language has been developed to facilitate workflow composer as...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on industrial informatics 2012-08, Vol.8 (3), p.639-646 |
|---|---|
| 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 | 646 |
|---|---|
| container_issue | 3 |
| container_start_page | 639 |
| container_title | IEEE transactions on industrial informatics |
| container_volume | 8 |
| creator | Li Da Xu Viriyasitavat, W. Ruchikachorn, P. Martin, A. |
| description | This paper presents a requirement-oriented automated framework for formal verification of service workflows. It is based on our previous work describing the requirement-oriented service workflow specification language called SWSpec. This language has been developed to facilitate workflow composer as well as arbitrary services willing to participate in a workflow to formally and uniformly impose their own requirements. As such, SWSpec provides a formal way to regulate and control workflows. The key component of the to-be-proposed framework centers on verification algorithms that rely on propositional logic. We demonstrate that logic-based workflow verification can be applied to SWSpec which is capable of checking compliance and also detecting conflicts of the imposed requirements. By automating compliance checking process, this framework will support scalable services interoperation in the form of workflows in opened environments. |
| doi_str_mv | 10.1109/TII.2012.2187908 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_1030338977</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6152148</ieee_id><sourcerecordid>1038249877</sourcerecordid><originalsourceid>FETCH-LOGICAL-c390t-221785531ea84443c129af491e0207dae90e4edec924f8029602c800ecf31d603</originalsourceid><addsrcrecordid>eNpd0E1LAzEQBuAgCtbqXfAS8OJl6-Rju8lRih_FgqKtHpeQTkrqdtMmu4r_3m0rHjzNHJ53YF5CzhkMGAN9PR2PBxwYH3CmCg3qgPSYliwDyOGw2_OcZYKDOCYnKS0BRAFC98jjLPl6QZ9jWIfkGx9qU9FJWHhLXYj0BTetj7jCukn0DaN33pqtosHRV4yf3iJ9D_HDVeHrlBw5UyU8-519Mru7nY4essnT_Xh0M8ms0NBknLNC5blgaJSUUljGtXFSMwQOxdygBpQ4R6u5dAq4HgK3CgCtE2w-BNEnV_u76xg2LaamXPlksapMjaFNJQOhuNSqKDp6-Y8uQxu7H3cKhFB6p2CvbAwpRXTlOvqVid8dKrftll275bbd8rfdLnKxj3hE_ONDlnMmlfgBtHd0ZA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1030338977</pqid></control><display><type>article</type><title>Using Propositional Logic for Requirements Verification of Service Workflow</title><source>IEEE Electronic Library (IEL)</source><creator>Li Da Xu ; Viriyasitavat, W. ; Ruchikachorn, P. ; Martin, A.</creator><creatorcontrib>Li Da Xu ; Viriyasitavat, W. ; Ruchikachorn, P. ; Martin, A.</creatorcontrib><description>This paper presents a requirement-oriented automated framework for formal verification of service workflows. It is based on our previous work describing the requirement-oriented service workflow specification language called SWSpec. This language has been developed to facilitate workflow composer as well as arbitrary services willing to participate in a workflow to formally and uniformly impose their own requirements. As such, SWSpec provides a formal way to regulate and control workflows. The key component of the to-be-proposed framework centers on verification algorithms that rely on propositional logic. We demonstrate that logic-based workflow verification can be applied to SWSpec which is capable of checking compliance and also detecting conflicts of the imposed requirements. By automating compliance checking process, this framework will support scalable services interoperation in the form of workflows in opened environments.</description><identifier>ISSN: 1551-3203</identifier><identifier>EISSN: 1941-0050</identifier><identifier>DOI: 10.1109/TII.2012.2187908</identifier><identifier>CODEN: ITIICH</identifier><language>eng</language><publisher>Piscataway: IEEE</publisher><subject>Algorithm design and analysis ; Algorithms ; Automated ; Automation ; Cognition ; Compliance checking ; Context ; enterprise systems ; Heuristic algorithms ; Industries ; Labeling ; Logic ; propositional logic ; service ; service industry ; service industry informatics ; specification language ; Specification languages ; Specifications ; Studies ; Workflow</subject><ispartof>IEEE transactions on industrial informatics, 2012-08, Vol.8 (3), p.639-646</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Aug 2012</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c390t-221785531ea84443c129af491e0207dae90e4edec924f8029602c800ecf31d603</citedby><cites>FETCH-LOGICAL-c390t-221785531ea84443c129af491e0207dae90e4edec924f8029602c800ecf31d603</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6152148$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27923,27924,54757</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6152148$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Li Da Xu</creatorcontrib><creatorcontrib>Viriyasitavat, W.</creatorcontrib><creatorcontrib>Ruchikachorn, P.</creatorcontrib><creatorcontrib>Martin, A.</creatorcontrib><title>Using Propositional Logic for Requirements Verification of Service Workflow</title><title>IEEE transactions on industrial informatics</title><addtitle>TII</addtitle><description>This paper presents a requirement-oriented automated framework for formal verification of service workflows. It is based on our previous work describing the requirement-oriented service workflow specification language called SWSpec. This language has been developed to facilitate workflow composer as well as arbitrary services willing to participate in a workflow to formally and uniformly impose their own requirements. As such, SWSpec provides a formal way to regulate and control workflows. The key component of the to-be-proposed framework centers on verification algorithms that rely on propositional logic. We demonstrate that logic-based workflow verification can be applied to SWSpec which is capable of checking compliance and also detecting conflicts of the imposed requirements. By automating compliance checking process, this framework will support scalable services interoperation in the form of workflows in opened environments.</description><subject>Algorithm design and analysis</subject><subject>Algorithms</subject><subject>Automated</subject><subject>Automation</subject><subject>Cognition</subject><subject>Compliance checking</subject><subject>Context</subject><subject>enterprise systems</subject><subject>Heuristic algorithms</subject><subject>Industries</subject><subject>Labeling</subject><subject>Logic</subject><subject>propositional logic</subject><subject>service</subject><subject>service industry</subject><subject>service industry informatics</subject><subject>specification language</subject><subject>Specification languages</subject><subject>Specifications</subject><subject>Studies</subject><subject>Workflow</subject><issn>1551-3203</issn><issn>1941-0050</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpd0E1LAzEQBuAgCtbqXfAS8OJl6-Rju8lRih_FgqKtHpeQTkrqdtMmu4r_3m0rHjzNHJ53YF5CzhkMGAN9PR2PBxwYH3CmCg3qgPSYliwDyOGw2_OcZYKDOCYnKS0BRAFC98jjLPl6QZ9jWIfkGx9qU9FJWHhLXYj0BTetj7jCukn0DaN33pqtosHRV4yf3iJ9D_HDVeHrlBw5UyU8-519Mru7nY4essnT_Xh0M8ms0NBknLNC5blgaJSUUljGtXFSMwQOxdygBpQ4R6u5dAq4HgK3CgCtE2w-BNEnV_u76xg2LaamXPlksapMjaFNJQOhuNSqKDp6-Y8uQxu7H3cKhFB6p2CvbAwpRXTlOvqVid8dKrftll275bbd8rfdLnKxj3hE_ONDlnMmlfgBtHd0ZA</recordid><startdate>20120801</startdate><enddate>20120801</enddate><creator>Li Da Xu</creator><creator>Viriyasitavat, W.</creator><creator>Ruchikachorn, P.</creator><creator>Martin, A.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>20120801</creationdate><title>Using Propositional Logic for Requirements Verification of Service Workflow</title><author>Li Da Xu ; Viriyasitavat, W. ; Ruchikachorn, P. ; Martin, A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c390t-221785531ea84443c129af491e0207dae90e4edec924f8029602c800ecf31d603</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Algorithm design and analysis</topic><topic>Algorithms</topic><topic>Automated</topic><topic>Automation</topic><topic>Cognition</topic><topic>Compliance checking</topic><topic>Context</topic><topic>enterprise systems</topic><topic>Heuristic algorithms</topic><topic>Industries</topic><topic>Labeling</topic><topic>Logic</topic><topic>propositional logic</topic><topic>service</topic><topic>service industry</topic><topic>service industry informatics</topic><topic>specification language</topic><topic>Specification languages</topic><topic>Specifications</topic><topic>Studies</topic><topic>Workflow</topic><toplevel>online_resources</toplevel><creatorcontrib>Li Da Xu</creatorcontrib><creatorcontrib>Viriyasitavat, W.</creatorcontrib><creatorcontrib>Ruchikachorn, P.</creatorcontrib><creatorcontrib>Martin, A.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications 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>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><jtitle>IEEE transactions on industrial informatics</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Li Da Xu</au><au>Viriyasitavat, W.</au><au>Ruchikachorn, P.</au><au>Martin, A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Using Propositional Logic for Requirements Verification of Service Workflow</atitle><jtitle>IEEE transactions on industrial informatics</jtitle><stitle>TII</stitle><date>2012-08-01</date><risdate>2012</risdate><volume>8</volume><issue>3</issue><spage>639</spage><epage>646</epage><pages>639-646</pages><issn>1551-3203</issn><eissn>1941-0050</eissn><coden>ITIICH</coden><abstract>This paper presents a requirement-oriented automated framework for formal verification of service workflows. It is based on our previous work describing the requirement-oriented service workflow specification language called SWSpec. This language has been developed to facilitate workflow composer as well as arbitrary services willing to participate in a workflow to formally and uniformly impose their own requirements. As such, SWSpec provides a formal way to regulate and control workflows. The key component of the to-be-proposed framework centers on verification algorithms that rely on propositional logic. We demonstrate that logic-based workflow verification can be applied to SWSpec which is capable of checking compliance and also detecting conflicts of the imposed requirements. By automating compliance checking process, this framework will support scalable services interoperation in the form of workflows in opened environments.</abstract><cop>Piscataway</cop><pub>IEEE</pub><doi>10.1109/TII.2012.2187908</doi><tpages>8</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1551-3203 |
| ispartof | IEEE transactions on industrial informatics, 2012-08, Vol.8 (3), p.639-646 |
| issn | 1551-3203 1941-0050 |
| language | eng |
| recordid | cdi_proquest_journals_1030338977 |
| source | IEEE Electronic Library (IEL) |
| subjects | Algorithm design and analysis Algorithms Automated Automation Cognition Compliance checking Context enterprise systems Heuristic algorithms Industries Labeling Logic propositional logic service service industry service industry informatics specification language Specification languages Specifications Studies Workflow |
| title | Using Propositional Logic for Requirements Verification of Service Workflow |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T10%3A49%3A15IST&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=Using%20Propositional%20Logic%20for%20Requirements%20Verification%20of%20Service%20Workflow&rft.jtitle=IEEE%20transactions%20on%20industrial%20informatics&rft.au=Li%20Da%20Xu&rft.date=2012-08-01&rft.volume=8&rft.issue=3&rft.spage=639&rft.epage=646&rft.pages=639-646&rft.issn=1551-3203&rft.eissn=1941-0050&rft.coden=ITIICH&rft_id=info:doi/10.1109/TII.2012.2187908&rft_dat=%3Cproquest_RIE%3E1038249877%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=1030338977&rft_id=info:pmid/&rft_ieee_id=6152148&rfr_iscdi=true |