The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for AUML with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2003 (19) 2004-2005 (25) 2006-2011 (15) 2013-2018 (8)
Publication types (Num. hits)
article(7) inproceedings(60)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 79 occurrences of 50 keywords

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