{"id":"https://openalex.org/W2084636998","doi":"https://doi.org/10.1007/s10619-010-7061-8","title":"Backward validation of communicating complex state machines in web services environments","display_name":"Backward validation of communicating complex state machines in web services environments","publication_year":2010,"publication_date":"2010-03-19","ids":{"openalex":"https://openalex.org/W2084636998","doi":"https://doi.org/10.1007/s10619-010-7061-8","mag":"2084636998"},"language":"en","primary_location":{"id":"doi:10.1007/s10619-010-7061-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10619-010-7061-8","pdf_url":null,"source":{"id":"https://openalex.org/S35927321","display_name":"Distributed and Parallel Databases","issn_l":"0926-8782","issn":["0926-8782","1573-7578"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed and Parallel Databases","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/A5071239788","display_name":"Zoubeyr Farah","orcid":"https://orcid.org/0000-0003-3316-0601"},"institutions":[{"id":"https://openalex.org/I187560010","display_name":"University of B\u00e9ja\u00efa","ror":"https://ror.org/03yb2hp88","country_code":"DZ","type":"education","lineage":["https://openalex.org/I187560010"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Farah Zoubeyr","raw_affiliation_strings":["D\u00e9partement d\u2019Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, Route de Targa Ouzemmour, B\u00e9ja\u00efa, 06000, Algeria","D\u00e9partement d'Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, B\u00e9ja\u00efa, Algeria 06000#TAB#"],"affiliations":[{"raw_affiliation_string":"D\u00e9partement d\u2019Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, Route de Targa Ouzemmour, B\u00e9ja\u00efa, 06000, Algeria","institution_ids":["https://openalex.org/I187560010"]},{"raw_affiliation_string":"D\u00e9partement d'Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, B\u00e9ja\u00efa, Algeria 06000#TAB#","institution_ids":["https://openalex.org/I187560010"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107337666","display_name":"Abdelkamel Tari","orcid":"https://orcid.org/0000-0002-0679-6180"},"institutions":[{"id":"https://openalex.org/I187560010","display_name":"University of B\u00e9ja\u00efa","ror":"https://ror.org/03yb2hp88","country_code":"DZ","type":"education","lineage":["https://openalex.org/I187560010"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Abdelkamel Tari","raw_affiliation_strings":["Laboratoire des Math\u00e9matiques Appliqu\u00e9es (LMA), D\u00e9partement d\u2019Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, Route de Targa Ouzemmour, B\u00e9ja\u00efa, 06000, Algeria","Laboratoire des Math\u00e9matiques Appliqu\u00e9es (LMA), D\u00e9partement d'Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, B\u00e9ja\u00efa, Algeria 06000#TAB#"],"affiliations":[{"raw_affiliation_string":"Laboratoire des Math\u00e9matiques Appliqu\u00e9es (LMA), D\u00e9partement d\u2019Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, Route de Targa Ouzemmour, B\u00e9ja\u00efa, 06000, Algeria","institution_ids":["https://openalex.org/I187560010"]},{"raw_affiliation_string":"Laboratoire des Math\u00e9matiques Appliqu\u00e9es (LMA), D\u00e9partement d'Informatique, Universit\u00e9 Abderrahmane Mira de B\u00e9ja\u00efa, B\u00e9ja\u00efa, Algeria 06000#TAB#","institution_ids":["https://openalex.org/I187560010"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109371305","display_name":"Aris M. Ouksel","orcid":null},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aris M. Ouksel","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Chicago, Chicago, USA","Dept. of Computer Science, University of Illinois at Chicago, Chicago, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Chicago, Chicago, USA","institution_ids":["https://openalex.org/I39422238"]},{"raw_affiliation_string":"Dept. of Computer Science, University of Illinois at Chicago, Chicago, USA#TAB#","institution_ids":["https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071239788"],"corresponding_institution_ids":["https://openalex.org/I187560010"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.18997951,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"27","issue":"3","first_page":"255","last_page":"270"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9969000220298767,"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.8772109150886536},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.8768262267112732},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6084363460540771},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.592078685760498},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5567201375961304},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5463311672210693},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5250002145767212},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5143355131149292},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5058586001396179},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.47884559631347656},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4615168273448944},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4119425415992737},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33058494329452515},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1311570405960083}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8772109150886536},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8768262267112732},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6084363460540771},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.592078685760498},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5567201375961304},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5463311672210693},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5250002145767212},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5143355131149292},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5058586001396179},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.47884559631347656},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4615168273448944},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4119425415992737},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33058494329452515},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1311570405960083},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10619-010-7061-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10619-010-7061-8","pdf_url":null,"source":{"id":"https://openalex.org/S35927321","display_name":"Distributed and Parallel Databases","issn_l":"0926-8782","issn":["0926-8782","1573-7578"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed and Parallel Databases","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":11,"referenced_works":["https://openalex.org/W1484370499","https://openalex.org/W1597884572","https://openalex.org/W1994564174","https://openalex.org/W2011597911","https://openalex.org/W2023949272","https://openalex.org/W2025970201","https://openalex.org/W2047037336","https://openalex.org/W2073118212","https://openalex.org/W2076751416","https://openalex.org/W2133153642","https://openalex.org/W4236963133"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2156446763","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2150194458","https://openalex.org/W2529513861","https://openalex.org/W4361186044","https://openalex.org/W2388344305","https://openalex.org/W2884574904","https://openalex.org/W1571571632"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}