FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W147393485> ?p ?o ?g. }

• W147393485 endingPage "4051" @default.
• W147393485 startingPage "4037" @default.
• W147393485 abstract "Models of commercial systems reflect either the statical structure or the dynamic behavior of a system. The dynamic aspects are the business processes and their models. Whereas the static relations in a system may be expressed by Boolean logic, the dynamic activities and their temporal sequences ask for a better formalism, e.g. temporal logic. Temporal logic is based on Boolean logic extended by operators expressing the temporal order of states. In general there are different technologies to verify temporal sequences. Our choice is the model checking concept. In the paper we present examples of business process models and how these models may be checked. We introduce a model to specify the rules (rules model) and demonstrate how the results of the checks can be displayed in the business process models. These models and the rules are represented in a graphical editor. Both models are transformed into a formal language which may be processed by a verification tool a model checker in our case. The results are then visualized in the graphical editor indicating where the model violates or keeps the rules." @default.
• W147393485 created "2016-06-24" @default.
• W147393485 creator A5023335419 @default.
• W147393485 creator A5041691200 @default.
• W147393485 creator A5042138015 @default.
• W147393485 date "2009-01-01" @default.
• W147393485 modified "2023-09-26" @default.
• W147393485 title "Business Process Verification." @default.
• W147393485 cites W1521845096 @default.
• W147393485 cites W1537891716 @default.
• W147393485 cites W1550487903 @default.
• W147393485 cites W1557858341 @default.
• W147393485 cites W1949034694 @default.
• W147393485 cites W1984936841 @default.
• W147393485 cites W2005312844 @default.
• W147393485 cites W2099276158 @default.
• W147393485 cites W2100112273 @default.
• W147393485 cites W2100732527 @default.
• W147393485 cites W2109976086 @default.
• W147393485 cites W2112748741 @default.
• W147393485 cites W2114000297 @default.
• W147393485 cites W2128111779 @default.
• W147393485 cites W2135274583 @default.
• W147393485 cites W2140225592 @default.
• W147393485 cites W2340735175 @default.
• W147393485 cites W2517114061 @default.
• W147393485 cites W2913459036 @default.
• W147393485 hasPublicationYear "2009" @default.
• W147393485 type Work @default.
• W147393485 sameAs 147393485 @default.
• W147393485 citedByCount "1" @default.
• W147393485 countsByYear W1473934852015 @default.
• W147393485 crossrefType "journal-article" @default.
• W147393485 hasAuthorship W147393485A5023335419 @default.
• W147393485 hasAuthorship W147393485A5041691200 @default.
• W147393485 hasAuthorship W147393485A5042138015 @default.
• W147393485 hasConcept C110251889 @default.
• W147393485 hasConcept C11066294 @default.
• W147393485 hasConcept C119599485 @default.
• W147393485 hasConcept C127413603 @default.
• W147393485 hasConcept C142362112 @default.
• W147393485 hasConcept C153349607 @default.
• W147393485 hasConcept C165801399 @default.
• W147393485 hasConcept C172385210 @default.
• W147393485 hasConcept C174998907 @default.
• W147393485 hasConcept C198008173 @default.
• W147393485 hasConcept C199360897 @default.
• W147393485 hasConcept C207505557 @default.
• W147393485 hasConcept C21547014 @default.
• W147393485 hasConcept C25016198 @default.
• W147393485 hasConcept C2777796570 @default.
• W147393485 hasConcept C41008148 @default.
• W147393485 hasConcept C4777664 @default.
• W147393485 hasConcept C558565934 @default.
• W147393485 hasConcept C73301696 @default.
• W147393485 hasConcept C80444323 @default.
• W147393485 hasConcept C85345410 @default.
• W147393485 hasConceptScore W147393485C110251889 @default.
• W147393485 hasConceptScore W147393485C11066294 @default.
• W147393485 hasConceptScore W147393485C119599485 @default.
• W147393485 hasConceptScore W147393485C127413603 @default.
• W147393485 hasConceptScore W147393485C142362112 @default.
• W147393485 hasConceptScore W147393485C153349607 @default.
• W147393485 hasConceptScore W147393485C165801399 @default.
• W147393485 hasConceptScore W147393485C172385210 @default.
• W147393485 hasConceptScore W147393485C174998907 @default.
• W147393485 hasConceptScore W147393485C198008173 @default.
• W147393485 hasConceptScore W147393485C199360897 @default.
• W147393485 hasConceptScore W147393485C207505557 @default.
• W147393485 hasConceptScore W147393485C21547014 @default.
• W147393485 hasConceptScore W147393485C25016198 @default.
• W147393485 hasConceptScore W147393485C2777796570 @default.
• W147393485 hasConceptScore W147393485C41008148 @default.
• W147393485 hasConceptScore W147393485C4777664 @default.
• W147393485 hasConceptScore W147393485C558565934 @default.
• W147393485 hasConceptScore W147393485C73301696 @default.
• W147393485 hasConceptScore W147393485C80444323 @default.
• W147393485 hasConceptScore W147393485C85345410 @default.
• W147393485 hasLocation W1473934851 @default.
• W147393485 hasOpenAccess W147393485 @default.
• W147393485 hasPrimaryLocation W1473934851 @default.
• W147393485 hasRelatedWork W148592995 @default.
• W147393485 hasRelatedWork W1546856311 @default.
• W147393485 hasRelatedWork W1569620404 @default.
• W147393485 hasRelatedWork W158031913 @default.
• W147393485 hasRelatedWork W1978677887 @default.
• W147393485 hasRelatedWork W203793826 @default.
• W147393485 hasRelatedWork W2114045932 @default.
• W147393485 hasRelatedWork W2215978394 @default.
• W147393485 hasRelatedWork W2338337294 @default.
• W147393485 hasRelatedWork W2361136797 @default.
• W147393485 hasRelatedWork W2512590610 @default.
• W147393485 hasRelatedWork W2588454035 @default.
• W147393485 hasRelatedWork W26033673 @default.
• W147393485 hasRelatedWork W70131269 @default.
• W147393485 hasRelatedWork W71026418 @default.
• W147393485 hasRelatedWork W94935414 @default.
• W147393485 hasRelatedWork W2337952987 @default.

• next