{"id":"https://openalex.org/W2120623149","doi":"https://doi.org/10.1145/1810295.1810392","title":"Formal methods for web services","display_name":"Formal methods for web services","publication_year":2010,"publication_date":"2010-05-01","ids":{"openalex":"https://openalex.org/W2120623149","doi":"https://doi.org/10.1145/1810295.1810392","mag":"2120623149"},"language":"en","primary_location":{"id":"doi:10.1145/1810295.1810392","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1810295.1810392","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2","raw_type":"proceedings-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/A5042971001","display_name":"K. S. May Chan","orcid":null},"institutions":[{"id":"https://openalex.org/I69552723","display_name":"University of Pretoria","ror":"https://ror.org/00g0p6g84","country_code":"ZA","type":"education","lineage":["https://openalex.org/I69552723"]}],"countries":["ZA"],"is_corresponding":true,"raw_author_name":"K. S. May Chan","raw_affiliation_strings":["University of Pretoria, Pretoria, South Africa","University of Pretoria , Pretoria, South Africa"],"affiliations":[{"raw_affiliation_string":"University of Pretoria, Pretoria, South Africa","institution_ids":["https://openalex.org/I69552723"]},{"raw_affiliation_string":"University of Pretoria , Pretoria, South Africa","institution_ids":["https://openalex.org/I69552723"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5042971001"],"corresponding_institution_ids":["https://openalex.org/I69552723"],"apc_list":null,"apc_paid":null,"fwci":3.4685,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.94011505,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"357","last_page":"360"},"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":1.0,"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":1.0,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9973999857902527,"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/computer-science","display_name":"Computer science","score":0.7996822595596313},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.7082194685935974},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.6790783405303955},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.5913563966751099},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.48992985486984253},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.48236531019210815},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3441659212112427},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3275409936904907},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.31670498847961426},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25536924600601196},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.20198532938957214},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17857953906059265}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7996822595596313},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7082194685935974},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6790783405303955},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.5913563966751099},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.48992985486984253},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48236531019210815},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3441659212112427},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3275409936904907},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31670498847961426},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25536924600601196},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.20198532938957214},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17857953906059265}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1810295.1810392","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1810295.1810392","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1559868605","https://openalex.org/W1565807956","https://openalex.org/W1601616652","https://openalex.org/W1952270798","https://openalex.org/W2011606665","https://openalex.org/W2107135087","https://openalex.org/W2130914035","https://openalex.org/W2143082089","https://openalex.org/W2150189917","https://openalex.org/W2165612536","https://openalex.org/W2477747516","https://openalex.org/W2615385482","https://openalex.org/W3023372950"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W61995002","https://openalex.org/W1515524860","https://openalex.org/W4287777441","https://openalex.org/W2097261973","https://openalex.org/W4240148205","https://openalex.org/W2113624447","https://openalex.org/W2416851461"],"abstract_inverted_index":{"Formal":[0],"methods":[1],"can":[2],"be":[3,34],"used":[4,37],"to":[5,25,46],"verify":[6],"different":[7],"perspective":[8],"of":[9,15],"a":[10,22,39],"Web":[11],"service.":[12],"An":[13],"ensemble":[14],"specific":[16],"techniques":[17],"is":[18,38],"not":[19],"supported":[20],"by":[21],"general":[23],"approach":[24,45],"the":[26],"problem.":[27,49],"To":[28],"understand":[29],"which":[30],"formal":[31],"method":[32],"should":[33],"combined":[35],"and":[36],"challenge.":[40],"This":[41],"paper":[42],"outlines":[43],"our":[44],"address":[47],"this":[48]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}