Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari |
Applying AUML and UML 2 in the Multi-agent Systems Project. |
ER Workshops |
2009 |
DBLP DOI BibTeX RDF |
UML 2, Use Case Diagram, Internal Use Cases, Combined Fragments, State Machine Diagram, Composite States, Activity Partition, Agents, Actors, Sequence Diagram, Activity Diagram, AUML |
108 | Hong Feng Lai |
Modelling Protocols for Multiagent Interaction by F-logic. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
F-logic, multiagent system, interaction protocols, message route, AUML |
103 | Leila Jemni Ben Ayed, Fatma Siala |
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
Multi-Agent System, verification, specification, Event B, AUML |
100 | Marina Bagic |
Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
86 | Lawrence Cabac, Daniel Moldt |
Formal Semantics for AUML Agent Interaction Protocol Diagrams. |
AOSE |
2004 |
DBLP DOI BibTeX RDF |
Capa, net components, agents, operational semantics, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols |
83 | Michael Winikoff |
Towards Making Agent UML Practical: A Textual Notation and a Tool. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
70 | Leila Jemni Ben Ayed, Fatma Siala |
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Specificatin, Multi-agent Systems, Verification, Event B, AUML |
62 | Laïd Kahloul, Kamel Barkaoui, Zaïdi Sahnoun |
Using AUML to derive formal modeling agents interactions. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Takou Doi, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden |
Bridging the Gap Between AUML and Implementation Using IOM/T. |
PROMAS |
2004 |
DBLP DOI BibTeX RDF |
|
62 | Agostino Poggi, Giovanni Rimassa, Paola Turci, James Odell, Haralambos Mouratidis, Gordon A. Manson |
Modeling Deployment and Mobility Issues in Multiagent Systems Using AUML. |
AOSE |
2003 |
DBLP DOI BibTeX RDF |
|
62 | Jean-Luc Koning, Ivan Romero-Hernandez |
Generating Machine Processable Representations of Textual Representations of AUML. |
AOSE |
2002 |
DBLP DOI BibTeX RDF |
|
58 | Lawrence Cabac, Daniel Moldt, Heiko Rölke |
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
agents, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols |
50 | José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden |
A Modeling Framework for Generic Agent Interaction Protocols. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Richard Hill, Simon Polovina, Martin D. Beer |
From concepts to agents: towards a framework for multi-agent system modelling. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-agent system, requirements, conceptual graphs |
50 | Marc-Philippe Huget |
Agent UML Notation for Multiagent System Design. |
IEEE Internet Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Yacine Kissoum, Zaïdi Sahnoun |
A Recursive Colored Petri Nets semantics for AUML as base of test case generation. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Jean-Luc Koning, Ivan Romero-Hernandez |
Limitations in AUML's Roles Specification. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Aziz Elfazziki, A. Nejeoui, Mohammed Sadgal |
Modeling Multi-agent System of Management Road Transport: Tasks Planning and Negotiation. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
modeling MSRT, Multi-agents system, communication, negotiation, Agent Modeling, AUML |
41 | Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad |
Open protocol design for complex interactions in multi-agent systems. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML |
41 | H. Van Dyke Parunak, James Odell |
Representing social structures in UML. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
AALAADIN, holarchy, UML, UML, protocols, dependencies, organizations, AUML |
41 | Bernhard Bauer |
UML classes diagrams and agent-based systems. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
internal behavior of agents, software engineering, UML, agents, AUML, design artifacts |
33 | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella |
Verifying Protocol Conformance for Logic-Based Communicating Agents. |
CLIMA |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Lars Ehrler, Stephen Cranefield |
Executing Agent UML Diagrams. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
33 | James Odell, H. Van Dyke Parunak, Bernhard Bauer |
Representing Agent Interaction Protocols in UML. |
AOSE |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Vinitha Hannah Subburaj, Joseph E. Urban |
Specifying Security Requirements in Multi-agent Systems Using the Descartes-Agent Specification Language and AUML. |
AITM/ISM@FedCSIS |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Cristian Duran-Faundez, Mario Ramos, Pedro Rodriguez |
Applying Gaia and AUML for the development of multiagent-based control software for flexible manufacturing systems: addressing methodological and implementation issues. |
Softw. Pract. Exp. |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Wassim Chtourou, Lotfi Bouzguenda |
Extending AUML for Interaction Protocols Specifying in the Context of Adaptive Coordination of Crisis Management Processes. |
ISCRAM-med |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Abdelhamid Zouhair, El Mokhtar En-Naimi, Benaissa Amami, Hadhoum Boukachour, Patrick Person, Cyrille Bertelle |
Our System IDCBR-MAS: from the Modelisation by AUML to the Implementation under JADE Platform. |
Int. J. Interact. Multim. Artif. Intell. |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Dapeng Zhang, Xiang Ji, Xinsheng Wang |
An AUML State Machine Based Method for Multi-agent Systems Model Checking. |
Intelligent Information Processing |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Seyedehmehrnaz Mireslami, Behrouz H. Far |
Automated verification of AUML based multi-agent system design. |
CCECE |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Yoosef B. Abushark, John Thangarajah |
Propagating AUML Protocols to Detailed Design. |
EMAS@AAMAS |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Yoosef B. Abushark, John Thangarajah |
AUML protocols: from specification to detailed design. |
AAMAS |
2013 |
DBLP BibTeX RDF |
|
29 | Vinitha Hannah Subburaj, Joseph E. Urban |
Intelligent Agent Software Development Using AUML and the Descartes Specification Language. |
ISORC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia |
Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols. |
Int. J. Agent Oriented Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Leila Jemni Ben Ayed, Fatma Siala |
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
29 | Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri |
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols. |
J. Object Technol. |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Lin Padgham, John Thangarajah, Michael Winikoff |
AUML protocols and code generation in the Prometheus design tool. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
agent UML, agent oriented software engineering, design tools |
29 | Kai-Yi Chin, Jim-Min Lin, Zeng-Wei Hong, Chih-Wei Lin, Arthur J. Lin |
An architecture for an Internet Marketing Multi-Agent System using AUML. |
Multiagent Grid Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Farid Mokhati, Noura Boudiaf, Linda Badri, Mourad Badri |
Generating Maude formal specifications from AUML diagrams. |
J. Comput. Methods Sci. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Wei Huang 0018, Elia El-Darzi, Martin D. Beer |
Developing an Agent-Oriented Emergency Service System with AUML and Gaia Methodology. |
CCCT (2) |
2004 |
DBLP BibTeX RDF |
|
29 | Luca Cernuzzi, Franco Zambonelli |
Experiencing AUML in the GAIA Methodology. |
ICEIS (3) |
2004 |
DBLP BibTeX RDF |
|
29 | James Odell |
Workflow Using AUML and Agents. |
ER |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Sonia Bergamaschi, Gionata Gelati, Francesco Guerra 0001, Maurizio Vincini |
Experiencing AUML for the WINK Multi-Agent System. |
WOA |
2003 |
DBLP BibTeX RDF |
|
24 | Takuo Doi, Yasuyuki Tahara, Shinichi Honiden |
IOM/T: an interaction description language for multi-agent systems. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-agent system, interaction, AUML |
24 | Federico Bergenti, Agostino Poggi |
A development toolkit to realize autonomous and interoperable agents. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
agent tools, standards for agents, agent architectures, agent-based software engineering, FIPA, AUML |
17 | Wei Huang 0018, Elia El-Darzi, Li Jin |
Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems. |
COMPSAC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Angela Carrillo Ramos, Jérôme Gensel, Marlène Villanova-Oliver, Hervé Martin |
PUMAS: a framework based on ubiquitous agents for accessing web information systems through mobile devices. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
ubiquitous agent, mobile agent, framework, WIS, PUMAS |
17 | Javier Bajo, Juan M. Corchado |
Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Simon Polovina, Richard Hill |
Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs. |
ICCS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Guo-Ming Fang, Jim-Min Lin |
An Architecture for Multi-Agent COTS Software Integration Systems. |
ICPADS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Richard Hill, Simon Polovina, Martin D. Beer |
Improving AOSE with an Enriched Modelling Framework. |
AOSE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Christopher Cheong, Michael Winikoff |
Hermes: Designing Goal-Oriented Agent Interactions. |
AOSE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Juan C. García-Ojeda, Álvaro Enrique Arenas, José de Jesús Pérez Alcázar |
Paving the Way for Implementing Multiagent Systems: Integrating Gaia with Agent-UML. |
AOSE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Djamel Benmerzoug, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda |
From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Melo Bastos, Marcelo Blois Ribeiro |
MASUP: An Agent-Oriented Modeling Process for Information Systems. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Angela Carrillo Ramos, Jérôme Gensel, Marlène Villanova-Oliver, Hervé Martin |
Modelling with Ubiquitous Agents a Web-Based Information System Accessed Through Mobile Devices. |
CoopIS/DOA/ODBASE (1) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ho-jun Shin, Soo-Gi Lee |
Architecture Environments for E-business Agent Based on Security. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
E-Business Agent, Agent Classification, Agent Design Patten, CBD, Component Architecture |
17 | Juan C. García-Ojeda, José de Jesús Pérez Alcázar, Álvaro Enrique Arenas |
Extending the Gaia Methodology with Agent-UML. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Juliana Küster Filipe |
Giving Life to Agent Interactions. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sea Ling, Seng Wai Loke |
MIP-Nets: A Compositional Model of Multiagent Interaction. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Carole Bernon, Valérie Camps, Marie-Pierre Gleizes, Gauthier Picard |
Tools for Self-Organizing Applications Engineering. |
Engineering Self-Organising Systems |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sea Ling, Seng Wai Loke |
A formal compositional model of multiagent interaction. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
compositional specifications, petri nets, agent-oriented software engineering, interaction protocols |
17 | David Poutakidis, Lin Padgham, Michael Winikoff |
Debugging multi-agent systems using design artifacts: the case of interaction protocols. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Sehl Mellouli, Guy W. Mineau, Daniel Pascot |
The integrated modeling of multi-agent systems and their environment. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
environment structure, design methodologies, organizational theories |
17 | Jeremy Pitt, Lloyd Daniel Kamara, Alexander Artikis |
Interaction patterns and observable commitments in a multi-agent trading scenario. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Jun Wei 0001, Shing-Chi Cheung, Xu Wang |
Exploiting Automatic Analysis of E-Commerce Protocols. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
Agent UML, e-commerce protocol, Spin/Promela, model checking, UML, formal methods |
17 | Bernhard Bauer |
UML Class Diagrams Revisited in the Context of Agent-Based Systems. |
AOSE |
2001 |
DBLP DOI BibTeX RDF |
|