{"id":"https://openalex.org/W2802016581","doi":"https://doi.org/10.1080/17517575.2018.1432769","title":"Extension of specification language for soundness and completeness of service workflow","display_name":"Extension of specification language for soundness and completeness of service workflow","publication_year":2018,"publication_date":"2018-01-31","ids":{"openalex":"https://openalex.org/W2802016581","doi":"https://doi.org/10.1080/17517575.2018.1432769","mag":"2802016581"},"language":"en","primary_location":{"id":"doi:10.1080/17517575.2018.1432769","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17517575.2018.1432769","pdf_url":null,"source":{"id":"https://openalex.org/S24861202","display_name":"Enterprise Information Systems","issn_l":"1751-7575","issn":["1751-7575","1751-7583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Enterprise Information Systems","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/A5078634771","display_name":"Wattana Viriyasitavat","orcid":"https://orcid.org/0000-0001-7247-4596"},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":true,"raw_author_name":"Wattana Viriyasitavat","raw_affiliation_strings":["Business Information Technology Division, Department of Statistics, Faculty of Commerce and Accountancy, Chulalongkorn University, Bangkok 10300, Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Business Information Technology Division, Department of Statistics, Faculty of Commerce and Accountancy, Chulalongkorn University, Bangkok 10300, Thailand","institution_ids":["https://openalex.org/I158708052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054528852","display_name":"Li Da Xu","orcid":"https://orcid.org/0000-0002-3263-5217"},"institutions":[{"id":"https://openalex.org/I4210133369","display_name":"Decision Sciences (United States)","ror":"https://ror.org/03gcvf773","country_code":"US","type":"company","lineage":["https://openalex.org/I4210133369"]},{"id":"https://openalex.org/I81365321","display_name":"Old Dominion University","ror":"https://ror.org/04zjtrb98","country_code":"US","type":"education","lineage":["https://openalex.org/I81365321"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Li Da Xu","raw_affiliation_strings":["Information Technology & Decision Sciences, Old Dominion University, Norfolk, VA, 23529, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Technology & Decision Sciences, Old Dominion University, Norfolk, VA, 23529, USA","institution_ids":["https://openalex.org/I81365321","https://openalex.org/I4210133369"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039352999","display_name":"Zhuming Bi","orcid":"https://orcid.org/0000-0002-8145-7883"},"institutions":[{"id":"https://openalex.org/I4210130184","display_name":"Purdue University Fort Wayne","ror":"https://ror.org/04c4hz115","country_code":"US","type":"education","lineage":["https://openalex.org/I4210130184"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhuming Bi","raw_affiliation_strings":["Department of Civil and Mechanical Engineering, Purdue University Fort Wayne, Fort Wayne, IN 46805, USA"],"raw_orcid":"https://orcid.org/0000-0002-8145-7883","affiliations":[{"raw_affiliation_string":"Department of Civil and Mechanical Engineering, Purdue University Fort Wayne, Fort Wayne, IN 46805, USA","institution_ids":["https://openalex.org/I4210130184"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083062321","display_name":"Assadaporn Sapsomboon","orcid":"https://orcid.org/0000-0002-3415-3422"},"institutions":[{"id":"https://openalex.org/I158708052","display_name":"Chulalongkorn University","ror":"https://ror.org/028wp3y58","country_code":"TH","type":"education","lineage":["https://openalex.org/I158708052"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"Assadaporn Sapsomboon","raw_affiliation_strings":["Business Information Technology Division, Department of Statistics, Faculty of Commerce and Accountancy, Chulalongkorn University, Bangkok 10300, Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Business Information Technology Division, Department of Statistics, Faculty of Commerce and Accountancy, Chulalongkorn University, Bangkok 10300, Thailand","institution_ids":["https://openalex.org/I158708052"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5078634771"],"corresponding_institution_ids":["https://openalex.org/I158708052"],"apc_list":null,"apc_paid":null,"fwci":5.6385,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.95560095,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"12","issue":"5","first_page":"638","last_page":"657"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9991999864578247,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9991000294685364,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8988320231437683},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7732135057449341},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.6350306272506714},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.602474570274353},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5945744514465332},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.582975447177887},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.5538114309310913},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5518227815628052},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4574015736579895},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44716960191726685},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43858277797698975},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.26511332392692566},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12316262722015381},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1035681962966919}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8988320231437683},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7732135057449341},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.6350306272506714},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.602474570274353},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5945744514465332},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.582975447177887},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5538114309310913},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5518227815628052},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4574015736579895},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44716960191726685},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43858277797698975},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.26511332392692566},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12316262722015381},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1035681962966919},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/17517575.2018.1432769","is_oa":false,"landing_page_url":"https://doi.org/10.1080/17517575.2018.1432769","pdf_url":null,"source":{"id":"https://openalex.org/S24861202","display_name":"Enterprise Information Systems","issn_l":"1751-7575","issn":["1751-7575","1751-7583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Enterprise Information Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":94,"referenced_works":["https://openalex.org/W763797034","https://openalex.org/W1965064895","https://openalex.org/W1966769064","https://openalex.org/W1971665536","https://openalex.org/W1981622333","https://openalex.org/W1982294395","https://openalex.org/W1989457024","https://openalex.org/W2011392465","https://openalex.org/W2014631670","https://openalex.org/W2017501006","https://openalex.org/W2017615577","https://openalex.org/W2017754024","https://openalex.org/W2022709631","https://openalex.org/W2023407123","https://openalex.org/W2023496430","https://openalex.org/W2026685818","https://openalex.org/W2028286673","https://openalex.org/W2035009322","https://openalex.org/W2037081063","https://openalex.org/W2037973197","https://openalex.org/W2038112849","https://openalex.org/W2038194220","https://openalex.org/W2041100749","https://openalex.org/W2042911059","https://openalex.org/W2043846536","https://openalex.org/W2054928273","https://openalex.org/W2062978452","https://openalex.org/W2070944660","https://openalex.org/W2074113909","https://openalex.org/W2074444460","https://openalex.org/W2075597034","https://openalex.org/W2077748764","https://openalex.org/W2079996951","https://openalex.org/W2083695336","https://openalex.org/W2089744027","https://openalex.org/W2091686794","https://openalex.org/W2093554356","https://openalex.org/W2094636500","https://openalex.org/W2098303750","https://openalex.org/W2098781560","https://openalex.org/W2100766064","https://openalex.org/W2105103777","https://openalex.org/W2106268848","https://openalex.org/W2111519904","https://openalex.org/W2112522398","https://openalex.org/W2115725519","https://openalex.org/W2118373120","https://openalex.org/W2122827939","https://openalex.org/W2129389127","https://openalex.org/W2129584550","https://openalex.org/W2129606165","https://openalex.org/W2129840796","https://openalex.org/W2135134891","https://openalex.org/W2136170403","https://openalex.org/W2139211192","https://openalex.org/W2139531852","https://openalex.org/W2142181477","https://openalex.org/W2146044140","https://openalex.org/W2148163762","https://openalex.org/W2148175243","https://openalex.org/W2148501988","https://openalex.org/W2151299342","https://openalex.org/W2157699834","https://openalex.org/W2164584356","https://openalex.org/W2165887572","https://openalex.org/W2171257661","https://openalex.org/W2204466726","https://openalex.org/W2205445074","https://openalex.org/W2209738387","https://openalex.org/W2241590894","https://openalex.org/W2275305079","https://openalex.org/W2277471128","https://openalex.org/W2279871668","https://openalex.org/W2315851432","https://openalex.org/W2338665915","https://openalex.org/W2339254261","https://openalex.org/W2408328578","https://openalex.org/W2498262529","https://openalex.org/W2503596848","https://openalex.org/W2509033629","https://openalex.org/W2510606728","https://openalex.org/W2511524353","https://openalex.org/W2516921826","https://openalex.org/W2518278450","https://openalex.org/W2564588653","https://openalex.org/W2590854751","https://openalex.org/W2606213502","https://openalex.org/W2739295537","https://openalex.org/W2742910676","https://openalex.org/W2757932809","https://openalex.org/W2766199893","https://openalex.org/W4236312073","https://openalex.org/W4242750573","https://openalex.org/W4246034958"],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2049993111","https://openalex.org/W2044067585","https://openalex.org/W1520778375","https://openalex.org/W2365144833","https://openalex.org/W4252905370","https://openalex.org/W2204176978","https://openalex.org/W2121687518","https://openalex.org/W4251666556","https://openalex.org/W2156223462"],"abstract_inverted_index":{"A":[0,37],"Service":[1,129],"Workflow":[2,130],"is":[3,155],"an":[4],"aggregation":[5],"of":[6,23,39,65,82,97,111,144,160,165],"distributed":[7],"services":[8,25],"to":[9,43,60,73,78],"fulfill":[10],"specific":[11],"functionalities.":[12],"With":[13],"ever":[14],"increasing":[15],"available":[16],"services,":[17],"the":[18,21,24,27,44,49,58,63,75,80,83,95,109,118,139,158,166,173,176],"methodologies":[19],"for":[20,51,108,157],"selections":[22],"against":[26],"given":[28],"requirements":[29],"become":[30],"main":[31],"research":[32],"subjects":[33],"in":[34,117],"multiple":[35],"disciplines.":[36],"few":[38],"researchers":[40],"have":[41,57,147],"contributed":[42],"formal":[45,98],"specification":[46,76,92],"languages":[47],"and":[48,114,136,138,142,180],"methods":[50,56],"model":[52,161],"checking;":[53],"however,":[54],"existing":[55],"difficulties":[59],"tackle":[61],"with":[62,94,175],"complexity":[64,81],"workflow":[66,84,119],"compositions.":[67],"In":[68],"this":[69,87],"paper,":[70],"we":[71,89],"propose":[72],"formalize":[74],"language":[77,93],"reduce":[79],"composition.":[85,120],"To":[86],"end,":[88],"extend":[90],"a":[91,152],"consideration":[96],"logic,":[99],"so":[100],"that":[101,151],"some":[102],"effective":[103],"theorems":[104],"can":[105],"be":[106],"derived":[107],"verification":[110],"syntax,":[112],"semantics,":[113],"inference":[115],"rules":[116],"The":[121,128,163],"logic-based":[122,153],"approach":[123],"automates":[124],"compliance":[125],"checking":[126],"effectively.":[127],"Specification":[131],"(SWSpec)":[132],"has":[133,169],"been":[134,148,170],"extended":[135],"formulated,":[137],"soundness,":[140,178],"completeness,":[141,179],"consistency":[143],"SWSpec":[145,154,168],"applications":[146],"verified;":[149],"note":[150],"mandatory":[156],"development":[159],"checking.":[162],"application":[164],"proposed":[167],"demonstrated":[171],"by":[172],"examples":[174],"addressed":[177],"consistency.":[181]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":8}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}