Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011658376> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2011658376 endingPage "138" @default.
- W2011658376 startingPage "138" @default.
- W2011658376 abstract "UCM (Use Case Maps) notation helps designers to capture system requirements and visualise design. UCM is mainly focused on system functionalities and they are easy to learn and understand. However, UCM suffers from a lack of standard formal semantics. This weakness can lead, in the rest of the development process, to several problems of inconsistency and ambiguity. In this paper, we present a novel approach for formalising UCM notation as an executable formal specification described in the Maude language Strategy, a recent extension of Maude. The main motivation of our work is essentially to provide a sound and rigorous description of complex systems described by UCM, which can help analysts, designers and developers, to automating their verification and validation processes. The proposed approach is applied on multi–agent systems (MAS) through of a real case study." @default.
- W2011658376 created "2016-06-24" @default.
- W2011658376 creator A5078322071 @default.
- W2011658376 creator A5087255472 @default.
- W2011658376 date "2013-01-01" @default.
- W2011658376 modified "2023-09-27" @default.
- W2011658376 title "Towards formalising use case maps in Maude strategy language: application to multi-agent systems" @default.
- W2011658376 cites W1502491956 @default.
- W2011658376 cites W1504007491 @default.
- W2011658376 cites W1581327827 @default.
- W2011658376 cites W163197604 @default.
- W2011658376 cites W1849528754 @default.
- W2011658376 cites W1921245405 @default.
- W2011658376 cites W1978130525 @default.
- W2011658376 cites W1994092777 @default.
- W2011658376 cites W2103644232 @default.
- W2011658376 cites W2111874500 @default.
- W2011658376 cites W2115773332 @default.
- W2011658376 cites W2137309678 @default.
- W2011658376 cites W2151949169 @default.
- W2011658376 cites W2158001503 @default.
- W2011658376 cites W2158277315 @default.
- W2011658376 cites W2160613322 @default.
- W2011658376 cites W99300383 @default.
- W2011658376 doi "https://doi.org/10.1504/ijcat.2013.054347" @default.
- W2011658376 hasPublicationYear "2013" @default.
- W2011658376 type Work @default.
- W2011658376 sameAs 2011658376 @default.
- W2011658376 citedByCount "2" @default.
- W2011658376 countsByYear W20116583762014 @default.
- W2011658376 countsByYear W20116583762016 @default.
- W2011658376 crossrefType "journal-article" @default.
- W2011658376 hasAuthorship W2011658376A5078322071 @default.
- W2011658376 hasAuthorship W2011658376A5087255472 @default.
- W2011658376 hasConcept C115903868 @default.
- W2011658376 hasConcept C154690210 @default.
- W2011658376 hasConcept C154945302 @default.
- W2011658376 hasConcept C160145156 @default.
- W2011658376 hasConcept C184337299 @default.
- W2011658376 hasConcept C199360897 @default.
- W2011658376 hasConcept C2780522230 @default.
- W2011658376 hasConcept C33923547 @default.
- W2011658376 hasConcept C41008148 @default.
- W2011658376 hasConcept C45357846 @default.
- W2011658376 hasConcept C75606506 @default.
- W2011658376 hasConcept C94375191 @default.
- W2011658376 hasConcept C98045186 @default.
- W2011658376 hasConceptScore W2011658376C115903868 @default.
- W2011658376 hasConceptScore W2011658376C154690210 @default.
- W2011658376 hasConceptScore W2011658376C154945302 @default.
- W2011658376 hasConceptScore W2011658376C160145156 @default.
- W2011658376 hasConceptScore W2011658376C184337299 @default.
- W2011658376 hasConceptScore W2011658376C199360897 @default.
- W2011658376 hasConceptScore W2011658376C2780522230 @default.
- W2011658376 hasConceptScore W2011658376C33923547 @default.
- W2011658376 hasConceptScore W2011658376C41008148 @default.
- W2011658376 hasConceptScore W2011658376C45357846 @default.
- W2011658376 hasConceptScore W2011658376C75606506 @default.
- W2011658376 hasConceptScore W2011658376C94375191 @default.
- W2011658376 hasConceptScore W2011658376C98045186 @default.
- W2011658376 hasIssue "2/3" @default.
- W2011658376 hasLocation W20116583761 @default.
- W2011658376 hasOpenAccess W2011658376 @default.
- W2011658376 hasPrimaryLocation W20116583761 @default.
- W2011658376 hasRelatedWork W1981466053 @default.
- W2011658376 hasRelatedWork W2076018800 @default.
- W2011658376 hasRelatedWork W2090686886 @default.
- W2011658376 hasRelatedWork W2111403313 @default.
- W2011658376 hasRelatedWork W2475423329 @default.
- W2011658376 hasRelatedWork W27605384 @default.
- W2011658376 hasRelatedWork W3195601461 @default.
- W2011658376 hasRelatedWork W44661191 @default.
- W2011658376 hasRelatedWork W9401349 @default.
- W2011658376 hasRelatedWork W94708594 @default.
- W2011658376 hasVolume "47" @default.
- W2011658376 isParatext "false" @default.
- W2011658376 isRetracted "false" @default.
- W2011658376 magId "2011658376" @default.
- W2011658376 workType "article" @default.