Matches in SemOpenAlex for { <https://semopenalex.org/work/W2353803498> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2353803498 abstract "The business processes of the modern enterprise computing have been becoming more complex.To coordinate workflows from different organizations,which are geographically dispersed and autonomous,this paper proposes a model called IOPN(Interaction-Oriented Petri Nets) to describe the workflow coordination between different organizations.The IOPN model can describe the internal process models and the interaction relations between different organizations.To assure the IOPN model being executed correctly,this paper presents the relaxed soundness of IOPN model as one of correctness properties.The size of the composite IOPN model is usually large,so the analysis based on state space methods will encounter the state space explosion problem.This paper presents a decomposition approach with invariant analysis,which can decompose a circuit-free and relaxed sound IOPN into a set of sequence diagrams.Furthermore,this paper presents the corresponding theorem,i.e.,a circuit-free IOPN is relaxed sound if and only if it can be decomposed into a set of legal sequence diagrams." @default.
- W2353803498 created "2016-06-24" @default.
- W2353803498 creator A5063535334 @default.
- W2353803498 date "2012-01-01" @default.
- W2353803498 modified "2023-09-23" @default.
- W2353803498 title "A Decomposition Approach with Invariant Analysis for Workflow Coordination" @default.
- W2353803498 hasPublicationYear "2012" @default.
- W2353803498 type Work @default.
- W2353803498 sameAs 2353803498 @default.
- W2353803498 citedByCount "1" @default.
- W2353803498 countsByYear W23538034982019 @default.
- W2353803498 crossrefType "journal-article" @default.
- W2353803498 hasAuthorship W2353803498A5063535334 @default.
- W2353803498 hasConcept C105795698 @default.
- W2353803498 hasConcept C11413529 @default.
- W2353803498 hasConcept C124681953 @default.
- W2353803498 hasConcept C127413603 @default.
- W2353803498 hasConcept C145644426 @default.
- W2353803498 hasConcept C153185123 @default.
- W2353803498 hasConcept C174998907 @default.
- W2353803498 hasConcept C177212765 @default.
- W2353803498 hasConcept C177264268 @default.
- W2353803498 hasConcept C18903297 @default.
- W2353803498 hasConcept C190470478 @default.
- W2353803498 hasConcept C199360897 @default.
- W2353803498 hasConcept C21547014 @default.
- W2353803498 hasConcept C2777904410 @default.
- W2353803498 hasConcept C2778112365 @default.
- W2353803498 hasConcept C33923547 @default.
- W2353803498 hasConcept C37914503 @default.
- W2353803498 hasConcept C38677869 @default.
- W2353803498 hasConcept C39920170 @default.
- W2353803498 hasConcept C41008148 @default.
- W2353803498 hasConcept C54355233 @default.
- W2353803498 hasConcept C55439883 @default.
- W2353803498 hasConcept C72434380 @default.
- W2353803498 hasConcept C77088390 @default.
- W2353803498 hasConcept C80444323 @default.
- W2353803498 hasConcept C85345410 @default.
- W2353803498 hasConcept C86803240 @default.
- W2353803498 hasConceptScore W2353803498C105795698 @default.
- W2353803498 hasConceptScore W2353803498C11413529 @default.
- W2353803498 hasConceptScore W2353803498C124681953 @default.
- W2353803498 hasConceptScore W2353803498C127413603 @default.
- W2353803498 hasConceptScore W2353803498C145644426 @default.
- W2353803498 hasConceptScore W2353803498C153185123 @default.
- W2353803498 hasConceptScore W2353803498C174998907 @default.
- W2353803498 hasConceptScore W2353803498C177212765 @default.
- W2353803498 hasConceptScore W2353803498C177264268 @default.
- W2353803498 hasConceptScore W2353803498C18903297 @default.
- W2353803498 hasConceptScore W2353803498C190470478 @default.
- W2353803498 hasConceptScore W2353803498C199360897 @default.
- W2353803498 hasConceptScore W2353803498C21547014 @default.
- W2353803498 hasConceptScore W2353803498C2777904410 @default.
- W2353803498 hasConceptScore W2353803498C2778112365 @default.
- W2353803498 hasConceptScore W2353803498C33923547 @default.
- W2353803498 hasConceptScore W2353803498C37914503 @default.
- W2353803498 hasConceptScore W2353803498C38677869 @default.
- W2353803498 hasConceptScore W2353803498C39920170 @default.
- W2353803498 hasConceptScore W2353803498C41008148 @default.
- W2353803498 hasConceptScore W2353803498C54355233 @default.
- W2353803498 hasConceptScore W2353803498C55439883 @default.
- W2353803498 hasConceptScore W2353803498C72434380 @default.
- W2353803498 hasConceptScore W2353803498C77088390 @default.
- W2353803498 hasConceptScore W2353803498C80444323 @default.
- W2353803498 hasConceptScore W2353803498C85345410 @default.
- W2353803498 hasConceptScore W2353803498C86803240 @default.
- W2353803498 hasOpenAccess W2353803498 @default.
- W2353803498 hasRelatedWork W1508393218 @default.
- W2353803498 hasRelatedWork W1561214934 @default.
- W2353803498 hasRelatedWork W156306387 @default.
- W2353803498 hasRelatedWork W1941942257 @default.
- W2353803498 hasRelatedWork W2046171680 @default.
- W2353803498 hasRelatedWork W2182274322 @default.
- W2353803498 hasRelatedWork W2394934717 @default.
- W2353803498 hasRelatedWork W25357132 @default.
- W2353803498 hasRelatedWork W2743143607 @default.
- W2353803498 hasRelatedWork W2787824897 @default.
- W2353803498 hasRelatedWork W2894242316 @default.
- W2353803498 hasRelatedWork W2957181245 @default.
- W2353803498 hasRelatedWork W2974478995 @default.
- W2353803498 hasRelatedWork W2981691057 @default.
- W2353803498 hasRelatedWork W2990105759 @default.
- W2353803498 hasRelatedWork W3123540170 @default.
- W2353803498 hasRelatedWork W3186066799 @default.
- W2353803498 hasRelatedWork W3205062794 @default.
- W2353803498 hasRelatedWork W635009671 @default.
- W2353803498 hasRelatedWork W74229498 @default.
- W2353803498 isParatext "false" @default.
- W2353803498 isRetracted "false" @default.
- W2353803498 magId "2353803498" @default.
- W2353803498 workType "article" @default.