Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114689332> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2114689332 endingPage "24" @default.
- W2114689332 startingPage "1" @default.
- W2114689332 abstract "Business process models are required to be in line with frequently changing regulations, policies, and environments. In the field of intelligent modeling, organisations concern automated business process compliance checking as the manual verification is a time-consuming and inefficient work. There exist two key issues for business process compliance checking. One is the definition of a business process retrieval language that can be employed to capture the compliance rules, the other concerns efficient evaluation of these rules. Traditional syntax-based retrieval approaches cannot deal with various important requirements of compliance checking in practice. Although a retrieval language that is based on semantics can overcome the drawback of syntax-based ones, it suffers from the well-known state space explosion. In this paper, we define a semantics-based process model query language through simplifying a property specification pattern system without affecting its expressiveness. We use this language to capture semantics-based compliance rules and constraints. We also propose a feasible approach in such a way that the compliance checking will not suffer from the state space explosion as much as possible. A tool is implemented to evaluate the efficiency. An experiment conducted on three model collections illustrates that our technology is very efficient." @default.
- W2114689332 created "2016-06-24" @default.
- W2114689332 creator A5030845033 @default.
- W2114689332 creator A5034579434 @default.
- W2114689332 creator A5035861099 @default.
- W2114689332 creator A5057476372 @default.
- W2114689332 date "2013-01-01" @default.
- W2114689332 modified "2023-10-17" @default.
- W2114689332 title "Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding" @default.
- W2114689332 cites W1496688482 @default.
- W2114689332 cites W1534589578 @default.
- W2114689332 cites W1892797342 @default.
- W2114689332 cites W1937565299 @default.
- W2114689332 cites W1965237160 @default.
- W2114689332 cites W1996109622 @default.
- W2114689332 cites W2009636439 @default.
- W2114689332 cites W2026884416 @default.
- W2114689332 cites W2040633651 @default.
- W2114689332 cites W2097810426 @default.
- W2114689332 cites W2113693142 @default.
- W2114689332 cites W2129466958 @default.
- W2114689332 cites W2134326845 @default.
- W2114689332 cites W2145391336 @default.
- W2114689332 cites W2149550070 @default.
- W2114689332 cites W2158851034 @default.
- W2114689332 cites W2164024827 @default.
- W2114689332 cites W2169696634 @default.
- W2114689332 doi "https://doi.org/10.1155/2013/962765" @default.
- W2114689332 hasPublicationYear "2013" @default.
- W2114689332 type Work @default.
- W2114689332 sameAs 2114689332 @default.
- W2114689332 citedByCount "0" @default.
- W2114689332 crossrefType "journal-article" @default.
- W2114689332 hasAuthorship W2114689332A5030845033 @default.
- W2114689332 hasAuthorship W2114689332A5034579434 @default.
- W2114689332 hasAuthorship W2114689332A5035861099 @default.
- W2114689332 hasAuthorship W2114689332A5057476372 @default.
- W2114689332 hasBestOaLocation W21146893321 @default.
- W2114689332 hasConcept C110251889 @default.
- W2114689332 hasConcept C115903868 @default.
- W2114689332 hasConcept C144133560 @default.
- W2114689332 hasConcept C162853370 @default.
- W2114689332 hasConcept C174998907 @default.
- W2114689332 hasConcept C184337299 @default.
- W2114689332 hasConcept C199360897 @default.
- W2114689332 hasConcept C204321447 @default.
- W2114689332 hasConcept C41008148 @default.
- W2114689332 hasConcept C60048249 @default.
- W2114689332 hasConcept C85345410 @default.
- W2114689332 hasConcept C98045186 @default.
- W2114689332 hasConceptScore W2114689332C110251889 @default.
- W2114689332 hasConceptScore W2114689332C115903868 @default.
- W2114689332 hasConceptScore W2114689332C144133560 @default.
- W2114689332 hasConceptScore W2114689332C162853370 @default.
- W2114689332 hasConceptScore W2114689332C174998907 @default.
- W2114689332 hasConceptScore W2114689332C184337299 @default.
- W2114689332 hasConceptScore W2114689332C199360897 @default.
- W2114689332 hasConceptScore W2114689332C204321447 @default.
- W2114689332 hasConceptScore W2114689332C41008148 @default.
- W2114689332 hasConceptScore W2114689332C60048249 @default.
- W2114689332 hasConceptScore W2114689332C85345410 @default.
- W2114689332 hasConceptScore W2114689332C98045186 @default.
- W2114689332 hasFunder F4320321001 @default.
- W2114689332 hasLocation W21146893321 @default.
- W2114689332 hasLocation W21146893322 @default.
- W2114689332 hasOpenAccess W2114689332 @default.
- W2114689332 hasPrimaryLocation W21146893321 @default.
- W2114689332 hasRelatedWork W1483213041 @default.
- W2114689332 hasRelatedWork W1576648414 @default.
- W2114689332 hasRelatedWork W1587224678 @default.
- W2114689332 hasRelatedWork W1778728081 @default.
- W2114689332 hasRelatedWork W1855927527 @default.
- W2114689332 hasRelatedWork W1998586093 @default.
- W2114689332 hasRelatedWork W2099080307 @default.
- W2114689332 hasRelatedWork W27605384 @default.
- W2114689332 hasRelatedWork W4246531319 @default.
- W2114689332 hasRelatedWork W1894736207 @default.
- W2114689332 hasVolume "2013" @default.
- W2114689332 isParatext "false" @default.
- W2114689332 isRetracted "false" @default.
- W2114689332 magId "2114689332" @default.
- W2114689332 workType "article" @default.