{"id":"https://openalex.org/W2114689332","doi":"https://doi.org/10.1155/2013/962765","title":"Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding","display_name":"Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2114689332","doi":"https://doi.org/10.1155/2013/962765","mag":"2114689332"},"language":"en","primary_location":{"id":"doi:10.1155/2013/962765","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2013/962765","pdf_url":"https://downloads.hindawi.com/journals/jam/2013/962765.pdf","source":{"id":"https://openalex.org/S190082376","display_name":"Journal of Applied Mathematics","issn_l":"1110-757X","issn":["1110-757X","1687-0042"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://downloads.hindawi.com/journals/jam/2013/962765.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035861099","display_name":"Song Liang","orcid":"https://orcid.org/0000-0001-7029-8736"},"institutions":[{"id":"https://openalex.org/I1302611135","display_name":"Ministry of Public Security of the People's Republic of China","ror":"https://ror.org/00bt9we26","country_code":"CN","type":"government","lineage":["https://openalex.org/I1302611135"]},{"id":"https://openalex.org/I4210148850","display_name":"National Science Library","ror":"https://ror.org/04ndjyr10","country_code":"CN","type":"archive","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210148850"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Song","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China","Key Lab for Information System Security, Ministry of Education, Beijing 100084, China","National Laboratory for Information Science and Technology, Beijing 100084, China","School of Software, Tsinghua University, Beijing 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"Key Lab for Information System Security, Ministry of Education, Beijing 100084, China","institution_ids":["https://openalex.org/I1302611135"]},{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Beijing 100084, China","institution_ids":["https://openalex.org/I4210148850"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100373517","display_name":"Jianmin Wang","orcid":"https://orcid.org/0000-0001-6841-7943"},"institutions":[{"id":"https://openalex.org/I1302611135","display_name":"Ministry of Public Security of the People's Republic of China","ror":"https://ror.org/00bt9we26","country_code":"CN","type":"government","lineage":["https://openalex.org/I1302611135"]},{"id":"https://openalex.org/I4210148850","display_name":"National Science Library","ror":"https://ror.org/04ndjyr10","country_code":"CN","type":"archive","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210148850"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jianmin Wang","raw_affiliation_strings":["Key Lab for Information System Security, Ministry of Education, Beijing 100084, China","National Laboratory for Information Science and Technology, Beijing 100084, China","School of Software, Tsinghua University, Beijing 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab for Information System Security, Ministry of Education, Beijing 100084, China","institution_ids":["https://openalex.org/I1302611135"]},{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Beijing 100084, China","institution_ids":["https://openalex.org/I4210148850"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030845033","display_name":"Lijie Wen","orcid":"https://orcid.org/0000-0003-0358-3160"},"institutions":[{"id":"https://openalex.org/I1302611135","display_name":"Ministry of Public Security of the People's Republic of China","ror":"https://ror.org/00bt9we26","country_code":"CN","type":"government","lineage":["https://openalex.org/I1302611135"]},{"id":"https://openalex.org/I4210148850","display_name":"National Science Library","ror":"https://ror.org/04ndjyr10","country_code":"CN","type":"archive","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210148850"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lijie Wen","raw_affiliation_strings":["Key Lab for Information System Security, Ministry of Education, Beijing 100084, China","National Laboratory for Information Science and Technology, Beijing 100084, China","School of Software, Tsinghua University, Beijing 100084, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab for Information System Security, Ministry of Education, Beijing 100084, China","institution_ids":["https://openalex.org/I1302611135"]},{"raw_affiliation_string":"National Laboratory for Information Science and Technology, Beijing 100084, China","institution_ids":["https://openalex.org/I4210148850"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103067693","display_name":"Hui Kong","orcid":"https://orcid.org/0000-0002-6658-4235"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Kong","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China","School of Software, Tsinghua University, Beijing 100084, China"],"raw_orcid":"https://orcid.org/0000-0002-6658-4235","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"School of Software, Tsinghua University, Beijing 100084, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100373517"],"corresponding_institution_ids":["https://openalex.org/I1302611135","https://openalex.org/I4210148850","https://openalex.org/I99065089"],"apc_list":{"value":1025,"currency":"USD","value_usd":1025},"apc_paid":{"value":1025,"currency":"USD","value_usd":1025},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.2226098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"2013","issue":null,"first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"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":1.0,"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.9973000288009644,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9830999970436096,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8050256371498108},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6795995831489563},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.6062014102935791},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5982434153556824},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5118712782859802},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.45011696219444275},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4331708550453186},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35717877745628357},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.2413145899772644},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.22705599665641785}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8050256371498108},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6795995831489563},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6062014102935791},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5982434153556824},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5118712782859802},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.45011696219444275},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4331708550453186},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35717877745628357},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.2413145899772644},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.22705599665641785},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1155/2013/962765","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2013/962765","pdf_url":"https://downloads.hindawi.com/journals/jam/2013/962765.pdf","source":{"id":"https://openalex.org/S190082376","display_name":"Journal of Applied Mathematics","issn_l":"1110-757X","issn":["1110-757X","1687-0042"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jam/1399645328","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jam/1399645328","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:RePEc:hin:jnljam:962765","is_oa":false,"landing_page_url":"http://downloads.hindawi.com/journals/JAM/2013/962765.xml","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:doaj.org/article:3fb3e64b9b554b4b8a2b3617e21fe093","is_oa":true,"landing_page_url":"https://doaj.org/article/3fb3e64b9b554b4b8a2b3617e21fe093","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Applied Mathematics, Vol 2013 (2013)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2013/962765","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2013/962765","pdf_url":"https://downloads.hindawi.com/journals/jam/2013/962765.pdf","source":{"id":"https://openalex.org/S190082376","display_name":"Journal of Applied Mathematics","issn_l":"1110-757X","issn":["1110-757X","1687-0042"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1529213271","display_name":null,"funder_award_id":"2012AA040904","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2596177829","display_name":null,"funder_award_id":"61003099","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3093733887","display_name":null,"funder_award_id":"MCM20123011","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4621513042","display_name":null,"funder_award_id":"2009CB320700","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5199514262","display_name":null,"funder_award_id":"90718010","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320334924","display_name":"Program for New Century Excellent Talents in University","ror":"https://ror.org/01mv9t934"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2114689332.pdf","grobid_xml":"https://content.openalex.org/works/W2114689332.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W14006895","https://openalex.org/W16244343","https://openalex.org/W23278639","https://openalex.org/W52979180","https://openalex.org/W560576065","https://openalex.org/W1482911025","https://openalex.org/W1496688482","https://openalex.org/W1501172337","https://openalex.org/W1517025580","https://openalex.org/W1519991357","https://openalex.org/W1527113951","https://openalex.org/W1530861867","https://openalex.org/W1534589578","https://openalex.org/W1574570499","https://openalex.org/W1594712127","https://openalex.org/W1605199944","https://openalex.org/W1673753150","https://openalex.org/W1704218983","https://openalex.org/W1892797342","https://openalex.org/W1937565299","https://openalex.org/W1965237160","https://openalex.org/W1984936841","https://openalex.org/W1996109622","https://openalex.org/W2000125822","https://openalex.org/W2009636439","https://openalex.org/W2016963372","https://openalex.org/W2026884416","https://openalex.org/W2040633651","https://openalex.org/W2097810426","https://openalex.org/W2101317674","https://openalex.org/W2113693142","https://openalex.org/W2129466958","https://openalex.org/W2134326845","https://openalex.org/W2144593768","https://openalex.org/W2145391336","https://openalex.org/W2149550070","https://openalex.org/W2154081054","https://openalex.org/W2158851034","https://openalex.org/W2164024827","https://openalex.org/W2169696634","https://openalex.org/W2398838155","https://openalex.org/W2401343574","https://openalex.org/W2494940261"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W4388713123","https://openalex.org/W3194438104","https://openalex.org/W2041209185","https://openalex.org/W4235160909","https://openalex.org/W4391150403","https://openalex.org/W2081749821","https://openalex.org/W1968572830","https://openalex.org/W2090814745","https://openalex.org/W2029896371"],"abstract_inverted_index":{"Business":[0],"process":[1,26,46,56,122],"models":[2],"are":[3],"required":[4],"to":[5,63,141,178],"be":[6,61],"in":[7,89,154],"line":[8],"with":[9,82],"frequently":[10],"changing":[11],"regulations,":[12],"policies,":[13],"and":[14,36,146],"environments.":[15],"In":[16,115],"the":[17,30,51,65,68,102,110,159,166,180],"field":[18],"of":[19,53,73,86,104],"intelligent":[20],"modeling,":[21],"organisations":[22],"concern":[23],"automated":[24],"business":[25,45,55],"compliance":[27,47,66,87,144,160],"checking":[28,88,161],"as":[29,170,172],"manual":[31],"verification":[32],"is":[33,50,96,176,193],"a":[34,54,92,120,128,151,156],"time-consuming":[35],"inefficient":[37],"work.":[38],"There":[39],"exist":[40],"two":[41],"key":[42],"issues":[43],"for":[44],"checking.":[48],"One":[49],"definition":[52],"retrieval":[57,78,93],"language":[58,94,125,140],"that":[59,95,158,190],"can":[60,100],"employed":[62],"capture":[64,142],"rules,":[67],"other":[69],"concerns":[70],"efficient":[71],"evaluation":[72],"these":[74],"rules.":[75],"Traditional":[76],"syntax-based":[77,105],"approaches":[79],"cannot":[80],"deal":[81],"various":[83],"important":[84],"requirements":[85],"practice.":[90],"Although":[91],"based":[97],"on":[98,185],"semantics":[99],"overcome":[101],"drawback":[103],"ones,":[106],"it":[107],"suffers":[108],"from":[109,165],"well-known":[111],"state":[112,167],"space":[113,168],"explosion.":[114],"this":[116,139],"paper,":[117],"we":[118],"define":[119],"semantics-based":[121,143],"model":[123,187],"query":[124],"through":[126],"simplifying":[127],"property":[129],"specification":[130],"pattern":[131],"system":[132],"without":[133],"affecting":[134],"its":[135],"expressiveness.":[136],"We":[137,148],"use":[138],"rules":[145],"constraints.":[147],"also":[149],"propose":[150],"feasible":[152],"approach":[153],"such":[155],"way":[157],"will":[162],"not":[163],"suffer":[164],"explosion":[169],"much":[171],"possible.":[173],"A":[174],"tool":[175],"implemented":[177],"evaluate":[179],"efficiency.":[181],"An":[182],"experiment":[183],"conducted":[184],"three":[186],"collections":[188],"illustrates":[189],"our":[191],"technology":[192],"very":[194],"efficient.":[195]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}