Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896810527> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2896810527 abstract "The increasing complexity and widespread use of complex and critical systems require advanced techniques and tools to address their specification, verification and validation. The goal of this paper is to integrate two standard languages (UML and LOTOS) for the specification, verification and validation of dynamic behaviours of critical systems. The main purpose of this integration is to take benefits of the ease-of-use of the graphical notation of UML in system modelling and the formal notation of LOTOS in system verification. In this paper, we propose a graph transformation-based approach to generate automatically LOTOS specifications from UML dynamic models. This approach enables developers, in one hand to model the behaviours of systems using graphical UML statechart and communication diagrams, and in the other hand to generate automatically verifiable LOTOS specifications. The proposed approach is automated using AToM3 tool, and it is illustrated through the modelling and verification of two embedded systems." @default.
- W2896810527 created "2018-10-26" @default.
- W2896810527 creator A5028278877 @default.
- W2896810527 creator A5081176546 @default.
- W2896810527 creator A5082473579 @default.
- W2896810527 date "2018-01-01" @default.
- W2896810527 modified "2023-09-27" @default.
- W2896810527 title "Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach" @default.
- W2896810527 doi "https://doi.org/10.1504/ijes.2018.10016822" @default.
- W2896810527 hasPublicationYear "2018" @default.
- W2896810527 type Work @default.
- W2896810527 sameAs 2896810527 @default.
- W2896810527 citedByCount "0" @default.
- W2896810527 crossrefType "journal-article" @default.
- W2896810527 hasAuthorship W2896810527A5028278877 @default.
- W2896810527 hasAuthorship W2896810527A5081176546 @default.
- W2896810527 hasAuthorship W2896810527A5082473579 @default.
- W2896810527 hasConcept C110251889 @default.
- W2896810527 hasConcept C111498074 @default.
- W2896810527 hasConcept C115903868 @default.
- W2896810527 hasConcept C116253237 @default.
- W2896810527 hasConcept C132525143 @default.
- W2896810527 hasConcept C145644426 @default.
- W2896810527 hasConcept C146939238 @default.
- W2896810527 hasConcept C177264268 @default.
- W2896810527 hasConcept C199360897 @default.
- W2896810527 hasConcept C2777904410 @default.
- W2896810527 hasConcept C33923547 @default.
- W2896810527 hasConcept C41008148 @default.
- W2896810527 hasConcept C41298492 @default.
- W2896810527 hasConcept C45357846 @default.
- W2896810527 hasConcept C558772884 @default.
- W2896810527 hasConcept C80444323 @default.
- W2896810527 hasConcept C85847156 @default.
- W2896810527 hasConcept C94375191 @default.
- W2896810527 hasConceptScore W2896810527C110251889 @default.
- W2896810527 hasConceptScore W2896810527C111498074 @default.
- W2896810527 hasConceptScore W2896810527C115903868 @default.
- W2896810527 hasConceptScore W2896810527C116253237 @default.
- W2896810527 hasConceptScore W2896810527C132525143 @default.
- W2896810527 hasConceptScore W2896810527C145644426 @default.
- W2896810527 hasConceptScore W2896810527C146939238 @default.
- W2896810527 hasConceptScore W2896810527C177264268 @default.
- W2896810527 hasConceptScore W2896810527C199360897 @default.
- W2896810527 hasConceptScore W2896810527C2777904410 @default.
- W2896810527 hasConceptScore W2896810527C33923547 @default.
- W2896810527 hasConceptScore W2896810527C41008148 @default.
- W2896810527 hasConceptScore W2896810527C41298492 @default.
- W2896810527 hasConceptScore W2896810527C45357846 @default.
- W2896810527 hasConceptScore W2896810527C558772884 @default.
- W2896810527 hasConceptScore W2896810527C80444323 @default.
- W2896810527 hasConceptScore W2896810527C85847156 @default.
- W2896810527 hasConceptScore W2896810527C94375191 @default.
- W2896810527 hasLocation W28968105271 @default.
- W2896810527 hasOpenAccess W2896810527 @default.
- W2896810527 hasPrimaryLocation W28968105271 @default.
- W2896810527 hasRelatedWork W1585728492 @default.
- W2896810527 hasRelatedWork W1939739577 @default.
- W2896810527 hasRelatedWork W1992724059 @default.
- W2896810527 hasRelatedWork W2005876630 @default.
- W2896810527 hasRelatedWork W2041994878 @default.
- W2896810527 hasRelatedWork W2057909732 @default.
- W2896810527 hasRelatedWork W2073063876 @default.
- W2896810527 hasRelatedWork W2091666950 @default.
- W2896810527 hasRelatedWork W2099590434 @default.
- W2896810527 hasRelatedWork W2121661006 @default.
- W2896810527 hasRelatedWork W2135445627 @default.
- W2896810527 hasRelatedWork W2159720139 @default.
- W2896810527 hasRelatedWork W2281574663 @default.
- W2896810527 hasRelatedWork W2293276455 @default.
- W2896810527 hasRelatedWork W2333127748 @default.
- W2896810527 hasRelatedWork W2538890324 @default.
- W2896810527 hasRelatedWork W2548609510 @default.
- W2896810527 hasRelatedWork W2552640981 @default.
- W2896810527 hasRelatedWork W2980660034 @default.
- W2896810527 hasRelatedWork W2998982162 @default.
- W2896810527 isParatext "false" @default.
- W2896810527 isRetracted "false" @default.
- W2896810527 magId "2896810527" @default.
- W2896810527 workType "article" @default.