A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements

MASRML - A Domain-specific Modeling Language for Multi-agent Systems Requirements

“…Regarding the languages derived from UML to the MAS design that adapted UCD, we identified Depke's proposal [3], M-UML [9], AML [10], AUML [32], and AMOLA [36]. Depke in [3], extended UCD by creating a square head actor to model agents inside the system and a special use case, named goal case, to specify the agents' goals.…”

“…Laouadi in [32] extended AUML by creating 3 stereotypes of Actor and 2 of Use Case. The actor stereotypes represent agents within the system, external agents, and real time agents, while the use case stereotypes model functionalities performed by agents and functionalities in which realtime agents interact.…”

“…Within this context, some attempts were made to extend the Unified Modeling Language (UML) a modeling language largely used in the SEto be applied in multi-agent systems (MAS) projects, such as [3] [9], [10], [32], [36]. In our research, though, we realized that some UML resources were underutilized and could be better adapted and applied for the MAS needs, such as the use-case diagram (UCD), which allows to model the system functional requirements and who can access these functionalities.…”

Identification of a reusable requirements structure for embedded products in a dynamic market environment

“…One of the tools often used for capturing FRs are Use Case Diagrams [16,17,18,19]. Use case diagrams visually represent the behavioural requirements of a proposed system, from which the analyst can derive the FRs that must be implemented.…”