{"id":"https://openalex.org/W2012203150","doi":"https://doi.org/10.1109/ams.2010.107","title":"Verification of Web Services Modeled as Finite State Machines","display_name":"Verification of Web Services Modeled as Finite State Machines","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2012203150","doi":"https://doi.org/10.1109/ams.2010.107","mag":"2012203150"},"language":"en","primary_location":{"id":"doi:10.1109/ams.2010.107","doi":"https://doi.org/10.1109/ams.2010.107","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ams.2010.107","pdf_url":null,"source":{"id":"https://openalex.org/S4306417730","display_name":"Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000430456","display_name":"Deepak Chenthati","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Deepak Chenthati","raw_affiliation_strings":["Teradata(Research and Development) India Private Limited, Hyderabad, India","Teradata (R&D) India Pvt Ltd, Hyderabad, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Teradata(Research and Development) India Private Limited, Hyderabad, India","institution_ids":[]},{"raw_affiliation_string":"Teradata (R&D) India Pvt Ltd, Hyderabad, India","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056959910","display_name":"Supriya Vaddi","orcid":"https://orcid.org/0000-0002-5152-5582","observed_orcids":["https://orcid.org/0000-0002-5152-5582"]},"institutions":[{"id":"https://openalex.org/I36893310","display_name":"University of Hyderabad","ror":"https://ror.org/04a7rxb17","country_code":"IN","type":"education","lineage":["https://openalex.org/I36893310"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Supriya Vaddi","raw_affiliation_strings":["Department of CIS, University of Hyderabad, Hyderabad, India","Dept. of CIS, Univ. of Hyderabad, Hyderabad, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of CIS, University of Hyderabad, Hyderabad, India","institution_ids":["https://openalex.org/I36893310"]},{"raw_affiliation_string":"Dept. of CIS, Univ. of Hyderabad, Hyderabad, India","institution_ids":["https://openalex.org/I36893310"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031497340","display_name":"Hrushikesha Mohanty","orcid":"https://orcid.org/0000-0002-0622-8781","observed_orcids":["https://orcid.org/0000-0002-0622-8781"]},"institutions":[{"id":"https://openalex.org/I36893310","display_name":"University of Hyderabad","ror":"https://ror.org/04a7rxb17","country_code":"IN","type":"education","lineage":["https://openalex.org/I36893310"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Hrushikesha Mohanty","raw_affiliation_strings":["Department of CIS, University of Hyderabad, Hyderabad, India","Dept. of CIS, Univ. of Hyderabad, Hyderabad, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of CIS, University of Hyderabad, Hyderabad, India","institution_ids":["https://openalex.org/I36893310"]},{"raw_affiliation_string":"Dept. of CIS, Univ. of Hyderabad, Hyderabad, India","institution_ids":["https://openalex.org/I36893310"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047915734","display_name":"Avula Damodaram","orcid":"https://orcid.org/0000-0002-1482-0443","observed_orcids":["https://orcid.org/0000-0002-1482-0443"]},"institutions":[{"id":"https://openalex.org/I10874241","display_name":"Jawaharlal Nehru Technological University, Hyderabad","ror":"https://ror.org/002tchr49","country_code":"IN","type":"education","lineage":["https://openalex.org/I10874241"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Avula Damodaram","raw_affiliation_strings":["Department of CSE, UGC Academic Staff College, JNTU, Hyderabad, Hyderabad, India","Department of CSE , JNTUH , Hyderabad , India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of CSE, UGC Academic Staff College, JNTU, Hyderabad, Hyderabad, India","institution_ids":["https://openalex.org/I10874241"]},{"raw_affiliation_string":"Department of CSE , JNTUH , Hyderabad , India","institution_ids":["https://openalex.org/I10874241"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1981,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.43500759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"67","issue":null,"first_page":"526","last_page":"531"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.4088999927043915,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.4088999927043915,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.336899995803833,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.1200999990105629,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/finite-state-machines","display_name":"finite automata","score":0.9900000095367432},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.8009999990463257},{"id":"https://openalex.org/keywords/model-verification","display_name":"model verification","score":0.8029999732971191},{"id":"https://openalex.org/keywords/wsdl","display_name":"WSDL","score":0.7929999828338623},{"id":"https://openalex.org/keywords/deadlock","display_name":"deadlock","score":0.7239999771118164},{"id":"https://openalex.org/keywords/time-inconsistency","display_name":"time inconsistency","score":0.781000018119812},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"business process modeling","score":0.734000027179718}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8146110773086548},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7960807085037231},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.7226348519325256},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6780376434326172},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6372618675231934},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6310133934020996},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5743614435195923},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5340959429740906},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4759863615036011},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4463987946510315},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4355941116809845},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4236799478530884},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4186815917491913},{"id":"https://openalex.org/C130436687","wikidata":"https://www.wikidata.org/wiki/Q7978591","display_name":"Web modeling","level":3,"score":0.2823934555053711},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15355226397514343},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ams.2010.107","doi":"https://doi.org/10.1109/ams.2010.107","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ams.2010.107","pdf_url":null,"source":{"id":"https://openalex.org/S4306417730","display_name":"Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W138591638","https://openalex.org/W1532250211","https://openalex.org/W1565679244","https://openalex.org/W2062606382","https://openalex.org/W2087251571","https://openalex.org/W2097368534","https://openalex.org/W2117500865","https://openalex.org/W2123986639","https://openalex.org/W2126728257","https://openalex.org/W2144294763","https://openalex.org/W2145391336","https://openalex.org/W2150489029","https://openalex.org/W2158155324","https://openalex.org/W2160554367","https://openalex.org/W4254320104"],"related_works":["https://openalex.org/W6999989070","https://openalex.org/W4391975110","https://openalex.org/W2807625037","https://openalex.org/W7099625042","https://openalex.org/W2323135093","https://openalex.org/W2160554367","https://openalex.org/W60595265","https://openalex.org/W7097869791","https://openalex.org/W1968215784","https://openalex.org/W2161253127"],"abstract_inverted_index":{"Currently,":[0],"model":[1,40,80,108,118,140,158],"based":[2,65],"development":[3,68],"of":[4,60,69,102],"web":[5,32,70],"services":[6,71],"is":[7,36,154],"being":[8],"actively":[9],"researched":[10],"for":[11,31,139],"its":[12],"usefulness":[13],"in":[14,67,83,90,114,124],"developing":[15],"a":[16,44,76,137],"system.":[17],"Various":[18],"techniques":[19],"like":[20],"EPC,":[21],"petrinet,":[22],"process":[23,46],"algebra,":[24],"CPN":[25],"and":[26,85,92,112,149],"UML":[27],"have":[28,57,74],"been":[29],"proposed":[30],"service":[33,81],"modeling.":[34],"FSM":[35,61,84],"found":[37],"appropriate":[38],"to":[39,54,79,86,110],"Business":[41],"requirements":[42],"because":[43],"business":[45],"on":[47,99],"execution":[48],"moves":[49],"forward":[50],"from":[51],"one":[52],"state":[53],"other.":[55],"We":[56],"shown":[58],"uses":[59],"(Finite":[62],"State":[63],"Machine)":[64],"models":[66,103],"[1],":[72],"also":[73],"developed":[75],"tool":[77],"HUMSAT":[78,153],"specification":[82,101],"generate":[87],"executable":[88],"codes":[89],"BPEL":[91],"WSDL.":[93],"However,":[94],"automated":[95],"code":[96],"generation":[97],"depends":[98],"correct":[100],"as":[104],"an":[105,121],"improperly":[106],"specified":[107],"leads":[109],"errors":[111],"bugs":[113],"resultant":[115],"code.":[116],"Hence":[117],"checking":[119],"plays":[120],"important":[122],"role":[123],"eliminating":[125],"the":[126,157],"flaws":[127,145],"at":[128],"design":[129],"phase":[130],"itself.":[131],"In":[132],"this":[133],"paper,":[134],"we":[135],"propose":[136],"technique":[138],"verification":[141,159],"that":[142],"identifies":[143],"structural":[144],"e.g.":[146],"unreachability,":[147],"deadlock":[148],"temporal":[150],"inconsistencies.":[151],"Further,":[152],"augmented":[155],"with":[156],"features.":[160]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}