Search results for "AUML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	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
3	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
2	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
2	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
2	A. 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
2	L. Kahloul, Kamel Barkaoui, Zaïdi Sahnoun	Using AUML to derive formal modeling agents interactions.	AICCSA	2005	DBLP DOI BibTeX RDF
2	Takou Doi, Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden	Bridging the Gap Between AUML and Implementation Using IOM/T.	PROMAS	2004	DBLP DOI BibTeX RDF
2	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
2	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
2	Jean-Luc Koning, Ivan Romero-Hernandez	Generating Machine Processable Representations of Textual Representations of AUML.	AOSE	2002	DBLP DOI BibTeX RDF
2	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
2	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
2	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
1	Farid Mokhati, Mourad Badri, Linda Badri, Fathi Hamidane, Sofiane Bouazdia	Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols.	IJAOSE	2008	DBLP DOI BibTeX RDF
1	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
1	Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda Badri	Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols.	Journal of Object Technology	2007	DBLP DOI BibTeX RDF
1	Ronald de Wolf	Joint review of "An Introduction to Quantum Computing Algorithms by Arthur O. Pittenger, " Birkhäuser, ISBN: 0817641270; Quantum Computing by Mika Hirvensalo, " Springer, ISBN: 3540667830; and "Classical and Quantum Computation by A. Yu. Kitaev, A. Shen, and M. N. Vyalyi, " American Mathematical Society, ISBN: 082182161X.	SIGACT News	2007	DBLP DOI BibTeX RDF
1	Tommi Ilmonen	Tranquil interaction: exploring archaic culture in the Kylä installation.	DPPI	2007	DBLP DOI BibTeX RDF
1	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
1	Wei Huang, Elia El-Darzi, Li Jin	Extending the Gaia Methodology for the Design and Development of Agent-based Software Systems.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	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 and Grid Systems	2006	DBLP BibTeX RDF
1	José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden	A Modeling Framework for Generic Agent Interaction Protocols.	DALT	2006	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Guo-Ming Fang, Jim-Min Lin	An Architecture for Multi-Agent COTS Software Integration Systems.	ICPADS	2005	DBLP DOI BibTeX RDF
1	Michael Winikoff	Towards Making Agent UML Practical: A Textual Notation and a Tool.	QSIC	2005	DBLP DOI BibTeX RDF
1	Christopher Cheong, Michael Winikoff	Hermes: Designing Goal-Oriented Agent Interactions.	AOSE	2005	DBLP DOI BibTeX RDF
1	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
1	Richard Hill, Simon Polovina, Martin D. Beer	Improving AOSE with an Enriched Modelling Framework.	AOSE	2005	DBLP DOI BibTeX RDF
1	Javier Bajo, Juan M. Corchado	Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate.	CAEPIA	2005	DBLP DOI BibTeX RDF
1	Simon Polovina, Richard Hill	Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs.	ICCS	2005	DBLP DOI BibTeX RDF
1	Dan A. Simovici	Review of "The classical decision problem" by Egon Börger, Erich Grädel and Yuri Gurevich. Springer-Verlag 1997.	SIGACT News	2004	DBLP DOI BibTeX RDF
1	Lawrence S. Moss, Hans-Jörg Tiede	Review of "Automata theory and its applications" by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and "Automata, logics, and infinite games" by E.Grädel, W. Thomas, and T. Wilke. Springer-Verlag.	SIGACT News	2004	DBLP DOI BibTeX RDF
1	Luca Cernuzzi, Franco Zambonelli	Experiencing AUML in the GAIA Methodology.	ICEIS	2004	DBLP BibTeX RDF
1	Timo Ojala, Jani Korhonen, Tiia Sutinen, Pekka Parhi, Lauri Aalto	Mobile kärpät: a case study in wireless personal area networking.	MUM	2004	DBLP DOI BibTeX RDF	usability, empirical evaluation, mobile multimedia
1	Lars Ehrler, Stephen Cranefield	Executing Agent UML Diagrams.	AAMAS	2004	DBLP DOI BibTeX RDF
1	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
1	Marc-Philippe Huget	Agent UML Notation for Multiagent System Design.	IEEE Internet Computing	2004	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying Protocol Conformance for Logic-Based Communicating Agents.	CLIMA	2004	DBLP DOI BibTeX RDF
1	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	2004	DBLP DOI BibTeX RDF
1	Ho-jun Shin, Soo-Gi Lee	Architecture Environments for E-business Agent Based on Security.	ICCSA	2004	DBLP DOI BibTeX RDF	E-Business Agent, Agent Classification, Agent Design Patten, CBD, Component Architecture
1	Jean-Luc Koning, Ivan Romero-Hernandez	Limitations in AUML's Roles Specification.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF
1	Marina Bagic	Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets.	OTM Workshops	2004	DBLP DOI BibTeX RDF
1	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
1	Ricardo Melo Bastos, Marcelo Blois Ribeiro	MASUP: An Agent-Oriented Modeling Process for Information Systems.	SELMAS	2004	DBLP DOI BibTeX RDF
1	Sonia Bergamaschi, Gionata Gelati, Francesco Guerra, Maurizio Vincini	Experiencing AUML for the WINK Multi-Agent System.	WOA	2003	DBLP BibTeX RDF
1	James Odell	Workflow Using AUML and Agents.	ER	2003	DBLP DOI BibTeX RDF
1	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
1	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
1	Sea Ling, Seng Wai Loke	MIP-Nets: A Compositional Model of Multiagent Interaction.	CEEMAS	2003	DBLP DOI BibTeX RDF
1	Juliana Küster Filipe	Giving Life to Agent Interactions.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
1	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
1	David Poutakidis, Lin Padgham, Michael Winikoff	Debugging multi-agent systems using design artifacts: the case of interaction protocols.	AAMAS	2002	DBLP DOI BibTeX RDF
1	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
1	Jeremy Pitt, Lloyd Kamara, Alexander Artikis	Interaction patterns and observable commitments in a multi-agent trading scenario.	Agents	2001	DBLP DOI BibTeX RDF
1	Jun Wei, 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
1	Bernhard Bauer	UML Class Diagrams Revisited in the Context of Agent-Based Systems.	AOSE	2001	DBLP DOI BibTeX RDF
1	James Odell, H. Van Dyke Parunak, Bernhard Bauer	Representing Agent Interaction Protocols in UML.	AOSE	2000	DBLP DOI BibTeX RDF