{"id":"https://openalex.org/W140607799","doi":"https://doi.org/10.1007/978-3-540-72909-9_58","title":"Model Checking for BPEL4WS with Time","display_name":"Model Checking for BPEL4WS with Time","publication_year":2007,"publication_date":"2007-08-21","ids":{"openalex":"https://openalex.org/W140607799","doi":"https://doi.org/10.1007/978-3-540-72909-9_58","mag":"140607799"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-72909-9_58","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72909-9_58","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5038040471","display_name":"Chunming Gao","orcid":"https://orcid.org/0000-0001-7428-5166"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]},{"id":"https://openalex.org/I173759888","display_name":"Hunan Normal University","ror":"https://ror.org/053w1zy07","country_code":"CN","type":"education","lineage":["https://openalex.org/I173759888"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunming Gao","raw_affiliation_strings":["College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha, China","School of Computer Science, National University of Defense Technology, 410073 Changsha, China","School of Computer Science, National University of Defense Technology, 410073 Changsha","College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha, China","institution_ids":["https://openalex.org/I173759888"]},{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology, 410073 Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology, 410073 Changsha","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha","institution_ids":["https://openalex.org/I173759888"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100364756","display_name":"Jin Li","orcid":"https://orcid.org/0000-0001-6606-6967"},"institutions":[{"id":"https://openalex.org/I173759888","display_name":"Hunan Normal University","ror":"https://ror.org/053w1zy07","country_code":"CN","type":"education","lineage":["https://openalex.org/I173759888"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jin Li","raw_affiliation_strings":["College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha, China","College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha, China","institution_ids":["https://openalex.org/I173759888"]},{"raw_affiliation_string":"College of Mathematics and Computer Science, Hunan Normal University, 410081 Changsha","institution_ids":["https://openalex.org/I173759888"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036786337","display_name":"Zhoujun Li","orcid":"https://orcid.org/0000-0002-9603-9713"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhoujun Li","raw_affiliation_strings":["School of Computer Science, National University of Defense Technology, 410073 Changsha, China","School of Computer Science, National University of Defense Technology 410073, Changsha"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology, 410073 Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology 410073, Changsha","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111665765","display_name":"Huowang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huowang Chen","raw_affiliation_strings":["School of Computer Science, National University of Defense Technology, 410073 Changsha, China","School of Computer Science, National University of Defense Technology 410073, Changsha"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology, 410073 Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"School of Computer Science, National University of Defense Technology 410073, Changsha","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03109227,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"528","last_page":"533"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9850000143051147,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9829000234603882,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.686113178730011},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6779685020446777},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6165000796318054},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4843820035457611},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4285638630390167},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4159192442893982},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4141806662082672},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3889774680137634},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32093602418899536},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3192737102508545},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18607169389724731}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.686113178730011},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6779685020446777},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6165000796318054},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4843820035457611},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4285638630390167},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4159192442893982},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4141806662082672},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3889774680137634},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32093602418899536},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3192737102508545},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18607169389724731},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-72909-9_58","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72909-9_58","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W26128327","https://openalex.org/W576811070","https://openalex.org/W1239375374","https://openalex.org/W1529140242","https://openalex.org/W1603799276","https://openalex.org/W2047475087","https://openalex.org/W2167998587","https://openalex.org/W2481588761","https://openalex.org/W2561675875","https://openalex.org/W4243186596"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W2103740034","https://openalex.org/W1592102986","https://openalex.org/W2350953867","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619","https://openalex.org/W2203774400","https://openalex.org/W2157373800"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}