Matches in SemOpenAlex for { <https://semopenalex.org/work/W123576761> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W123576761 abstract "business process analysis, bunched implications, concurrency, demos Many systems exist that can be modelled as processes interacting through shared resources -people, factories and computer systems to name but a few. Building upon a logic capable of reasoning about static resource models, the Logic of Bunched Implications, we tentatively define the semantics of a logic capable of reasoning about dynamic resource models. The logic shall not consider the influence of timing on process interaction. We give a brief overview of other process logicsHennessy-Milner logic, Computation Tree Logic and modalμ which indicate how we may automate the system. We illustrate how our dynamic resource logic may be applied to the analysis of Petri nets. In order to conduct an analysis of processes, we must have a formal representation for them: we choose Demos, and present its salient characteristics. We give a formal definition of its non-time semantics, and prove that this is, in some sense, correct. Following consideration of how we apply our process logic to Demos models, we propose a method for reducing the state-space of models generated by considering a (partially) synchronous execution. We show that such a system at least correctly detects deadlock." @default.
- W123576761 created "2016-06-24" @default.
- W123576761 creator A5090966423 @default.
- W123576761 date "2003-01-01" @default.
- W123576761 modified "2023-09-27" @default.
- W123576761 title "The application of a resource logic to the non-temporal analysis of processes acting on resources" @default.
- W123576761 cites W119381390 @default.
- W123576761 cites W1503973138 @default.
- W123576761 cites W1589421353 @default.
- W123576761 cites W1978469611 @default.
- W123576761 cites W1986755980 @default.
- W123576761 cites W1996109622 @default.
- W123576761 cites W1996576835 @default.
- W123576761 cites W2007809070 @default.
- W123576761 cites W2008132476 @default.
- W123576761 cites W2013474929 @default.
- W123576761 cites W2042363190 @default.
- W123576761 cites W2068920522 @default.
- W123576761 cites W2073689993 @default.
- W123576761 cites W2117189826 @default.
- W123576761 cites W2118229393 @default.
- W123576761 cites W2157319504 @default.
- W123576761 cites W2176300081 @default.
- W123576761 cites W2796148442 @default.
- W123576761 cites W2911865844 @default.
- W123576761 cites W3144368627 @default.
- W123576761 cites W87487262 @default.
- W123576761 cites W2570710172 @default.
- W123576761 hasPublicationYear "2003" @default.
- W123576761 type Work @default.
- W123576761 sameAs 123576761 @default.
- W123576761 citedByCount "1" @default.
- W123576761 crossrefType "journal-article" @default.
- W123576761 hasAuthorship W123576761A5090966423 @default.
- W123576761 hasConcept C102993220 @default.
- W123576761 hasConcept C11648818 @default.
- W123576761 hasConcept C119599485 @default.
- W123576761 hasConcept C127413603 @default.
- W123576761 hasConcept C128838566 @default.
- W123576761 hasConcept C165801399 @default.
- W123576761 hasConcept C172385210 @default.
- W123576761 hasConcept C184337299 @default.
- W123576761 hasConcept C193702766 @default.
- W123576761 hasConcept C199360897 @default.
- W123576761 hasConcept C203659156 @default.
- W123576761 hasConcept C206345919 @default.
- W123576761 hasConcept C25016198 @default.
- W123576761 hasConcept C2777796570 @default.
- W123576761 hasConcept C31258907 @default.
- W123576761 hasConcept C38677869 @default.
- W123576761 hasConcept C41008148 @default.
- W123576761 hasConcept C80444323 @default.
- W123576761 hasConceptScore W123576761C102993220 @default.
- W123576761 hasConceptScore W123576761C11648818 @default.
- W123576761 hasConceptScore W123576761C119599485 @default.
- W123576761 hasConceptScore W123576761C127413603 @default.
- W123576761 hasConceptScore W123576761C128838566 @default.
- W123576761 hasConceptScore W123576761C165801399 @default.
- W123576761 hasConceptScore W123576761C172385210 @default.
- W123576761 hasConceptScore W123576761C184337299 @default.
- W123576761 hasConceptScore W123576761C193702766 @default.
- W123576761 hasConceptScore W123576761C199360897 @default.
- W123576761 hasConceptScore W123576761C203659156 @default.
- W123576761 hasConceptScore W123576761C206345919 @default.
- W123576761 hasConceptScore W123576761C25016198 @default.
- W123576761 hasConceptScore W123576761C2777796570 @default.
- W123576761 hasConceptScore W123576761C31258907 @default.
- W123576761 hasConceptScore W123576761C38677869 @default.
- W123576761 hasConceptScore W123576761C41008148 @default.
- W123576761 hasConceptScore W123576761C80444323 @default.
- W123576761 hasLocation W1235767611 @default.
- W123576761 hasOpenAccess W123576761 @default.
- W123576761 hasPrimaryLocation W1235767611 @default.
- W123576761 hasRelatedWork W1932957636 @default.
- W123576761 hasRelatedWork W1986356069 @default.
- W123576761 hasRelatedWork W2087722997 @default.
- W123576761 hasRelatedWork W2087883756 @default.
- W123576761 hasRelatedWork W2290394295 @default.
- W123576761 hasRelatedWork W2314374995 @default.
- W123576761 hasRelatedWork W2395995806 @default.
- W123576761 hasRelatedWork W2424826050 @default.
- W123576761 hasRelatedWork W2512639663 @default.
- W123576761 hasRelatedWork W2579299230 @default.
- W123576761 hasRelatedWork W2740422813 @default.
- W123576761 hasRelatedWork W2766991967 @default.
- W123576761 hasRelatedWork W2894989979 @default.
- W123576761 hasRelatedWork W2944032716 @default.
- W123576761 hasRelatedWork W3038100490 @default.
- W123576761 hasRelatedWork W3040347541 @default.
- W123576761 hasRelatedWork W3042250764 @default.
- W123576761 hasRelatedWork W3153082075 @default.
- W123576761 hasRelatedWork W3204382633 @default.
- W123576761 hasRelatedWork W2181728377 @default.
- W123576761 isParatext "false" @default.
- W123576761 isRetracted "false" @default.
- W123576761 magId "123576761" @default.
- W123576761 workType "article" @default.