Search results for "AUML"

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