Matches in SemOpenAlex for { <https://semopenalex.org/work/W271370675> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W271370675 endingPage "216" @default.
- W271370675 startingPage "206" @default.
- W271370675 abstract "National University of Singaporedongjs@comp.nus.edu.sgAbstract. Starting with csp2B specification facilities as the core, thispaper extends Abstract Machine Notation (AMN) further with the se-quential processes, interrupt operator, timing and other facilities specificfor TCOZ. An approach for mapping of extensions of the core into AMNand algorithms of their conversion into B machines are defined. B tech-nology provides provable refinement technique required for compositionaldevelopment. Capabilities of the extended notation are illustrated by anexample showing how a refinement of the workflow process specificationof requirements by a composition of the pre-existing workflow processescan be formally justified." @default.
- W271370675 created "2016-06-24" @default.
- W271370675 creator A5029386151 @default.
- W271370675 creator A5041763327 @default.
- W271370675 creator A5085067496 @default.
- W271370675 date "2002-01-01" @default.
- W271370675 modified "2023-09-23" @default.
- W271370675 title "Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows" @default.
- W271370675 cites W143422914 @default.
- W271370675 cites W1503973138 @default.
- W271370675 cites W1529212376 @default.
- W271370675 cites W1585758771 @default.
- W271370675 cites W2010698657 @default.
- W271370675 cites W2107886905 @default.
- W271370675 cites W2108877242 @default.
- W271370675 cites W2110268155 @default.
- W271370675 cites W2176300081 @default.
- W271370675 cites W3144368627 @default.
- W271370675 cites W992639487 @default.
- W271370675 cites W3185910042 @default.
- W271370675 hasPublicationYear "2002" @default.
- W271370675 type Work @default.
- W271370675 sameAs 271370675 @default.
- W271370675 citedByCount "1" @default.
- W271370675 crossrefType "proceedings-article" @default.
- W271370675 hasAuthorship W271370675A5029386151 @default.
- W271370675 hasAuthorship W271370675A5041763327 @default.
- W271370675 hasAuthorship W271370675A5085067496 @default.
- W271370675 hasConcept C115903868 @default.
- W271370675 hasConcept C149635348 @default.
- W271370675 hasConcept C161771561 @default.
- W271370675 hasConcept C173018170 @default.
- W271370675 hasConcept C177212765 @default.
- W271370675 hasConcept C199360897 @default.
- W271370675 hasConcept C2164484 @default.
- W271370675 hasConcept C33923547 @default.
- W271370675 hasConcept C41008148 @default.
- W271370675 hasConcept C41661131 @default.
- W271370675 hasConcept C45357846 @default.
- W271370675 hasConcept C76155785 @default.
- W271370675 hasConcept C77088390 @default.
- W271370675 hasConcept C80444323 @default.
- W271370675 hasConcept C94375191 @default.
- W271370675 hasConcept C98045186 @default.
- W271370675 hasConceptScore W271370675C115903868 @default.
- W271370675 hasConceptScore W271370675C149635348 @default.
- W271370675 hasConceptScore W271370675C161771561 @default.
- W271370675 hasConceptScore W271370675C173018170 @default.
- W271370675 hasConceptScore W271370675C177212765 @default.
- W271370675 hasConceptScore W271370675C199360897 @default.
- W271370675 hasConceptScore W271370675C2164484 @default.
- W271370675 hasConceptScore W271370675C33923547 @default.
- W271370675 hasConceptScore W271370675C41008148 @default.
- W271370675 hasConceptScore W271370675C41661131 @default.
- W271370675 hasConceptScore W271370675C45357846 @default.
- W271370675 hasConceptScore W271370675C76155785 @default.
- W271370675 hasConceptScore W271370675C77088390 @default.
- W271370675 hasConceptScore W271370675C80444323 @default.
- W271370675 hasConceptScore W271370675C94375191 @default.
- W271370675 hasConceptScore W271370675C98045186 @default.
- W271370675 hasLocation W2713706751 @default.
- W271370675 hasOpenAccess W271370675 @default.
- W271370675 hasPrimaryLocation W2713706751 @default.
- W271370675 isParatext "false" @default.
- W271370675 isRetracted "false" @default.
- W271370675 magId "271370675" @default.
- W271370675 workType "article" @default.