2011
DOI: 10.1007/978-3-642-22636-6_9
|View full text |Cite
|
Sign up to set email alerts
|

$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
4
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(4 citation statements)
references
References 7 publications
0
4
0
Order By: Relevance
“…From the different published papers, several have been chosen that meet the three following conditions: to claim a new methodology is presented; to have continued the work in other papers; and being supported by tools. The selected works are ASEME (Spanoudakis & Moraitis, 2011), OperA (van Putten et al ., 2009), GorMAS (Argente et al ., 2008), Dsml4mas (Hahn & Fischer, 2008), and ForMAAD (Graja et al ., 2010). Table 4 shows the results of their analysis.…”
Section: Analyzing Current Methodologiesmentioning
confidence: 99%
See 2 more Smart Citations
“…From the different published papers, several have been chosen that meet the three following conditions: to claim a new methodology is presented; to have continued the work in other papers; and being supported by tools. The selected works are ASEME (Spanoudakis & Moraitis, 2011), OperA (van Putten et al ., 2009), GorMAS (Argente et al ., 2008), Dsml4mas (Hahn & Fischer, 2008), and ForMAAD (Graja et al ., 2010). Table 4 shows the results of their analysis.…”
Section: Analyzing Current Methodologiesmentioning
confidence: 99%
“…ForMAAD (Graja et al ., 2010) is a reformulation of an older work (Kacem et al ., 2007) to use a model-driven approach. Original ForMAAD focused on how the Z notation could be used to specify MAS.…”
Section: Analyzing Current Methodologiesmentioning
confidence: 99%
See 1 more Smart Citation
“…Therefore, to check that a model is consistent to its metamodel, it is required, but it is not sufficient, to ensure the quality of a model if we are not using formal notations. The main advantage of formal methods is that they offer the possibility of carrying out reasoning tasks for verification and validation purposes [32]. In the CIM level, the business is represented by the business process view and the domain view.…”
Section: Rq1 -What Languages/notations Are Used To Represent the Cim ...mentioning
confidence: 99%