{"id":"https://openalex.org/W3042424684","doi":"https://doi.org/10.3233/jcm-204425","title":"IWSN: A novel method for modeling the interaction of web services","display_name":"IWSN: A novel method for modeling the interaction of web services","publication_year":2020,"publication_date":"2020-07-14","ids":{"openalex":"https://openalex.org/W3042424684","doi":"https://doi.org/10.3233/jcm-204425","mag":"3042424684"},"language":"en","primary_location":{"id":"doi:10.3233/jcm-204425","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcm-204425","pdf_url":null,"source":{"id":"https://openalex.org/S2765058733","display_name":"Journal of Computational Methods in Sciences and Engineering","issn_l":"1472-7978","issn":["1472-7978","1875-8983"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computational Methods in Sciences and Engineering","raw_type":"journal-article"},"type":"article","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/A5100717163","display_name":"Bao Li","orcid":"https://orcid.org/0000-0003-2446-9367"},"institutions":[{"id":"https://openalex.org/I55654194","display_name":"Inner Mongolia University of Technology","ror":"https://ror.org/05564e019","country_code":"CN","type":"education","lineage":["https://openalex.org/I55654194"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Li Bao","raw_affiliation_strings":["School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China"],"affiliations":[{"raw_affiliation_string":"School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China","institution_ids":["https://openalex.org/I55654194"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103078357","display_name":"Jianxiong Wan","orcid":null},"institutions":[{"id":"https://openalex.org/I55654194","display_name":"Inner Mongolia University of Technology","ror":"https://ror.org/05564e019","country_code":"CN","type":"education","lineage":["https://openalex.org/I55654194"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianxiong Wan","raw_affiliation_strings":["School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China"],"affiliations":[{"raw_affiliation_string":"School of Data Science and Application, Inner Mongolia University of Technology, Huhhot 010080, Inner Mongolia Autonomous Region, China","institution_ids":["https://openalex.org/I55654194"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047202914","display_name":"Le Viet Hao","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124900","display_name":"Inner Mongolia People's Hospital","ror":"https://ror.org/02yng3249","country_code":"CN","type":"healthcare","lineage":["https://openalex.org/I4210124900"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Le Hao","raw_affiliation_strings":["Endocrine Department, Geriatric Research Center, Inner Mongolia People\u2019s Hospital, Huhhot 010080, Inner Mongolia Autonomous Region, China","E-mail:"],"affiliations":[{"raw_affiliation_string":"Endocrine Department, Geriatric Research Center, Inner Mongolia People\u2019s Hospital, Huhhot 010080, Inner Mongolia Autonomous Region, China","institution_ids":["https://openalex.org/I4210124900"]},{"raw_affiliation_string":"E-mail:","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100717163"],"corresponding_institution_ids":["https://openalex.org/I55654194"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11371687,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"1","first_page":"135","last_page":"150"},"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.9998999834060669,"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.9998999834060669,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.7881564497947693},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7778642177581787},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6415475606918335},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5603318214416504},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46887826919555664},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.4638647437095642},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.460832417011261},{"id":"https://openalex.org/keywords/web-modeling","display_name":"Web modeling","score":0.45733150839805603},{"id":"https://openalex.org/keywords/services-computing","display_name":"Services computing","score":0.45620062947273254},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4426983892917633},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.42905905842781067},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.41109171509742737},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36235883831977844},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3199111819267273},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2817818224430084},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20770186185836792},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08199048042297363}],"concepts":[{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.7881564497947693},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7778642177581787},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6415475606918335},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5603318214416504},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46887826919555664},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.4638647437095642},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.460832417011261},{"id":"https://openalex.org/C130436687","wikidata":"https://www.wikidata.org/wiki/Q7978591","display_name":"Web modeling","level":3,"score":0.45733150839805603},{"id":"https://openalex.org/C542858634","wikidata":"https://www.wikidata.org/wiki/Q7455845","display_name":"Services computing","level":3,"score":0.45620062947273254},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4426983892917633},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.42905905842781067},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.41109171509742737},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36235883831977844},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3199111819267273},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2817818224430084},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20770186185836792},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08199048042297363},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/jcm-204425","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcm-204425","pdf_url":null,"source":{"id":"https://openalex.org/S2765058733","display_name":"Journal of Computational Methods in Sciences and Engineering","issn_l":"1472-7978","issn":["1472-7978","1875-8983"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computational Methods in Sciences and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.44999998807907104,"display_name":"Partnerships for the goals"},{"id":"https://metadata.un.org/sdg/9","score":0.41999998688697815,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1964412949","https://openalex.org/W1974491849","https://openalex.org/W2002636666","https://openalex.org/W2036996017","https://openalex.org/W2069430440","https://openalex.org/W2079996951","https://openalex.org/W2110681125","https://openalex.org/W2130310612","https://openalex.org/W2148175243","https://openalex.org/W2192583762","https://openalex.org/W2323358965","https://openalex.org/W2804597529","https://openalex.org/W2898425397","https://openalex.org/W6831590559"],"related_works":["https://openalex.org/W1971836633","https://openalex.org/W64430763","https://openalex.org/W4300923791","https://openalex.org/W4301114052","https://openalex.org/W183162501","https://openalex.org/W1972620507","https://openalex.org/W1966169581","https://openalex.org/W4243504752","https://openalex.org/W4231730291","https://openalex.org/W2076383947"],"abstract_inverted_index":{"As":[0],"the":[1,20,28,56,64,74,128,141,158,168,178],"most":[2],"notable":[3],"implementation":[4],"of":[5,17,30,47,55,58,67,76,86,115,127,157],"service-oriented":[6],"architectures,":[7],"web":[8,25,48,68,77,87],"services":[9,26,69,88,149],"has":[10],"brought":[11],"some":[12],"challenging":[13],"research":[14],"issues,":[15],"one":[16],"which":[18,100],"is":[19,27,95,101,118,136,161,182],"composition.":[21,33],"Correct":[22],"interaction":[23,84],"among":[24],"prerequisite":[29],"their":[31,152],"successful":[32],"In":[34],"this":[35,98,116],"paper,":[36,99],"we":[37,180],"propose":[38],"a":[39,102],"novel":[40],"approach":[41],"to":[42,51,72,138,147,176],"model":[43,85,106,117,130,143],"dynamic":[44],"interactive":[45],"behavior":[46,65,150],"services,":[49],"aiming":[50],"effectively":[52],"take":[53],"advantage":[54],"flexibility":[57],"service":[59,78],"composition":[60,79],"technology":[61],"and":[62,70,104,109,124,151],"guarantee":[63],"compatibility":[66],"further":[71],"facilitate":[73],"application":[75,134,159],"in":[80,97],"healthcare":[81],"field.":[82],"An":[83,133],"based":[89,163],"on":[90,164],"Kahn":[91],"process":[92,122],"network":[93],"(KPN)":[94],"presented":[96],"data-flow":[103],"channel-based":[105],"supporting":[107,169],"parallel":[108],"cooperative":[110],"computation.":[111],"Formal":[112],"behavioral":[113],"semantics":[114],"defined":[119],"by":[120],"Pi-calculus":[121],"algebra":[123],"formal":[125],"properties":[126,179],"proposed":[129,142],"are":[131],"discussed.":[132],"case":[135,160],"demonstrated":[137],"illustrate":[139],"how":[140],"can":[144,173],"be":[145,174],"applied":[146],"describe":[148],"interaction.":[153],"The":[154],"reachability":[155],"analysis":[156],"performed":[162],"modal":[165],"-calculus.":[166],"How":[167],"tool,":[170],"i.e.":[171],"CWB-NC,":[172],"utilized":[175],"verify":[177],"anticipate":[181],"presented.":[183]},"counts_by_year":[],"updated_date":"2026-04-22T06:01:30.510260","created_date":"2025-10-10T00:00:00"}