Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149338503> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2149338503 endingPage "280" @default.
- W2149338503 startingPage "265" @default.
- W2149338503 abstract "The Systems Modeling Language (SysML), an extension of a subset of the Unified Modeling Language (UML), is a visual modelling language for systems engineering applications. At present, the semi-formal SysML, which is widely utilised for the design of complex heterogeneous systems, lacks integration with other more formal approaches. In this paper, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergence Refinement (FDR), may be used to underpin an approach that facilitates the refinement checking of behavioural consistency of SysML diagrams; we also show how the proposed approach supports requirements traceability. We illustrate our contribution by means of a small case study." @default.
- W2149338503 created "2016-06-24" @default.
- W2149338503 creator A5042005550 @default.
- W2149338503 creator A5071022931 @default.
- W2149338503 date "2013-01-01" @default.
- W2149338503 modified "2023-09-27" @default.
- W2149338503 title "Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML" @default.
- W2149338503 cites W119570465 @default.
- W2149338503 cites W2066532994 @default.
- W2149338503 cites W2076343896 @default.
- W2149338503 cites W2097923425 @default.
- W2149338503 cites W2128510433 @default.
- W2149338503 cites W1917579815 @default.
- W2149338503 doi "https://doi.org/10.1007/978-3-642-41202-8_18" @default.
- W2149338503 hasPublicationYear "2013" @default.
- W2149338503 type Work @default.
- W2149338503 sameAs 2149338503 @default.
- W2149338503 citedByCount "2" @default.
- W2149338503 countsByYear W21493385032014 @default.
- W2149338503 countsByYear W21493385032015 @default.
- W2149338503 crossrefType "book-chapter" @default.
- W2149338503 hasAuthorship W2149338503A5042005550 @default.
- W2149338503 hasAuthorship W2149338503A5071022931 @default.
- W2149338503 hasBestOaLocation W21493385032 @default.
- W2149338503 hasConcept C115903868 @default.
- W2149338503 hasConcept C127413603 @default.
- W2149338503 hasConcept C135475081 @default.
- W2149338503 hasConcept C138885662 @default.
- W2149338503 hasConcept C145644426 @default.
- W2149338503 hasConcept C153876917 @default.
- W2149338503 hasConcept C154945302 @default.
- W2149338503 hasConcept C155214134 @default.
- W2149338503 hasConcept C156325763 @default.
- W2149338503 hasConcept C161771561 @default.
- W2149338503 hasConcept C184337299 @default.
- W2149338503 hasConcept C199360897 @default.
- W2149338503 hasConcept C201995342 @default.
- W2149338503 hasConcept C207390915 @default.
- W2149338503 hasConcept C21285288 @default.
- W2149338503 hasConcept C2776436953 @default.
- W2149338503 hasConcept C2777904410 @default.
- W2149338503 hasConcept C35084680 @default.
- W2149338503 hasConcept C41008148 @default.
- W2149338503 hasConcept C41895202 @default.
- W2149338503 hasConcept C59488412 @default.
- W2149338503 hasConcept C75606506 @default.
- W2149338503 hasConcept C98045186 @default.
- W2149338503 hasConceptScore W2149338503C115903868 @default.
- W2149338503 hasConceptScore W2149338503C127413603 @default.
- W2149338503 hasConceptScore W2149338503C135475081 @default.
- W2149338503 hasConceptScore W2149338503C138885662 @default.
- W2149338503 hasConceptScore W2149338503C145644426 @default.
- W2149338503 hasConceptScore W2149338503C153876917 @default.
- W2149338503 hasConceptScore W2149338503C154945302 @default.
- W2149338503 hasConceptScore W2149338503C155214134 @default.
- W2149338503 hasConceptScore W2149338503C156325763 @default.
- W2149338503 hasConceptScore W2149338503C161771561 @default.
- W2149338503 hasConceptScore W2149338503C184337299 @default.
- W2149338503 hasConceptScore W2149338503C199360897 @default.
- W2149338503 hasConceptScore W2149338503C201995342 @default.
- W2149338503 hasConceptScore W2149338503C207390915 @default.
- W2149338503 hasConceptScore W2149338503C21285288 @default.
- W2149338503 hasConceptScore W2149338503C2776436953 @default.
- W2149338503 hasConceptScore W2149338503C2777904410 @default.
- W2149338503 hasConceptScore W2149338503C35084680 @default.
- W2149338503 hasConceptScore W2149338503C41008148 @default.
- W2149338503 hasConceptScore W2149338503C41895202 @default.
- W2149338503 hasConceptScore W2149338503C59488412 @default.
- W2149338503 hasConceptScore W2149338503C75606506 @default.
- W2149338503 hasConceptScore W2149338503C98045186 @default.
- W2149338503 hasLocation W21493385031 @default.
- W2149338503 hasLocation W21493385032 @default.
- W2149338503 hasLocation W21493385033 @default.
- W2149338503 hasOpenAccess W2149338503 @default.
- W2149338503 hasPrimaryLocation W21493385031 @default.
- W2149338503 hasRelatedWork W1521804293 @default.
- W2149338503 hasRelatedWork W180388531 @default.
- W2149338503 hasRelatedWork W2002460562 @default.
- W2149338503 hasRelatedWork W2059808165 @default.
- W2149338503 hasRelatedWork W2072919212 @default.
- W2149338503 hasRelatedWork W2111953967 @default.
- W2149338503 hasRelatedWork W2115766632 @default.
- W2149338503 hasRelatedWork W2149338503 @default.
- W2149338503 hasRelatedWork W4200446065 @default.
- W2149338503 hasRelatedWork W4289926094 @default.
- W2149338503 isParatext "false" @default.
- W2149338503 isRetracted "false" @default.
- W2149338503 magId "2149338503" @default.
- W2149338503 workType "book-chapter" @default.