Use case maps for object-oriented systems
Use case maps for object-oriented systems
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Introduction to the user requirements notation: learning by example
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Specification and validation of telecommunications systems with use case maps and lotos
Specification and validation of telecommunications systems with use case maps and lotos
An ASM Operational Semantics for Use Case Maps
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Change Impact Analysis for Requirement Evolution using Use Case Maps
IWPSE '05 Proceedings of the Eighth International Workshop on Principles of Software Evolution
JADE: A software framework for developing multi-agent applications. Lessons learned
Information and Software Technology
Assessing the Applicability of Use Case Maps for Business Process and Workflow Description
MCETECH '08 Proceedings of the 2008 International MCETECH Conference on e-Technologies
A Rewriting Semantics for Maude Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesizing SDL from use case maps: an experiment
SDL'03 Proceedings of the 11th international conference on System design
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Abstract operational semantics for use case maps
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
| Hi-index | 0.00 |
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.