Modeling and Verification of Web Services Composition Using CWB-NC Tool

Modeling and verification of web services composition determines the execution flow of various web services used in conjunction. Existing techniques, such as, UML and testing are used successfully to describe the behavior of the web service system and find the bugs during the communication of the co...

Full description

Saved in:
Bibliographic Details
Published in2021 2nd International Conference for Emerging Technology (INCET) pp. 1 - 6
Main Authors Pal, Nisha, Yadav, Mahendra Pratap, Yadav, Dharmendra Kumar
Format Conference Proceeding
LanguageEnglish
Published IEEE 21.05.2021
Subjects
Online AccessGet full text

Cover

Loading…
Abstract Modeling and verification of web services composition determines the execution flow of various web services used in conjunction. Existing techniques, such as, UML and testing are used successfully to describe the behavior of the web service system and find the bugs during the communication of the components. However, it is not always possible to identify bugs at all the stages. Formal specification and verification is an emerging technique for specifying the structural and functional property of the web service composition. Calculus of Communicating Systems (CCS) is a process-algebra used as a language for formal specification. In this article, we have utilized CCS for describing the behavioral specification of the web service system. The requirement of the system is captured through formulas or properties utilizing mu-calculus, and formally verified through Concurrency Work Bench of the New Century (CWB-NC) model checker tool.
AbstractList Modeling and verification of web services composition determines the execution flow of various web services used in conjunction. Existing techniques, such as, UML and testing are used successfully to describe the behavior of the web service system and find the bugs during the communication of the components. However, it is not always possible to identify bugs at all the stages. Formal specification and verification is an emerging technique for specifying the structural and functional property of the web service composition. Calculus of Communicating Systems (CCS) is a process-algebra used as a language for formal specification. In this article, we have utilized CCS for describing the behavioral specification of the web service system. The requirement of the system is captured through formulas or properties utilizing mu-calculus, and formally verified through Concurrency Work Bench of the New Century (CWB-NC) model checker tool.
Author Pal, Nisha
Yadav, Dharmendra Kumar
Yadav, Mahendra Pratap
Author_xml – sequence: 1
  givenname: Nisha
  surname: Pal
  fullname: Pal, Nisha
  email: 2016rcs05@mnnit.ac.in
  organization: CSED,MNNIT Allahabad,Prayagraj,India,211004
– sequence: 2
  givenname: Mahendra Pratap
  surname: Yadav
  fullname: Yadav, Mahendra Pratap
  email: pratap2020@gmai1.com
  organization: CSED,MNNIT Allahabad,Prayagraj,India,211004
– sequence: 3
  givenname: Dharmendra Kumar
  surname: Yadav
  fullname: Yadav, Dharmendra Kumar
  email: dky@mnnit.ac.in
  organization: CSED,MNNIT Allahabad,Prayagraj,India,211004
BookMark eNotj8tOwzAURI0EC1r6BSzwDyT4-hHHS7BKW6mURVO6rG7iG2QpjaukQuLveXUzsziaI82EXfepJ8YeQOQAwj2uNn5eGdCFzqWQkDttCmnNFZuAlSVYIa26ZYvXFKiL_QfHPvB3GmIbGzzH1PPU8j3VfEvDZ2xo5D4dT2mMf2w3_k78_jnbeF6l1N2xmxa7kWaXnrLdy7zyy2z9tlj5p3UWAcpzFhyGUNTGOa01mlYSGQRdByiE0tJSSUrWLTUK8Sea2lrjAHUTZAikUE3Z_b83EtHhNMQjDl-Hyzf1DYmiSfw
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/INCET51464.2021.9456275
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library Online
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 1728170273
9781728170299
172817029X
9781728170275
EndPage 6
ExternalDocumentID 9456275
Genre orig-research
GroupedDBID 6IE
6IL
CBEJK
RIE
RIL
ID FETCH-LOGICAL-i118t-d9add6b599444a5f2ee5a14bd1603427e8e32bfec3aaec3cb77591a4cd2dde3a3
IEDL.DBID RIE
IngestDate Thu Jun 29 18:38:07 EDT 2023
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i118t-d9add6b599444a5f2ee5a14bd1603427e8e32bfec3aaec3cb77591a4cd2dde3a3
PageCount 6
ParticipantIDs ieee_primary_9456275
PublicationCentury 2000
PublicationDate 2021-May-21
PublicationDateYYYYMMDD 2021-05-21
PublicationDate_xml – month: 05
  year: 2021
  text: 2021-May-21
  day: 21
PublicationDecade 2020
PublicationTitle 2021 2nd International Conference for Emerging Technology (INCET)
PublicationTitleAbbrev INCET
PublicationYear 2021
Publisher IEEE
Publisher_xml – name: IEEE
Score 1.8102401
Snippet Modeling and verification of web services composition determines the execution flow of various web services used in conjunction. Existing techniques, such as,...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms Computer bugs
CWB-NC Tool
Formal languages
Formal Methods
Formal verification
Interconnected systems
Model Checking
Reliability
Unified modeling language
Web services
Title Modeling and Verification of Web Services Composition Using CWB-NC Tool
URI https://ieeexplore.ieee.org/document/9456275
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV09T8MwED21nZgAtYhveWDEaT7sJF6pKAWpFUNLu1X2-SIhUIJQuvDrsdMUBGJgsSwrku3Yunc-v_MDuPLSJ4VNUi7QhFwoLLhCm_BIWkwzIShtAm7TWTpZiIeVXHXg-isXhoga8hkFvtrc5dsKNz5UNlTeXc9kF7p5GG9ztVrKVhSq4b0Xc3H4n_pQSRwF7dc_ZFMa1Bjvw3TX35Ys8hJsahPgx6-nGP87oAMYfOfnsccv5DmEDpV9uPOyZj65nOnSsie3s4o2Hseqgi3JsJ1dYN4ItGQt1nAG2Gh5w2cjNq-q1wEsxrfz0YS3Mgn82Z0Oam6Vs1GpkUoJIbQsYiKpI2GsV5AWcUY5JbEpCBOtXYEmy6SKtEAbO9uW6OQIemVV0jEwDCW6NueFITqgshrz3J3YchLk_A7EE-j7n7B-276EsW7nf_p38xns-YXwd-1xdA69-n1DFw7Ca3PZrN0n6V6d6g
link.rule.ids 310,311,786,790,795,796,802,27947,55098
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV09T8MwED2VMsAEqEV844GRpE1iJ_FKBbTQVgwt7VbZ54uEQAlC6cKvx07TIhADi2VZkWzH1t3z-Z0fwJWTPslMFHscddfjEjNPoom8QBiME84prgJuo3Hcn_KHuZg34HqTC0NEFfmMfFet7vJNgUsXKutIB9cTsQXbFlfLdJWtVZO2gq7sDJyci0UAsQuWhIFff_9DOKXyG3d7MFr3uKKLvPrLUvv4-esxxv8OaR_a3xl67Gnjew6gQXkL7p2wmUsvZyo37NnurayOyLEiYzPSbG0ZmDMDNV2LVawB1pvdeOMemxTFWxumd7eTXt-rhRK8F3s-KD0jrZWKtZCSc65EFhIJFXBtnIY0DxNKKQp1RhgpZQvUSSJkoDia0Fq3SEWH0MyLnI6AYVegbbM4DNG6KqMwTe2ZLSVOFnkgHkPL_YTF--otjEU9_5O_my9hpz8ZDRfDwfjxFHbdorib9zA4g2b5saRz69BLfVGt4xd7CqFH
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=2021+2nd+International+Conference+for+Emerging+Technology+%28INCET%29&rft.atitle=Modeling+and+Verification+of+Web+Services+Composition+Using+CWB-NC+Tool&rft.au=Pal%2C+Nisha&rft.au=Yadav%2C+Mahendra+Pratap&rft.au=Yadav%2C+Dharmendra+Kumar&rft.date=2021-05-21&rft.pub=IEEE&rft.spage=1&rft.epage=6&rft_id=info:doi/10.1109%2FINCET51464.2021.9456275&rft.externalDocID=9456275