{"id":"https://openalex.org/W4298147708","doi":"https://doi.org/10.15439/2022f188","title":"An Experimentation Framework for Specification and Verification of Web Services","display_name":"An Experimentation Framework for Specification and Verification of Web Services","publication_year":2022,"publication_date":"2022-09-26","ids":{"openalex":"https://openalex.org/W4298147708","doi":"https://doi.org/10.15439/2022f188"},"language":"en","primary_location":{"id":"doi:10.15439/2022f188","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2022f188","pdf_url":"https://annals-csis.org/proceedings/2022/drp/pdf/188.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2022/drp/pdf/188.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083754712","display_name":"Szymon Katra","orcid":null},"institutions":[{"id":"https://openalex.org/I108403487","display_name":"Warsaw University of Technology","ror":"https://ror.org/00y0xnp53","country_code":"PL","type":"education","lineage":["https://openalex.org/I108403487"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Szymon Katra","raw_affiliation_strings":["Warsaw University of Technology Faculty of Electronics and Information Technology Nowowiejska Str. 15/19 00-665 Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Warsaw University of Technology Faculty of Electronics and Information Technology Nowowiejska Str. 15/19 00-665 Warsaw, Poland","institution_ids":["https://openalex.org/I108403487"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066950874","display_name":"Wiktor B. Daszczuk","orcid":"https://orcid.org/0000-0001-7532-362X"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I108403487","display_name":"Warsaw University of Technology","ror":"https://ror.org/00y0xnp53","country_code":"PL","type":"education","lineage":["https://openalex.org/I108403487"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Wiktor Daszczuk","raw_affiliation_strings":["Warsaw University of Technology Institute of Computer Science Nowowiejska Str. 15/19 00-665 Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Warsaw University of Technology Institute of Computer Science Nowowiejska Str. 15/19 00-665 Warsaw, Poland","institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025770040","display_name":"Danny Czejdo","orcid":null},"institutions":[{"id":"https://openalex.org/I184654094","display_name":"Fayetteville State University","ror":"https://ror.org/03rj92e31","country_code":"US","type":"education","lineage":["https://openalex.org/I184654094"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Danny Czejdo","raw_affiliation_strings":["Fayetteville State University Department of Mathematics and Computer Science Fayetteville, NC 28301, USA"],"affiliations":[{"raw_affiliation_string":"Fayetteville State University Department of Mathematics and Computer Science Fayetteville, NC 28301, USA","institution_ids":["https://openalex.org/I184654094"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083754712"],"corresponding_institution_ids":["https://openalex.org/I108403487"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16313805,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":null,"first_page":"913","last_page":"917"},"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.9994999766349792,"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.9994999766349792,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9944000244140625,"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"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9940999746322632,"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/computer-science","display_name":"Computer science","score":0.7626886367797852},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5365962982177734},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4996190071105957},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4342105984687805},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3339481055736542},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3317342698574066}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7626886367797852},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5365962982177734},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4996190071105957},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4342105984687805},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3339481055736542},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3317342698574066}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.15439/2022f188","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2022f188","pdf_url":"https://annals-csis.org/proceedings/2022/drp/pdf/188.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:digitalcommons.uncfsu.edu:college_health_science_technology-2013","is_oa":false,"landing_page_url":"https://digitalcommons.uncfsu.edu/college_health_science_technology/1014","pdf_url":null,"source":{"id":"https://openalex.org/S4306400276","display_name":"DigitalCommons@Fayetteville State University (Fayetteville State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184654094","host_organization_name":"Fayetteville State University","host_organization_lineage":["https://openalex.org/I184654094"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"College of Health, Science, and Technology","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:0d3249e9e7bf4286bdb018700969e3e2","is_oa":true,"landing_page_url":"https://doaj.org/article/0d3249e9e7bf4286bdb018700969e3e2","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 30, Pp 913-917 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2022f188","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2022f188","pdf_url":"https://annals-csis.org/proceedings/2022/drp/pdf/188.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4298147708.pdf","grobid_xml":"https://content.openalex.org/works/W4298147708.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W1556914718","https://openalex.org/W1594217289","https://openalex.org/W1929700932","https://openalex.org/W1935270628","https://openalex.org/W1949203964","https://openalex.org/W2095082955","https://openalex.org/W2116936037","https://openalex.org/W2117967487","https://openalex.org/W2137865376","https://openalex.org/W2145326461","https://openalex.org/W2327626834","https://openalex.org/W2527278191","https://openalex.org/W2620835845","https://openalex.org/W2756944775","https://openalex.org/W2761409384","https://openalex.org/W2787407842","https://openalex.org/W2803540965","https://openalex.org/W2902800525","https://openalex.org/W2921344107","https://openalex.org/W3209329276","https://openalex.org/W4211008702","https://openalex.org/W4241509948","https://openalex.org/W4287901611"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2166247150","https://openalex.org/W4243252198","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W4235530921","https://openalex.org/W2104078272","https://openalex.org/W2382501300","https://openalex.org/W2118503825"],"abstract_inverted_index":{"Abstract4Designing":[0],"and":[1,8,26,53,63,88],"implementing":[2],"Web":[3,17],"Services":[4,18],"constitutes":[5],"a":[6,110,113,117,124],"large":[7],"constantly":[9],"growing":[10],"part":[11],"of":[12,33,60,109,119],"the":[13,38,44,69,74,104,120],"information":[14],"technology":[15],"market.":[16],"have":[19],"specific":[20],"scenarios":[21],"in":[22,47,79,96],"which":[23,48],"distributed":[24],"processes":[25],"network":[27],"resources":[28],"are":[29],"used.":[30],"This":[31,41],"aspect":[32],"services":[34,49],"requires":[35],"integration":[36],"with":[37,73,98],"model":[39,121],"checkers.":[40],"article":[42],"presents":[43],"experimentation":[45],"framework":[46],"can":[50],"be":[51],"specified":[52],"then":[54],"formally":[55],"analyzed":[56],"for":[57],"deadlock-freedom,":[58],"achievement":[59],"process":[61],"goals,":[62],"similar":[64,125],"features.":[65],"Rybu4WS":[66],"language":[67,72],"enriches":[68],"basic":[70],"Rybu":[71],"ability":[75],"to":[76,92,127],"use":[77],"variables":[78],"processes,":[80],"service":[81],"calls":[82],"between":[83],"servers,":[84],"new":[85],"structural":[86],"instructions,":[87],"other":[89],"constructions":[90],"known":[91],"programmers":[93],"while":[94],"remaining":[95],"line":[97],"declarative,":[99],"mathematical":[100],"IMDS":[101],"formalism.":[102],"Additionally,":[103],"development":[105],"environment":[106],"allows":[107],"simulation":[108],"counterexample":[111],"or":[112],"witness":[114],"-obtained":[115],"as":[116],"result":[118],"checking":[122],"-in":[123],"way":[126],"traditional":[128],"debuggers.":[129]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}