Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A methodology and modelling technique for systems of BDI agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Multiagent systems: a modern approach to distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
Agent-oriented software engineering (workshop session)
Proceedings of the 22nd international conference on Software engineering
A knowledge level software engineering methodology for agent oriented programming
Proceedings of the fifth international conference on Autonomous agents
Information systems as social structures
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
The tropos software development methodology: processes, models and diagrams
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
AI Models for Business Process Reengineering
IEEE Expert: Intelligent Systems and Their Applications
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Using Multi-context Systems to Engineer Executable Agents
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
A Goal-Based Organizational Perspective on Multi-agent Architectures
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Modeling Early Requirements in Tropos: A Transformation Based Approach
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Agent Oriented Analysis Using Message/UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
An agent-mediated approach to the support of knowledge sharing in organizations
The Knowledge Engineering Review
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
From requirements to multi-agent architecture using organisational concepts
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Establishing and maintaining compatibility in service oriented business collaboration
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Autonomous Agents and Multi-Agent Systems
Goal-oriented requirement analysis for data warehouse design
Proceedings of the 8th ACM international workshop on Data warehousing and OLAP
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Tool Support for Agent Development using the Prometheus Methodology
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards Goal-Oriented Design of Agent Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Towards Making Agent UML Practical: A Textual Notation and a Tool
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Systematic Incremental Development of Agent Systems, using Prometheus
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Agent-oriented software engineering
The Knowledge Engineering Review
Programming multi-agent systems
The Knowledge Engineering Review
Analysis of multi-agent systems based on KAOS modeling
Proceedings of the 28th international conference on Software engineering
Proceedings of the 2006 ACM symposium on Applied computing
Hierarchical hippocratic databases with minimal disclosure for virtual organizations
The VLDB Journal — The International Journal on Very Large Data Bases
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Applying a UML-based agent modeling language to the autonomic computing domain
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Multi-agent system product lines: challenges and benefits
Communications of the ACM - Software product line
Designing Commitment-Based Agent Interactions
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Commercial Experience with Agent-Oriented Software Engineering
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
ReMarkables: A Web-Based Research Collaboration Support System Using Social Bookmarking Tools
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
AI in support of Plant Disease Management
AI Communications - Binding Environmental Sciences and AI
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
Applying a component-based framework to develop multi-agent environments: case study
Proceedings of the 2007 ACM symposium on Applied computing
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
AGOL: An Aspect-Oriented Domain-Specific Language for MAS
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
A framework for formal modeling and analysis of organizations
Applied Intelligence
Computer-aided Support for Secure Tropos
Automated Software Engineering
High variability design for software agents: Extending Tropos
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Computers and Industrial Engineering
PRiM: An i*-based process reengineering method for information systems specification
Information and Software Technology
A design framework for generating BDI-agents from goal models
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
AUML protocols and code generation in the Prometheus design tool
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Method fragments for agent design methodologies: from standardisation to research
International Journal of Agent-Oriented Software Engineering
Defining syntax and providing tool support for Agent UML using a textual notation
International Journal of Agent-Oriented Software Engineering
Agent-oriented software engineering: a model-driven approach
International Journal of Agent-Oriented Software Engineering
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
International Journal of Agent-Oriented Software Engineering
A formal semantics for Gaia liveness rules and expressions
International Journal of Agent-Oriented Software Engineering
Prioritisation mechanisms to support incremental development of agent systems
International Journal of Agent-Oriented Software Engineering
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Secure information systems engineering: a manifesto
International Journal of Electronic Security and Digital Forensics
GRAnD: A goal-oriented approach to requirement analysis in data warehouses
Decision Support Systems
MOBMAS: A methodology for ontology-based multi-agent systems development
Information and Software Technology
Agent-oriented ontology for monitoring and detecting money laundering process
Proceedings of the 2nd international conference on Scalable information systems
Towards goal-oriented development of self-adaptive systems
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Social-oriented engineering of intelligent software
Web Intelligence and Agent Systems
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Requirements model generation to support requirements elicitation: the Secure Tropos experience
Automated Software Engineering
International Journal of Agent-Oriented Software Engineering
STRATUM: A METHODOLOGY FOR DESIGNING HEURISTIC AGENT NEGOTIATION STRATEGIES
Applied Artificial Intelligence
A domain specific modeling language for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
A knowledge-based tool for multi-agent domain engineering
Knowledge-Based Systems
Applied Ontology - Formal Ontologies for Communicating Agents
Towards an Ontological Account of Agent-Oriented Goals
Software Engineering for Multi-Agent Systems V
SmartResource Platform and Semantic Agent Programming Language (S-APL)
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Towards a Model Driven Process for Multi-Agent System
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Modeling and Analyzing Variability for Mobile Information Systems
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Towards a Catalogue of Patterns for Defining Metrics over i* Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Location-Based Variability for Mobile Information Systems
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Refactoring in Multi Agent System Development
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
The Agent Modeling Language (AMOLA)
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Enforcing a security pattern in stakeholder goal models
Proceedings of the 4th ACM workshop on Quality of protection
Analyzing Business Continuity through a Multi-layers Model
BPM '08 Proceedings of the 6th International Conference on Business Process Management
From Task to Agent-Oriented Meta-models, and Back Again
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
ShaMAN: An Agent Meta-model for Computer Games
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Modeling and implementing an agent-based environmental health impact decision support system
Expert Systems with Applications: An International Journal
Designing Privacy-Aware Personal Health Record Systems
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Location-Based Software Modeling and Analysis: Tropos-Based Approach
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Computational Logic in Multi-Agent Systems
A Methodology to Specify Multiagent Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
A platform-independent metamodel for multiagent systems
Autonomous Agents and Multi-Agent Systems
The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation
International Journal of Agent-Oriented Software Engineering
Social Viewpoints for Arguing about Coalitions
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Changing Institutional Goals and Beliefs of Autonomous Agents
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
When to Use a Multi-Agent System?
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Towards Goal-Driven Self Optimisation of Service Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
An integrated infrastructure for monitoring and evaluating agent-based systems
Expert Systems with Applications: An International Journal
A security-aware metamodel for multi-agent systems (MAS)
Information and Software Technology
MA-UML: a conceptual approach for mobile agents' modelling
International Journal of Agent-Oriented Software Engineering
Modelling Trust Requirements by Means of a Visualization Language
REV '08 Proceedings of the 2008 Requirements Engineering Visualization
Goal-Driven Alignment of Services and Business Requirements
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
Optimal Privacy-Aware Path in Hippocratic Databases
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics
Agent-Oriented Software Engineering IX
A Unified Graphical Notation for AOSE
Agent-Oriented Software Engineering IX
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Agent Computing and Multi-Agent Systems
Future directions for agent-based software engineering
International Journal of Agent-Oriented Software Engineering
Using three AOSE toolkits to develop a sample design
International Journal of Agent-Oriented Software Engineering
Environment in agent-oriented software engineering methodologies
Multiagent and Grid Systems - Engineering Environments in Multiagent Systems
Operational semantics of goal models in adaptive agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Evolutionary testing of autonomous software agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Software self-reconfiguration: a BDI-based approach
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Temporal dependence networks for the design of convivial multiagent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A visual development environment for Jade
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Towards Social Dynamic Dependence Networks for Institutions
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
An Architecture for Requirements-Driven Self-reconfiguration
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
ADELFE Design, AMAS-ML in Action
Engineering Societies in the Agents World IX
Conceptual Modeling: Foundations and Applications
Dealing with Complexity Using Conceptual Models Based on Tropos
Conceptual Modeling: Foundations and Applications
Enhancing Tropos with Commitments
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Agent oriented requirements engineering for a data warehouse
ACM SIGSOFT Software Engineering Notes
Agent-Based Distributed Component Services in Spatial Modeling
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part I
An agent-based system approach to fixture design
International Journal of Computer Applications in Technology
Journal of Systems and Software
Ontologies for crisis contagion management in financial institutions
Journal of Information Science
Abstract Requirement Analysis in Multiagent System Design
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Run-time conformance checking of mobile and distributed systems using executable models
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
A threat-based privacy preservation system in untrusted environment
Proceedings of the 2009 International Conference on Hybrid Information Technology
Computer Standards & Interfaces
Astrolabe: a collaborative multiperspective goal-oriented risk analysis methodology
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Agent-based conference management: a case study in SODA
International Journal of Agent-Oriented Software Engineering
Goal-oriented testing for MASs
International Journal of Agent-Oriented Software Engineering
How to import the concept of conviviality to web communities
International Journal of Web Based Communities
The Role of Ontology in Modelling Autonomous Agent-Based Systems
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part II
Applying AUML and UML 2 in the Multi-agent Systems Project
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
From User Goals to Service Discovery and Composition
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
A Goal-Oriented Approach for Modelling Self-organising MAS
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Representing Excuses in Social Dependence Networks
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Business Modeling via Commitments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
Requirements-Driven Collaborative Choreography Customization
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Satisfaction of Control Objectives by Control Processes
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A Modeling Tool for Service-Oriented Open Multiagent Systems
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Graph Rewriting for Agent Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Engineering Applications of Artificial Intelligence
Designing multi-agent systems: a framework and application
Expert Systems with Applications: An International Journal
A conceptual model of personalized virtual learning environments
Expert Systems with Applications: An International Journal
ASPECS: an agent-oriented software process for engineering complex systems
Autonomous Agents and Multi-Agent Systems
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
Modeling organizational performance indicators
Information Systems
Analysis of Secure Mobile Grid Systems: A systematic approach
Information and Software Technology
SUnit: a unit testing framework for test driven development of multi-agent systems
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Monitoring group behavior in goal-directed agents using co-efficient plan observation
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
A systematic review of security requirements engineering
Computer Standards & Interfaces
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
An object-process-based modeling language for multiagent systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Building an agent methodology from fragments: the MEnSA experience
Proceedings of the 2010 ACM Symposium on Applied Computing
An empirical study of requirements model understanding: Use Case vs. Tropos models
Proceedings of the 2010 ACM Symposium on Applied Computing
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
From a goal-oriented methodology to a BDI agent language: the case of tropos and alan
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
From business models to service-oriented design: a reference catalog approach
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Visually effective goal models using KAOS
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
On the adequacy of i* models for representing and analyzing software architectures
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Towards agent-based scenario development for strategic decision support
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
From early to late requirements: a goal-based approach
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
A software engineering process for BDI agents
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
Extending Gaia with agent design and iterative development
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Refining goal models by evaluating system behaviour
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
A goal-oriented software testing methodology
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Reasoning about risk in agent's deliberation process: a Jadex implementation
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Tool-supported development with Tropos: the conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
The prometheus design tool: a conference management system case study
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
A design methodology for real services
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Unified modeling of attacks, vulnerabilities and security activities
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Alinhando análise de objetivos e modelagem de processos: uma experiência em um ambiente de saúde
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Reasoning about agents and protocols via goals and commitments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A semiotic perspective for multiagent systems development
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
RAMEPs: a goal-ontology approach to analyse the requirements for data warehouse systems
WSEAS Transactions on Information Science and Applications
Consolidating diagram types from several agent-oriented methodologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Modeling and reasoning about service-oriented applications via goals and commitments
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Ahab's leg: exploring the issues of communicating semi-formal requirements to the final users
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Applying the UFO ontology to design an agent-oriented engineering language
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
An approach for the design of self-conscious agent for robotics
AMT'10 Proceedings of the 6th international conference on Active media technology
Conditional dependence networks in requirements engineering
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Towards an architecture for self-regulating agents: a case study in international trade
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
An organisational approach to engineer emergence within holarchies
International Journal of Agent-Oriented Software Engineering
Towards interoperability of i* models using iStarML
Computer Standards & Interfaces
Organizational structures supported by agent-oriented methodologies
Journal of Systems and Software
Elements of a business-level architecture for multiagent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Adaptation in open systems: giving interaction its rightful place
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Reasoning with optional and preferred requirements
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Expert Systems with Applications: An International Journal
Goal-oriented security threat mitigation patterns: a case of credit card theft mitigation
Proceedings of the 16th Conference on Pattern Languages of Programs
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Automated testing for intelligent agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Development of a peer-to-peer information sharing system using ontologies
Expert Systems with Applications: An International Journal
Ambient intelligence: A survey
ACM Computing Surveys (CSUR)
Analyzing goal models: different approaches and how to choose among them
Proceedings of the 2011 ACM Symposium on Applied Computing
IMPULSE: a design framework for multi-agent systems based on model transformation
Proceedings of the 2011 ACM Symposium on Applied Computing
Engineering secure future internet services
The future internet
Agent-based virtual organization architecture
Engineering Applications of Artificial Intelligence
Cloud adoption: a goal-oriented requirements engineering approach
Proceedings of the 2nd International Workshop on Software Engineering for Cloud Computing
A rich traceability model for social interactions
Proceedings of the 6th International Workshop on Traceability in Emerging Forms of Software Engineering
Adapt cases: extending use cases for adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Awareness requirements for adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A conceptual meta-model for secured information systems
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Towards transformation guidelines from secure tropos to misuse cases (position paper)
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Deriving business processes with service level agreements from early requirements
Journal of Systems and Software
Autonomous Agents and Multi-Agent Systems
Formalizing requirements with object models and temporal constraints
Software and Systems Modeling (SoSyM)
Gaia-PL: A Product Line Engineering Approach for Efficiently Designing Multiagent Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework to support alignment of secure software engineering with legal regulations
Software and Systems Modeling (SoSyM)
Modeling of security requirements for decision information systems
ACM SIGSOFT Software Engineering Notes
Agent-based organizational structures for ambient intelligence scenarios
Journal of Ambient Intelligence and Smart Environments
A multi-agent architectural pattern for wrapping off-the-shelf components
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
A metamodelling approach for i* model translations
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Management services: a framework for design
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
A method for security governance, risk, and compliance (GRC): a goal-process approach
Foundations of security analysis and design VI
A context-aware inter-organizational collaboration model applied to international trade
EGOV'11 Proceedings of the 10th IFIP WG 8.5 international conference on Electronic government
IODA: an interaction-oriented approach for multi-agent based simulations
Autonomous Agents and Multi-Agent Systems
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Principles for value-sensitive agent-oriented software engineering
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Analyzing contract robustness through a model of commitments
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
A case for new directions in agent-oriented software engineering
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Engaging stakeholders with agent-oriented requirements modelling
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Towards requirement analysis pattern for learning agents
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Using ASEME methodology for model-driven agent systems development
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
An Agent Based Inter-organizational Collaboration Framework: OperA+
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Model-driven engineering techniques for the development of multi-agent systems
Engineering Applications of Artificial Intelligence
A novel Threat Evaluation method for privacy-aware system in RFID
International Journal of Ad Hoc and Ubiquitous Computing
The role of conceptual modeling in managing and changing the business
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Making explicit some impliciti* language decisions
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Sociotechnical trust: an architectural approach
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Strategic models for business intelligence
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Developing multi-agent system product lines: from requirements to code
International Journal of Agent-Oriented Software Engineering
Modelling risk and identifying countermeasure in organizations
CRITIS'06 Proceedings of the First international conference on Critical Information Infrastructures Security
MAS meta-models on test: UML vs. OPM in the SODA case study
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
The synthesis stage in the software agent development process
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Use case and actor driven requirements engineering: an evaluation of modifications to prometheus
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Goal decomposition tree: an agent model to generate a validated agent behaviour
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A customized architecture for integrating agent oriented methodologies
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
OWL-P: a methodology for business process development
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Identification of reusable method fragments from the PASSI agent-oriented methodology
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
An ontology-driven technique for the architectural and detailed design of multi-agent frameworks
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
AOSE and organic computing – how can they benefit from each other?
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Modeling and analysis of multi-agent systems based on π-calculus
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Can agent oriented software engineering be used to build MASs product lines?
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Analytical inference model for prediction and customization of inter-agent dependency requirements
ACM SIGSOFT Software Engineering Notes
A multi-agent-based decision support system for bankruptcy contagion effects
Expert Systems with Applications: An International Journal
A rule driven approach for developing adaptive service oriented business collaboration
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Privacy is linking permission to purpose
SP'04 Proceedings of the 12th international conference on Security Protocols
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
OMNI: introducing social structure, norms and ontologies into agent organizations
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
AML: agent modeling language toward industry-grade agent-based modeling
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Bridging the gap between agent-oriented design and implementation using MDA
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Enacting and deacting roles in agent programming
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Towards a comprehensive framework for secure systems development
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Inter-organisational controls as value objects in network organisations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
From stakeholder intentions to software agent implementations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
An empirical evaluation of the i* framework in a model-based software generation environment
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Enhancing the initial requirements capture of multi-agent systems through conceptual graphs
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Security and trust requirements engineering
Foundations of Security Analysis and Design III
Review: adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review
Specification and management of policies in service oriented business collaboration
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Designing cooperative IS: exploring and evaluating alternatives
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
A practical application of our MDD approach for modeling secure XML data warehouses
Decision Support Systems
SONIA: a methodology for natural agent development
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Specifying legal risk scenarios using the CORAS threat modelling language
iTrust'05 Proceedings of the Third international conference on Trust Management
Modeling social and individual trust in requirements engineering methodologies
iTrust'05 Proceedings of the Third international conference on Trust Management
ST-Tool: a CASE tool for modeling and analyzing trust requirements
iTrust'05 Proceedings of the Third international conference on Trust Management
Incorporating elements from the prometheus agent-oriented methodology in the OPEN process framework
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
XCM: conceptual modeling for dynamic domains
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Defining and decomposing safety policy for systems of systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Implementing an Integrative Multi-agent Clinical Decision Support System with Open Source Software
Journal of Medical Systems
A survey of security issue in multi-agent systems
Artificial Intelligence Review
Information and Software Technology
On the engineering of agent-based simulations of social activities with social networks
Information and Software Technology
Characterising agents' behaviours: selecting goal strategies based on attributes
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Meta-models, models, and model transformations: towards interoperable agents
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Transaction agent modelling: from experts to concepts to multi-agent systems
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A novel approach to programming: agent based software engineering
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
From object-oriented to agent-oriented software engineering methodologies
Software Engineering for Multi-Agent Systems III
Systematic integration between requirements and architecture
Software Engineering for Multi-Agent Systems III
CAMLE: a caste-centric agent-oriented modelling language and environment
Software Engineering for Multi-Agent Systems III
Analysis and design of physical and social contexts in multi-agent systems
Software Engineering for Multi-Agent Systems IV
A product-line approach to promote asset reuse in multi-agent systems
Software Engineering for Multi-Agent Systems IV
Improving flexibility and robustness in agent interactions: extending prometheus with hermes
Software Engineering for Multi-Agent Systems IV
Patterns for modelling agent systems with tropos
Software Engineering for Multi-Agent Systems IV
Incorporating commitment protocols into tropos
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Improving AOSE with an enriched modelling framework
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Automating model transformations in agent-oriented modelling
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Paving the way for implementing multiagent systems: integrating gaia with Agent-UML
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Designing a meta-model for a generic robotic agent system using Gaia methodology
Information Sciences: an International Journal
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A formal treatment of agents, goals and operations using alternating-time temporal logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
AOSE and organic computing – how can they benefit from each other? position paper
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
DDEMAS: a domain design technique for multi-agent domain engineering
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Formal modeling and analysis of organizations
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
A framework for validating task assignment in multiagent systems using requirements importance
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
An agent-oriented approach to service analysis and design
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
An analysis and design framework for agent-based social simulation
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Evolutionary testing of autonomous software agents
Autonomous Agents and Multi-Agent Systems
Towards simulation-aided design of multi-agent systems
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
A topological description language for agent networks
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
An advanced approach for modeling and detecting software vulnerabilities
Information and Software Technology
KEMNAD: A Knowledge Engineering Methodology For Negotiating Agent Development
Computational Intelligence
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Understanding socially oriented roles and goals through motivational modelling
Journal of Systems and Software
Using a teleo-reactive approach in building self-managing systems
International Journal of Autonomous and Adaptive Communications Systems
Comma: a commitment-based business modeling methodology and its empirical evaluation
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Engineering societal information systems by agent-oriented modeling
Journal of Ambient Intelligence and Smart Environments - A software engineering perspective on smart applications for AmI
Applied Ontology - Formal Ontologies for Communicating Agents
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
Design and implementation of a multiagent stock trading system
Software—Practice & Experience
An approach for the integration of swarm intelligence in MAS: An engineering perspective
Expert Systems with Applications: An International Journal
Formal verification of a safety argumentation and application to a complex UAV system
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
An Event Driven Multi-agent Architecture for Enabling Cloud Governance
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
Ethics and Information Technology
An ontological analysis of the notion of community in the RM-ODP enterprise language
Computer Standards & Interfaces
Capturing variability of law with nómos 2
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Towards a design process for modeling MAS organizations
EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
Profile recommendation in communities of practice based on multiagent systems
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Privacy analysis in mobile social networks: the influential factors for disclosure of personal data
International Journal of Wireless and Mobile Computing
MAS-based Agent Societies by Means of Scout Movement
International Journal of Agent Technologies and Systems
Organizational Patterns for Security and Dependability: From Design to Application
International Journal of Secure Software Engineering
Secure by Design: Developing Secure Software Systems from the Ground Up
International Journal of Secure Software Engineering
Modelling Security Using Trust Based Concepts
International Journal of Secure Software Engineering
Suitability assessment framework of agent-based software architectures
Information and Software Technology
Contributions to the emergence and consolidation of Agent-oriented Software Engineering
Journal of Systems and Software
Comparing risk identification techniques for safety and security requirements
Journal of Systems and Software
On the use of goal-oriented methodology for designing agriculture services in developing countries
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Agent-Based Multi-organizational Interaction Design: A Case Study of the Dutch Railway System
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Towards a next-generation AOSE methodology
Science of Computer Programming
Position paper: towards a requirements-driven design of ensemble-based component systems
Proceedings of the 2013 international workshop on Hot topics in cloud services
Mapping extended rationale diagrams to OLAP queries
ACM SIGSOFT Software Engineering Notes
DEECO: an ensemble-based component system
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Requirements and architectural approaches to adaptive software systems: a comparative study
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Multi-person decision-making for requirements prioritization using fuzzy AHP
ACM SIGSOFT Software Engineering Notes
Information and Software Technology
Countermeasure graphs for software security risk assessment: An action research
Journal of Systems and Software
Argumentation theoretic foundations for abstract dependence networks
AT'13 Proceedings of the Second international conference on Agreement Technologies
Optimal selection of operationalizations for non-functional requirements
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Trust-based specification of sociotechnical systems
Data & Knowledge Engineering
Norms as a basis for governing sociotechnical systems
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Task model-driven realization of interactive application functionality through services
ACM Transactions on Interactive Intelligent Systems (TiiS)
Goal-based business service composition
Service Oriented Computing and Applications
Value-based argumentation for designing and auditing security measures
Ethics and Information Technology
An agent-based approach for the design and analysis of content delivery networks
Journal of Network and Computer Applications
Comparing attack trees and misuse cases in an industrial setting
Information and Software Technology
Requirements-driven deployment
Software and Systems Modeling (SoSyM)
Enhancing the OPEN Process Framework with service-oriented method fragments
Software and Systems Modeling (SoSyM)
Medee Method Framework: a situational approach for organization-centered MAS
Autonomous Agents and Multi-Agent Systems
Secure Tropos framework for software product lines requirements engineering
Computer Standards & Interfaces
A comparison of two agent interaction design approaches
Multiagent and Grid Systems
Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems
Journal of Ambient Intelligence and Smart Environments - Intelligent agents in Ambient Intelligence and smart environments
Integrating process modelling into multi-agent system engineering
Multiagent and Grid Systems - Development of service-based and agent-based computing systems
Hi-index | 0.01 |
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion of agent and all related mentalistic notions (for instance goals and plans) are used in all phases of software development, from early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the software must operate, and of the kind of interactions that should occur between software and human agents. The methodology is illustrated with the help of a case study. The Tropos language for conceptual modeling is formalized in a metamodel described with a set of UML class diagrams.