|
%Aigaion BibTeX export %Sunday 01st of August 2010 12:36:02 AM @ARTICLE {Langen.ea:06, title = {Design space exploration revisited}, author = {van Langen, P. H. G. and Brazier, F. M. T. }, journal = {AIEDAM, Special Issue on Design Spaces}, year = {2006}, volume = {20}, number = {2}, pages = {113--119}, abstract = {Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines and available budget). Reasoning about these three aspects occurs during exploration, generation and evaluation of partial design descriptions. Design space exploration involves exploration in all three related spaces: the space of partial descriptions of design artefacts, the space of design requirements, and the space of design process objectives. These spaces are vast. Explicit representation of the relations between elements in these three spaces provides the additional information needed to understand and reuse descriptions of partial design process traces, and to guide design exploration. Woodbury and Burrow (2005) describe one of these spaces, namely the space of design object descriptions, as a network of partial and intentional descriptions of design artefacts. The links between partial descriptions represent paths in design processes. Making the information compiled in these paths of exploration explicit, as proposed in this paper, extends the approach described by Woodbury and Burrow, increasing options for accessibility.}, } @ARTICLE {Mobach.ea:06, title = {A WS -Agreement Based Resource Negotiation Framework for Mobile Agents}, author = {Mobach, D. G. A. and Overeinder, B. J. and Brazier, F. M. T. }, journal = {Scalable Computing: Practice and Experience}, year = {2006}, volume = {7}, number = {1}, pages = {23--36}, abstract = {Mobile agents require access to computing resources on heterogeneous systems across the Internet. They need to be able to negotiate their requirements with the systems on which they wish to be hosted. This paper presents a negotiation infrastructure with which agents acquire time- limited resource contracts through negotiation with one or more mediators instead of individual hosting systems. Mediators represent groups of autonomous hosts. The negotiation protocol and language are based on the WS-Agreement Specification, and have been implemented and tested within the AgentScape framework.}, } @INPROCEEDINGS {Haydarlou.ea:06*1, title = {Multi-Level Model-Based Self-Diagnosis of Distributed Object-Oriented Systems}, author = {Haydarlou, A. R. and Overeinder, B. J. and Oey, M. A. and Brazier, F. M. T. }, booktitle = {Proceedings of the 3rd IFIP International Conference on Autonomic and Trusted Computing (ATC-06)}, year = {2006}, month = {September}, keywords = {Semantic Web; Self-Management}, abstract = {Self-healing relies on correct diagnosis of system malfunctioning. \linebreak This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-system are distinguished with explicit functional, implementational, and operational knowledge of specific use-cases. This knowledge is used to define sensors to detect and localise anomalies at the same three levels, providing the input needed to perform informed diagnosis. The models presented can be used to automatically instrument existing distributed legacy systems.}, } @INPROCEEDINGS {Groot.ea:06*1, title = {Identity Management in Agent Systems}, author = {de Groot, D. R. A. and Brazier, F. M. T. }, editor = {Foukia, N. and Seigneur, J. and Purvis, M}, booktitle = {Proceedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE) at the Fif th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06)}, year = {2006}, pages = {23--34}, organization = {Future University}, location = {Hakodate, Japan}, keywords = {Identity Management, Agent Identity, Agent Platforms, Security}, abstract = {If agent-based applications are to be used in large scale, open environments, security is a main issue; digital identity management (DIDM) an essential element. DIDM is needed to be able to determine the rights and obligations of the four main computational entities in such systems: agent platforms, hosts, agents, and services. The framework for evaluation of DIDM in agent systems proposed in this paper is based on four aspects of DIDM: representation, confidentiality, integrity and availability. Two agent platforms (JADE-S and AgentScape) are used to illustrate the potential of this framework.}, } @INPROCEEDINGS {Ogston:06, title = {An Analysis of Interest Community Facilitated P2P Search}, author = {Ogston, E. }, booktitle = {Fifth International Workshop on Agents and Peer-to-Peer Computing (AP2PC)}, year = {2006}, } @INPROCEEDINGS {Ogston.ea:06, title = {Musings Upon the Theme of Peer-to-Peer Search}, author = {Ogston, E. and Iwanicki, K. and van Steen, M. }, booktitle = {Twelfth Annual Conference of the Advanced School for Computing and Imaging (ASCI)}, year = {2006}, pages = {362--368}, } @INPROCEEDINGS {Ogston.ea:06*1, title = {On the Value of Random Opinions in Decentralized Recommendation}, author = {Ogston, E. and Bakker, A. and van Steen, M. }, booktitle = {Proceedings of the 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS)}, series = {LNCS}, year = {2006}, volume = {4025}, pages = {84--98}, publisher = {Springer Berlin}, } @MISC {Apistola.ea:06, title = {Secure ACCESS to the Digital Dossier}, author = {Apistola, M. and Warnier, M. and Brazier, F. M. T. and Oskamp, A. }, year = {2006}, month = {May}, howpublished = {Poster presented at the NWO TOKEN'06 symposium.}, } @MISC {Warnier.ea:06*1, title = {Agents in Court}, author = {Warnier, M. and Apistola, M. and de Groot, D. R. A. and Brazier, F. M. T. and Oskamp, A. }, year = {2006}, month = {May}, howpublished = {Poster presented at the 5th System Administration and Network Engineering Conference (SANE 2006)}, } @MISC {Overeinder.ea:0, title = {Distributing and Retrieving Data with Authentication}, author = {Overeinder, B. J. and van Schouwen, R and Oey, M. A. and Ogston, E. and Brazier, F. M. T. }, year = {2006}, month = {May}, howpublished = {Poster presented at the 5th System Administration and Network Engineering Conference (SANE 2006)}, } @MISC {Mobach.ea:06*1, title = {Bidding for Resources---Without the Hassle?}, author = {Mobach, D. G. A. and Overeinder, B. J. and Ogston, E. and Brazier, F. M. T. }, year = {2006}, month = {May}, howpublished = {Poster presented at the 5th System Administration and Network Engineering Conference (SANE 2006)}, } @INBOOK {Richards.ea:05, title = {Composing Web Services using an Agent Factory}, author = {Richards, D. and van Splunter, S. and Brazier, F. M. T. and Sabou, M. }, series = {Multiagent Systems, Artificial Societies, and Simulated Organiza}, year = {2005}, month = {April}, volume = {13}, pages = {229--252}, publisher = {Springer}, note = {Previously published in: Proceedings of AAMAS Workshop on Web Services and Agent-Based Engineering(WSABE), Melbourne, Australia, 2003, pp. 57-66}, keywords = {web service configuration}, } @INBOOK {Brazier.ea:05, title = {Chapter 40: Vrije Universiteit Amsterdam}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Clarkson, P. John and Eckert, Claudia. M. }, year = {2005}, pages = {546--549}, chapter = {40}, publisher = {Springer}, address = {http://www-edc.eng.cam.ac.uk/designprocessbook/}, isbn = {1-85233-701-X}, note = {Description of Design research at IIDS Group.}, } @INPROCEEDINGS {Mobach.ea:05, title = {Lease-based Decentralized Resource Management in Open Multi-Agent Systems}, author = {Mobach, D. G. A. and Overeinder, B. J. and Marin, O. and Brazier, F. M. T. }, booktitle = {Proceedings of the 18th International FLAIRS Conference}, year = {2005}, month = {May}, pages = {339--344}, note = {extended version of the EUMAS'04 paper}, keywords = {middleware;resource management}, } @INPROCEEDINGS {Mobach.ea:05*1, title = {A Resource Negotiation Infrastructure for Self-Managing Applications}, author = {Mobach, D. G. A. and Overeinder, B. J. and Brazier, F. M. T. }, booktitle = {Proceedings of the 2nd IEEE International Conference on Autonomic Computing (ICAC 2005)}, year = {2005}, month = {June}, pages = {381--382}, publisher = {IEEE}, address = {Seatle, WA}, keywords = {resource management; negotiation, self-management}, } @INPROCEEDINGS {Splunter.ea:05, title = {The Role of Local Knowledge in Complex Web Service Reconfiguration}, author = {van Splunter, S. and van Langen, P. H. G. and Brazier, F. M. T. }, booktitle = {Proceedings of the 2005 IEEE/WIC International Conference on Web Intelligence (WI 2005), Compiegne, France}, year = {2005}, month = {September}, pages = {495--499}, publisher = {IEEE}, address = {Seatle, WA}, keywords = {web service configuration}, abstract = {As the number of web services in repositories on the World Wide Web increases so will the number of complex configurations of web services. However, as the World Wide Web is dynamic, web services will come and go, temporarily or for good. As a result, complex web service configurations will need to be reconfigured on demand. To this purpose, complex web service configurations need to include local knowledge about (1) the function, structure and behaviour of each component in a configuration, and (2) the dependencies between components at each level of composition. Templates are proposed as a means to represent such knowledge. To illustrate the process of reconfiguration, an example is given of reconfiguration of a complex web service, for which a template is used specifying both types of local knowledge.}, } @INPROCEEDINGS {Groot.ea:05, title = {Issues in a Mobile Agent-based Multimedia Retrieval Scenario}, author = {de Groot, D. R. A. and Boonk, M. L. and Brazier, F. M. T. and Oskamp, A. }, booktitle = {Proceedings of The 4th Workshop on the Law and Electronic Agents (LEA 2005)}, year = {2005}, month = {June}, pages = {33--43}, keywords = {legal;security;issues;mobile;agent;scenario}, abstract = {Mobile agents traverse the Internet, often on behalf of their users. Intelligent search agents access dynamic information in heterogeneous environments. The legal implications of the use of agents in such situations are not fully understood. In this paper a scenario in which a mobile agent searches a multimedia database on behalf of its user, is used to illustrate the legal and technical issues involved. Requirements related to identity management, integrity, traceability and availability are identified and discussed in the context of existing technology.}, } @INPROCEEDINGS {Boonk.ea:05, title = {Agent Exclusion on Websites}, author = {Boonk, M. L. and de Groot, D. R. A. and Brazier, F. M. T. and Oskamp, A. }, booktitle = {Proceedings of The 4th Workshop on the Law and Electronic Agents (LEA 2005)}, year = {2005}, month = {June}, pages = {13--20}, keywords = {legal aspects, intelligent search agents, exclusion clause, websites}, abstract = {This paper focuses on legal aspects of intelligent search agents, with respect to the status of exclusion clauses often found on websites. These clauses were initially meant to stop search bots from websites that are not meant for public access. It is a question whether these clauses also hold for intelligent search agents.}, } @INPROCEEDINGS {Groot.ea:05*1, title = {Issues in a Mobile Agent-based Multimedia Retrieval Scenario}, author = {de Groot, D. R. A. and Boonk, M. L. and Brazier, F. M. T. and Oskamp, A. }, editor = {Gleizes, M. }, booktitle = {Proceedings of the Third European Workshop on Multi-Agent Systems (EUMAS'05)}, year = {2005}, month = {December}, pages = {103--113}, note = {revised version of the LEA 2005 paper}, } @INPROCEEDINGS {Mobach.ea:05*2, title = {A Two-tiered Model of Negotiation Based on Web Service Agreements}, author = {Mobach, D. G. A. and Overeinder, B. J. and Brazier, F. M. T. and Dignum, F. }, booktitle = {Proceedings of the Third European Workshop on Multi-Agent Systems (EUMAS'05)}, year = {2005}, month = {December}, pages = {202--213}, } @INPROCEEDINGS {Haydarlou.ea:05*1, title = {A Self-Healing Approach for Object-Oriented Applications}, author = {Haydarlou, A. R. and Overeinder, B. J. and Brazier, F. M. T. }, booktitle = {Proceedings of the 3rd International Workshop on Self-Adaptive and Autonomic Computing Systems (SAACS 05)}, year = {2005}, month = {August}, keywords = {self-management; self-healing}, } @INPROCEEDINGS {Groot.ea:05*2, title = {Issues in a Mobile Agent-based Multimedia Retrieval Scenario}, author = {de Groot, D. R. A. and Boonk, M. L. and Brazier, F. M. T. and Oskamp, A. }, editor = {Verbeeck, K. and Tuyls, K. and Nowe, A. and Manderick, B and Kuijpers, B. }, booktitle = {Proceedings of the Seventeenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'05), Brussels, Belgium}, year = {2005}, month = {October}, pages = {337--338}, note = {This is an extended abstract of the arcticle in Proceedings of The 4th Workshop on the Law and Electronic Agents (LEA 2005)}, } @PHDTHESIS {Ogston:05, title = {Agent Based Matchmaking and Clustering - A Decentralized Approach to Search}, author = {Ogston, E. }, year = {2005}, month = {April}, school = {Vrije Universiteit Amsterdam}, } @MASTERSTHESIS {Storchi:05, title = {Het controleren van het digitale dossier op volledigheid met behulp van software agenten}, author = {Storchi, L. }, year = {2005}, month = {September}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisors: prof.dr. F.M.T. Brazier & drs. S. van Splunter, Second examiner: prof.dr. A. Oskamp.}, } @TECHREPORT {Ogston.ea:05, title = {Data Clustering by Large-Scale Adaptive Agent Systems}, author = {Ogston, E. and van Steen, M. and Brazier, F. M. T. and Overeinder, B. J. }, year = {2005}, month = {April}, number = {IR-CS-014}, institution = {Vrije Universiteit Amsterdam}, keywords = {decentralized clustering}, } @MISC {Splunter.ea:05*, title = {Automated template based web service re-configuration}, author = {van Splunter, S. and van Langen, P. H. G. and Brazier, F. M. T. }, year = {2005}, month = {October}, howpublished = {Poster presentation at SIREN Scientific ICT Research Event Netherlands 2005}, abstract = {The World Wide Web is dynamic, web services come and go, temporarily or for good. This also holds for web service configurations: configurations of web services composed to fulfill more complex tasks. Unless .... complex web service configurations can be reconfigured on demand. The goal of our research is to develop a fully automated configuration service designed specifically for this purpose: to adapt to change. Our approach is template based. Each template describes a single level composition of one of more abstract, annotated web services, their input and output behaviour, and the conditions for activation of these abstract web services. The abstract web services themselves, may likewise be composed of one or more other abstract web services. Function, structure and behaviour can be depicted at the level at which it is most appropriate in the composition, by using local specified knowledge defined in templates on these properties. The current implementation of this system uses OWL-S annotation in addition to the standard SOAP annotations to support web portal software configuration.}, } @MISC {Mobach.ea:05*3, title = {A Resource Negotiation Infrastructure for Self-Managing Applications}, author = {Mobach, D. G. A. and Overeinder, B. J. and Brazier, F. M. T. }, year = {2005}, month = {October}, howpublished = {Poster presentation at SIREN Scientific ICT Research Event Netherlands 2005}, } @MISC {Groot.ea:05*3, title = {Mobile Agent-based Multimedia Retrieval: a Case for agents?}, author = {de Groot, D. R. A. and Boonk, M. L. and Brazier, F. M. T. and Oskamp, A. }, year = {2005}, month = {October}, howpublished = {Poster presented at Scientific ICT Research Event Netherlands SIREN 2005, 6th October 2005 Eindhoven University of Technology, Auditorium}, abstract = {Mobile agents traverse the Internet, often on behalf of their users, moving to different sites with different characteristics. Mobile intelligent search agents traverse the Internet with the specific goal of accessing information. The sites they access are heterogeneous, often dynamic. Identity and integrity management, traceability and availability are major issues in this context. Liability, anonymity, and intellectual property are clearly related. These issues are discussed in the context of multimedia database search on behalf of users. The important technological and legal questions and implications related to this example are identified and discussed, in particular those related to underlying technology. Note: Related research will be pursued together with the Rechtbank Amsterdam in the context of the ACCESS ToKen project to start in October.}, } @MISC {haydarlou.ea:06*2, title = {Are Self-Healing CoWS in your future?}, author = {Haydarlou, A. R. and van Splunter, S. and van Langen, P. H. G. and Brazier, F. M. T. }, year = {2006}, month = {May}, howpublished = {Poster presentation at System Administration and Network Engineering (SANE) '06}, note = {Poster presentation at System Administration and Network Engineering (SANE) '06}, abstract = {Cows are animals composed of a complex variety of organs, limbs, and other internals. When a cow gets older, its body degrades, which causes the animal to exhibit odd behaviour or, in the worst case, die. The same can be said about configurations of (web) services (with the acronym CoWS): they may contain complex sub-compositions, using services from a variety of suppliers and servers. These complex configurations can function perfectly well at design time, but when the configuration exists for a longer period of time, problems may arise. Servers and connections can go down, suppliers may come and go, and services can be updated or changed. In the dynamic environment of the Internet, chances are that at some point in the future a created configuration of web services will malfunction or not function at all. More and more human skills are required to install, configure, tune, and maintain complex systems composed of a variety of components operating in large-scale distributed heterogeneous environments. When facing system malfunctions and system outages, manually determining the root cause of software runtime failures in such complex systems is hindered by the lack of appropriate system logs. Ideally, automated support would be able to recognise and solve a large portion of these failures without human help. This would require these systems to be self-aware, know when and where an error state occurs, analyse the problem situation, make healing plans, and suggest various solutions to the system administrator or heal themselves without human intervention. To this end, a model-based self-healing framework has been designed. At the highest level two modules are distinguished: a managed-system and an autonomic-manager. The managed-system can be any existing distributed system that has been extended with sensors. Sensors provide runtime information from the running system to the autonomic-manager and a selection of sensors can be inserted in the managed system by automation, based on the system model. The system model specifies the structure, functionality and expected behaviour of the managed system, and is used to (a) detect unexpected behaviour, and (b) evaluate possible reconfigurations and its consequences. The autonomic-manager consists of two modules: (1) a diagnosis module, and (2) an adaptation module. The diagnosis module monitors system behaviour, analyses unexpected behaviour, and if possible, determines a diagnosis. The adaptation module is responsible for resolving the abnormal behaviour (i.e. reconfiguration). To enable self-healing (1) the running system needs to be able to be structured, as components and connectors; (2) a (partial) model of expected behaviour needs to be devised: the structures need to be annotated, specifying the functionality, kind of structure, and expected behaviour (both correct and erroneous); (3) a library of healing plans is needed (in the case of using re-configuration a library of reusable components/structures), which also need to be annotated (e.g., comparable with having backup services running)); (4) the interoperability between structures needs to be standardised, or explicitly defined, to allow automated integration of sensors, and automated integration of changes in the service composition. This approach has been successfully applied to web service reconfiguration, and is currently being applied to legacy trading systems (i.e. distributed object oriented legacy systems) within a financial organisation.}, } @INPROCEEDINGS {Groot.ea:06*2, title = {Identity Management in Agent Systems}, author = {de Groot, D. R. A. and Brazier, F. M. T. }, editor = {Schobbens, P. Y. and Vanhoof, W. and Schwanen, G. }, booktitle = {Proceedings of the Eighteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'06)}, year = {2006}, month = {October}, pages = {381--382}, publisher = {University of Namur}, organization = {University of Namur}, location = {Namur, Belgium}, note = {This is an compressed contribution based on the paper published earlier in the Proceedings of the First International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE)}, abstract = {If agent-based applications are to be used in large scale, open environments, security is a main issue; digital identity management (DIDM) an essential element. DIDM is needed to be able to determine the rights and obligations of the four main computational entities in such systems: agent platforms, hosts, agents, and services. The framework for evaluation of DIDM in agent systems proposed in this paper is based on four aspects of DIDM: representation, confidentiality, integrity and availability. Two agent platforms (JADE-S and AgentScape) are used to illustrate the potential of this framework.}, } @MASTERSTHESIS {schouwen:06, title = {Design and Implementation of a Secure, Decentralized Location Service for Agent Platforms}, author = {van Schouwen, R}, year = {2006}, month = {August}, school = {Vrije Universiteit Amsterdam}, } @MASTERSTHESIS {maraikar:06, title = {Resource and Service Discovery for Mobile Agent Platforms}, author = {Maraikar, Z. }, year = {2006}, month = {August}, school = {Vrije Universiteit Amsterdam}, } @MASTERSTHESIS {timmer:05, title = {An Efficient Implementation of the Agent Operating System}, author = {Timmer, R. J. }, year = {2005}, month = {August}, school = {Vrije Universiteit Amsterdam}, } @MISC {haydarlo.ea:05*2, title = {A Reflective Framework for Self-Management of Applications and Middleware}, author = {Haydarlou, A. R. and Overeinder, B. J. and Brazier, F. M. T. }, year = {2005}, month = {October}, howpublished = {Poster presentation at SIREN Scientific ICT Research Event Netherlands 2005}, note = {Poster presentation at SIREN Scientific ICT Research Event Netherlands 2005}, abstract = {Today's increasingly complex systems, composed of a variety of components, operating in large-scale distributed heterogeneous environments, require more and more human skills to install, configure, tune, and maintain. Determining the root cause of runtime failures, configuration errors, or reduced performance and scalability, for example, in such complex systems is hindered by the lack of appropriate diagnostic feedback to human users: system logs are the only information available. Automated support would clearly be seen as beneficial to both the user, in this example, the system administrator and the organisations in which they are used. A reflective framework for self-management of applications and middleware is being developed to reduce the cost and complexity of such systems. Such self-managing systems are self-aware: they know when and where an error state occurs, they have adequate knowledge to stabilize the system as a whole, they are able to analyze the problem from different perspectives, and can devise a strategy with which the problem can be solved, c.q. the system healed. The result is that a system can, in the end, reconfigure or heal itself given its knowledge of the problem and possible solutions, or suggest various solutions to a human user, in the example domain currently being pursued, the system administrator. In our approach, explicit reflective knowledge is essential: reflective agents are pivotal, they represent the processes involved. Reflective agents are capable of reasoning not only about their external environment, but also about their own behavior and other agents behavior at different meta-levels. In our framework reflective agents are associated with middleware services, applications, middleware/application components, and constituent classes for diagnosis and repair at the appropriate level.}, } @ARTICLE {Brazier.ea:04, title = {Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation}, author = {Brazier, F. M. T. and Cornelissen, F. and Gustavsson, R. and Jonker, C. M. and Lindeberg, O. and Polak, B. and Treur, J. }, journal = {Journal of Applied Intelligence}, year = {2004}, volume = {20}, pages = {95--117}, publisher = {Kluwer Academic Publishers}, } @ARTICLE {Wijngaards.ea:04, title = {The Role of Trust in Distributed Design}, author = {Wijngaards, N. J. E. and Boonstra, H. M. and Brazier, F. M. T. }, editor = {Brazier, F. M. T. and Gero, J. S. }, journal = {AIEDAM, Special Issue on Intelligent Agents in Design.}, year = {2004}, month = {May}, pages = {199--209}, abstract = {Automated support of design teams, consisting of both human and automated systems, requires an understanding of the role of trust in distributed design processes. By explicitating trust, an individual designer's decisions become better understood and may be better supported. Each individual designer has his or her private goals in a co-operative design setting, in which requirement conflicts and resource competitions abound. There are, however, also group goals that also need to be reached. This paper presents (1) an overview of research related to trust in the context of agents and design, (2) a computational knowledge-level model of trust based on the seven beliefs distinguished by Castelfranchi and Falcone (2000); and (3) an example of the use of the trust model in a specific design process, namely website design from the perspective of a single designer. The results are discussed in the context of distributed design in open systems.}, } @ARTICLE {Langen.ea:04, title = {Designing Creative Artificial Systems}, author = {van Langen, P. H. G. and Wijngaards, N. J. E. and Brazier, F. M. T. }, editor = {Duffy, A. H. B. and Brazier, F. M. T. }, journal = {AIEDAM, Special Issue on Learning and Creativity in Design}, year = {2004}, volume = {18}, number = {4}, pages = {217--225}, abstract = {Can artificial systems be creative? Can they be designed to be creative on their own? And what are the requirements of such creative artificial systems? To be able to support humans who are expected to deliver creative solutions, or to automate part of their tasks, this paper presents a proposal for creativity requirements that provide a basis for designing creative artificial systems.}, } @ARTICLE {Brazier.ea:04*1, title = {Law-Abiding & Integrity on the Internet: a Case for Agents}, author = {Brazier, F. M. T. and Oskamp, A. and Prins, J. E. J. and Schellekens, M. H. M. and Wijngaards, N. J. E. }, journal = {AI & Law}, year = {2004}, volume = {12}, number = {1-2}, pages = {5--37}, publisher = {Springer Science Business Media B.V}, abstract = {Software agents extend the current, information-based Internet to include autonomous mobile processing. In most countries such processes, i.e. software agents are, however, without an explicit legal status. Many of the legal implications of their actions (e.g. gathering information, negotiating terms, performing transactions) are not well understood. One important characteristic of mobile software agents is that they roam the Internet: they often run on agent platforms of others. There often is no pre-existing relation between the ?owner? of a running agent?s process and the owner of the agent platform on which an agent process runs. When conflicts arise, the position of the agent platform owner is not clear: is he or she allowed to slow down the process or possibly remove it from the system? Can the interests of the user of the agent be protected? This article explores legal and technical perspectives in protecting the integrity and availability of software agents and agent platforms.}, isn={0924-8463}, } @ARTICLE {Brazier.ea:04*2, title = {Anonymity and Software Agents: An Interdiscplinary Challenge}, author = {Brazier, F. M. T. and Oskamp, A. and Prins, J. E. J. and Schellekens, M. H. M. and Wijngaards, N. J. E. }, journal = {AI & Law}, year = {2004}, volume = {1-2}, number = {12}, pages = {137--157}, issn = {0924-8463}, abstract = {Software agents that play a role in E-commerce and E-government applications involving the Internet often contain information about the identity of their human user such as credit cards and bank accounts. This paper discusses whether this is necessary: whether human users and software agents are allowed to be anonymous under the relevant legal regimes and whether an adequate interaction and balance between law and anonymity can be realised from both the perspective of Computer Systems and the perspective of Law.}, isn={0924-8463}, } @ARTICLE {Ogston.ea:04, title = {Group Formation Among Decentralized Autonomous Agents}, author = {Ogston, E. and van Steen, M. and Brazier, F. M. T. }, journal = {Applied Artificial Intelligence}, year = {2004}, pages = {953--970}, url = {http://taylorandfrancis.metapress.com/app/home/contribution.asp?wasp=ngda3mqyrj4txnvrlh87&referrer=parent&backto=issue,12,12;journal,1,69;li nkingpublicationresults,1:100651,1}, } @INPROCEEDINGS {Groot.ea:04, title = {Cross-Platform Generative Agent Migration}, author = {Overeinder, B. J. and Brazier, F. M. T. and de Groot, D. R. A. }, booktitle = {Proceedings of the Fourth European Symposium on Intelligent Technologies, Hybrid Systems and their implementation on Smart Adaptive Systems}, year = {2004}, month = {June}, pages = {356--363}, note = {EUNITE 2004, June 10-12, 2004, Aachen, Germany, http://www.eunite.org}, keywords = {agent configuration;generative migration}, abstract = {In current agent systems agent migration is only possible between homogeneous systems supporting identical agent platforms, limiting an agent?s possibilities considerably. This paper revisits the notion of generative migration. Generative migration entails migration of an agent blueprint, instead of complete code. This approach relies on homogeneity of libraries on different platforms to re-incarnate agents, but does not require homogeneity of platforms. Agent Factories are used to assemble agents at their destination, adapting an agent to its environment. This paper continues earlier work on generative migration by extending available theory and providing a demonstration and implementation of generative cross-platform agent migration using Agent Factories.}, } @INPROCEEDINGS {Noordende.ea:04, title = {Security in a Mobile Agent System}, author = {van 't Noordende, G. and Brazier, F. M. T. and Tanenbaum, A. S. }, booktitle = {Proceedings of the First IEEE Symposium on Multi-Agent Security and Survivability}, year = {2004}, month = {August}, location = {Philadelphia, USA}, } @INPROCEEDINGS {Brazier.ea:04*3, title = {Agent-Based Information Retrieval: Legal and Technical Considerations in a Simple Case}, author = {Brazier, F. M. T. and de Groot, D. R. A. and Oskamp, A. and Wijngaards, N. J. E. }, editor = {Cevenini, C. }, booktitle = {The Law and Electronic Agents: Proceedings of the LEA 04 workshop}, year = {2004}, month = {June}, pages = {95--107}, abstract = {Information retrieval is currently one of the most important usages of the Internet. Scientific publishers are one of the sources of information, providing access to digital libraries on a subscription basis. Contracts between publishers and larger organizations specify how access is to be regulated. This paper explores the legal implications and technical considerations of the use of soft-ware agents to facilitate on- and off-campus access to the ScienceDirect digital library.}, } @INPROCEEDINGS {Splunter.ea:04, title = {Automated Component-Based Configuration: Promises and Fallacies}, author = {van Splunter, S. and Wijngaards, N. J. E. and Brazier, F. M. T. and Richards, D. }, booktitle = {Proceedings of the Adaptive Agents and Multi-Agent Systems workshop at the AISB 2004 Symposium}, year = {2004}, month = {March}, pages = {130--135}, abstract = {Re-use of software components is standard practice in software design and development in which humans play an important role. In many dynamic environments, however, (semi-)automated configuration of systems, is warranted. This paper examines three such domains: Agent Factories, Web service configuration and general software composition. The differences and similarities between these approaches, and the progress that is being made are discussed.}, } @INPROCEEDINGS {Overeinder.ea:04, title = {Scalable Middleware Environment for Agent-Based Internet Applications}, author = {Overeinder, B. J. and Brazier, F. M. T. }, booktitle = {Proceedings of the Workshop on State-of-the-Art in Scientific Computing (PARA'04)}, series = {Lecture Notes in Computer Science}, year = {2004}, month = {June}, volume = {3732}, pages = {675--679}, publisher = {Springer}, address = {Copenhagen, Denmark}, } @INPROCEEDINGS {Ogston.ea:04*1, title = {Group Formation Among Peer-to-Peer Agents: Learning Group Characteristics}, author = {Ogston, E. and Overeinder, B. J. and van Steen, M. and Brazier, F. M. T. }, series = {Springer - Lecture Notes in Computer Science}, year = {2004}, volume = {2872}, pages = {59--70}, note = {Second International Workshop on Agents and Peer-to-Peer Computing (AP2PC) (2003)}, } @MASTERSTHESIS {Groot:04, title = {Cross-Platform Generative Agent Migration - An Agent Factory Approach}, author = {de Groot, D. R. A. }, year = {2004}, month = {January}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisor: prof.dr. F.M.T. Brazier, Referee: dr. B.J. Overeinder, Advisors: drs. S. van Splunter & dr. N.J.E. Wijngaards}, abstract = {In some agent applications agents need to move between locations to perform their tasks. Agent migration, however, is often complicated by the heterogeneous nature of the agent environment. For example, the platform from which an agent migrates (source-platform) may not be compatible with the platform to which the agent migrates (destination platform). Different solutions for cross-platform agent migration are possible. This thesis addresses one such solution, called generative migration. Instead of transporting the agent itself, a blueprint of the agent is sent to its destination. There, an Agent Factory regenerates the agent using its blueprint. This thesis continues earlier work on generative migration by extending available theory and providing a demonstration and implementation of generative cross-platform agent migration.}, } @INPROCEEDINGS {Splunter.ea:04*1, title = {Automated Component-Based Configuration: Promises and Fallacies}, author = {van Splunter, S. and Wijngaards, N. J. E. and Brazier, F. M. T. and Richards, D. }, editor = {Verbrugge, R. and Taatgen, N. and Schomaker, L. }, booktitle = {Proceedings of the Sixteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'04), Groningen, The Netherlands. October 21-22, 2004.}, year = {2004}, month = {October}, pages = {351--352}, note = {This is an extended abstract of version in Proceedings of the Adaptive Agents and Multi-Agent Systems workshop at the AISB 2004 Symposium}, } @MASTERSTHESIS {Broekhuizen:04, title = {Automated Template-based Web Service Configuration}, author = {Broekhuizen, J. }, year = {2004}, month = {October}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisors: prof.dr. F.M.T. Brazier & drs. S. van Splunter, Second examiner: dr. N.J.E. Wijngaards}, } @INPROCEEDINGS {Brazier.ea:04*4, title = {Agent-Based Information Retrieval: Legal and Technical Considerations in a Simple Case}, author = {Brazier, F. M. T. and de Groot, D. R. A. and Oskamp, A. and Wijngaards, N. J. E. }, editor = {Verbrugge, R. }, booktitle = {Proceedings of the Sixteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'04), Oktober 21-22, Groningen, The Netherlands}, year = {2004}, month = {October}, pages = {339--340}, location = {Groningen, The Netherlands}, note = {This is an extended abstract of the arcticle in The Law and Electronic Agents: Proceedings of the LEA 04 workshop}, } @INPROCEEDINGS {Mobach.ea:04, title = {Lease-based Decentralized Resource Management in Open Multi-Agent Systems}, author = {Mobach, D. G. A. and Overeinder, B. J. and Marin, O. and Brazier, F. M. T. }, booktitle = {Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS'04).}, year = {2004}, pages = {459--464}, note = {See the upcoming FLAIRS'05 paper for an extended version}, } @MASTERSTHESIS {Meijers:04, title = {Agent-Based Document Assembly Framework: Examining Agent System Resource management in a Real World Scenario}, author = {Meijers, M. }, year = {2004}, month = {October}, school = {Vrije Universiteit Amsterdam}, note = {Supervisors: prof.dr. F.M.T. Brazier & drs. D.G.A. Mobach, Second examiner: dr. B.J. Overeinder}, } @MISC {Mobach.ea:04*1, title = {Observation and Leasing Infrastructure for Distributed Systems Management}, author = {Mobach, D. G. A. and Overeinder, B. J. and Marin, O. and Haydarlou, A. R. and Brazier, F. M. T. }, year = {2004}, month = {September}, howpublished = {Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004)}, note = {Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004)}, } @MISC {Brazier.ea:04*5, title = {Survival of the Legally Fittest}, author = {Brazier, F. M. T. and de Groot, D. R. A. and Oskamp, A. and Prins, J. E. J. and Schellekens, M. H. M. and Wijngaards, N. J. E. }, year = {2004}, month = {September}, howpublished = {Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004)}, note = {Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004)}, abstract = {Technical, commercial and legal issues strongly influence system administrators. Management of (distributed) systems with connections to outside users, e.g. via webservices or (mobile) software agents, may involve contracts. The challenge is to find simple, elegant and effective solutions to (automated) contract management systems, preferably as part of overall (distributed) management systems.}, } @MISC {Splunter.ea:04*2, title = {Automated Web service configuration: an attempt}, author = {van Splunter, S. and Wijngaards, N. J. E. and Brazier, F. M. T. and van Langen, P. H. G. }, year = {2004}, month = {September}, howpublished = {Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004)}, note = {Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004)}, } @MASTERSTHESIS {Dijk:04, title = {An Agent-based Simulation Of Planning Done By Community Members Of Ebhodweni}, author = {van Dijk, S. }, year = {2004}, month = {September}, school = {Vrije Universiteit Amsterdam}, note = {Supervisor: dr. B.J. Overeinder, Second examiner: prof.dr. F.M.T. Brazier}, } @INPROCEEDINGS {Mobach.ea:03, title = {Managing Agent Life Cycles in Open Distributed Systems}, author = {Mobach, D. G. A. and Overeinder, B. J. and Wijngaards, N. J. E. and Brazier, F. M. T. }, booktitle = {Proceedings of the 18th ACM Symposium on Applied Computing}, year = {2003}, month = {March}, pages = {61--65}, address = {Melbourne, FL}, abstract = {Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These environments need to provide distributed support, including management services, for such agent systems. In this paper a local management architecture, implemented in AgentScape, is provided together with a management-oriented life cycle model. A major feature of this model is the central role of one of the states of the life cycle model, namely the suspended state: the state in which an agent is manageable. A prototype implementation of the management system based on the life cycle model is described.}, } @INPROCEEDINGS {Splunter.ea:03, title = {Configuring Web Service, using Structurings and Techniques from Agent Configuration}, author = {van Splunter, S. and Sabou, M. and Brazier, F. M. T. and Richards, D. }, booktitle = {Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence (WI 2003)}, year = {2003}, month = {October}, pages = {153--160}, address = {Halifax, Canada}, } @INPROCEEDINGS {Bertier.ea:03, title = {Performance Analysis of a Hierarchical Failure Detector}, author = {Bertier, M. and Marin, O. and Sens, P. }, booktitle = {Proceedings of the International Conference on Dependable Systems and Networks (DSN'2003)}, year = {2003}, month = {June}, pages = {635--644}, } @INPROCEEDINGS {Ogston.ea:03, title = {A Method for Decentralized Clustering in Large Multi-Agent Systems}, author = {Ogston, E. and Overeinder, B. J. and van Steen, M. and Brazier, F. M. T. }, booktitle = {Proceedings of the Second International Joint Conference on Autonomous Agent and Multi Agent Systems (AAMAS03)}, year = {2003}, month = {July}, pages = {798--796}, address = {Melbourne Australia}, note = {Also presented at EUMAS 2003}, } @INPROCEEDINGS {Marin.ea:03, title = {DARX - A Framework for the Fault-Tolerant Support of Agent Software}, author = {Marin, O. and Bertier, M. and Sens, P. }, booktitle = {Proceedings of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE 2003)}, year = {2003}, month = {November}, pages = {406--417}, } @INPROCEEDINGS {Overeinder.ea:03, title = {Fault-Tolerance in Scalable Agent Support Systems: Integrating DARX in the AgentScape Framework}, author = {Overeinder, B. J. and Brazier, F. M. T. and Marin, O. }, booktitle = {Proceedings of the 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid2003)}, year = {2003}, month = {May}, pages = {688--695}, } @INBOOK {Splunter.ea:03*1, title = {Structuring Agents for Adaptation}, author = {van Splunter, S. and Wijngaards, N. J. E. and Brazier, F. M. T. }, editor = {Alonso, E. }, booktitle = {Adaptive Agents and Multi-Agent Systems}, series = {Lecture Notes in Artificial Intelligence (LNAI)}, year = {2003}, volume = {2636}, pages = {174--186}, publisher = {Springer-Verlag Berlin}, address = {Berlin}, note = {Also presented at The First European Workshop on Multi-Agent Systems EUMAS, 18-19 December 2003, Oxford, England.}, abstract = {Agents need to be able to adapt to the dynamic nature of the environments in which they operate. Automated adaptation is an option that is only feasible if enough structure is provided. This paper describes a component-based structure within which dependencies between components are made explicit. An example of a simple web-page analysis agent is used to illustrate the structuring principles and elements.}, } @INPROCEEDINGS {Richards.ea:03, title = {Composing Web Services using an Agent Factory}, author = {Richards, D. and van Splunter, S. and Brazier, F. M. T. and Sabou, M. }, booktitle = {Proceedings of AAMAS Workshop on Web Services and Agent-Based Engineering(WSABE), Melbourne, Australia}, year = {2003}, month = {July}, pages = {57--66}, note = {Also published in 2005}, abstract = {Web service composition can provide a value-chain between customers and suppliers. The increasing number of services, and thus possible combinations, demands the development of dynamic and automatic techniques for their composition. Current commercial solutions are limited and are primarily static and manual. Automation requires reasoning about (semantic descriptions of) the services. In this paper we describe our initial work involving the semantic description of Web services using DAML-S and how our Agent Factory has used these descriptions in its design process to derive a Web service configuration.}, } @INPROCEEDINGS {Sabou.ea:03, title = {An experience report on using DAML-S}, author = {Sabou, M. and Richards, D. and van Splunter, S. }, booktitle = {Proceedings of WWW 2003 Workshop on E-Services and the Semantic Web (ESSW'03), Budapest, Hungary}, year = {2003}, month = {May}, abstract = {Though DAML-S is growing into a de facto standard for semantic web-service markup, we have only found few complete service descriptions and even less papers discussing technical issues about the markup process. We addressed this lack by (1) reporting on our experiences in describing a set of services, (2) concluding several limitations of the latest DAML-S version (v0.7) and (3) making our work accessible to the research community.}, } @INPROCEEDINGS {Brazier.ea:03, title = {Are anonymous agents realistic?}, author = {Brazier, F. M. T. and Oskamp, A. and Prins, J. E. J. and Schellekens, M. H. M. and Wijngaards, N. J. E. }, editor = {Oskamp, A. and Weitzenboeck, E. }, booktitle = {Proceedings of the LEA 2003: The Law and Electronic Agents}, year = {2003}, month = {June}, pages = {69--79}, abstract = {Software agents are involved in Internet applications such as E-commerce and may contain identificatory information about their human user such as credit cards and bank accounts. This paper discusses whether human users and software agents are allowed to be anonymous and whether anonymity is technically realisable from the perspective of Artificial Intelligence, Computer Systems and Law.}, } @INPROCEEDINGS {Brazier.ea:03*1, title = {Can agents close contracts?}, author = {Brazier, F. M. T. and Oskamp, A. and Schellekens, M. H. M. and Wijngaards, N. J. E. }, editor = {Oskamp, A. and Weitzenboeck, E. }, booktitle = {Proceedings of LEA 2003: The Law and Electronic Agents}, year = {2003}, month = {June}, pages = {9--20}, abstract = {One of the tasks of software agents on the Internet will be to close contracts on behalf of their owner. The closing of a contract is subject to liabilities. In this, there is no distinction between the real world and the virtual world. Like in the real world, within the virtual world a distinction has to be made between the precontractual phase and the contractual phase. The liabilities in these phases are different. Therefore negotiation protocols for agents need to distinguish between these phases and different responsibilities may exist in the different phases. This paper presents some of the issues involved, viewed from a technical and legal perspective.}, } @INPROCEEDINGS {Brazier.ea:03*2, title = {Are mobile agents outlawed processes?}, author = {Brazier, F. M. T. and Oskamp, A. and Schellekens, M. H. M. and Wijngaards, N. J. E. }, editor = {Oskamp, A. and Weitzenboeck, E. }, booktitle = {Proceedings of LEA 2003: The Law and Electronic Agents}, year = {2003}, month = {June}, pages = {127--139}, abstract = {An important characteristic of mobile agents is that they often do not run on their user's platform, but on the platform of someone else. There often is no pre-existing relation between the 'owner' of the running agent's process and the owner of the platform on which the agent process runs. When there are conflicts the position of the owner is not clear: is he allowed to slowdown the process or even remove it from the system? And how can the interests of the owner of the agent be protected? This paper explores the legal and technical perspectives to protecting the integrity of agent processes.}, } @INPROCEEDINGS {Richards.ea:03*1, title = {The Adaptation of Agent Configurations using Web Services as Components}, author = {Richards, D. and van Splunter, S. and Brazier, F. M. T. and Sabou, M. }, booktitle = {The Proceedings of The 8th Australian and New Zealand Intelligent Information Systems Conference (ANZIIS2003), Macquarie University, Sydney, Australia}, year = {2003}, month = {December}, pages = {339--344}, address = {Macquarie University, Sydney, Australia}, } @MASTERSTHESIS {Assem:03, title = {Generative Agent Migration: Exploring Automated Assembly of Agents}, author = {van Assem, M. F. J. }, year = {2003}, month = {September}, school = {IIDS Group, Faculty of Sciences, Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisor: prof.dr. F.M.T. Brazier, Referee: prof.dr. J.C. van Vliet, Advisors: drs. S. van Splunter & dr. N.J.E. Wijngaards}, } @INPROCEEDINGS {Richards.ea:03*2, title = {Demonstration of Web Services Configuration}, author = {Richards, D. and van Splunter, S. and Brazier, F. M. T. and Sabou, M. }, editor = {Heskes, T. }, booktitle = {Proceedings of the Fifthteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003)}, year = {2003}, month = {October}, pages = {461--462}, } @INPROCEEDINGS {Richards.ea:03*3, title = {Artificial Intelligence: A Promised Land for Web Services}, author = {Richards, D. and Sabou, M. and van Splunter, S. and Brazier, F. M. T. }, booktitle = {The Proceedings of The 8th Australian and New Zealand Intelligent Information Systems Conference (ANZIIS2003), Macquarie University, Sydney, Australia}, year = {2003}, month = {December}, pages = {205--210}, address = {Macquarie University, Sydney, Australia}, } @TECHREPORT {Brazier.ea:03*3, title = {ALIAS: Analysing Legal Implications and Agent Information Systems}, author = {Brazier, F. M. T. and Oskamp, A. and Prins, J. E. J. and Schellekens, M. H. M. and Schreuders, E. and Wijngaards, N. J. E. and Apistola, M. and Voulon, M. B. and Kubbe, O. }, year = {2003}, month = {July}, number = {IR-CS-004}, institution = {Faculty of Sciences, Vrije Universiteit Amsterdam}, note = {Technical Report}, } @MISC {Wijngaards:03, title = {Are You in Control of Your Own Computer?}, author = {Wijngaards, N. J. E. }, journal = {Distributed Systems Online (DS-online)}, year = {2003}, month = {December}, volume = {4}, number = {12}, howpublished = {Distributed Systems Online (DS-online)}, note = {First column in `Distributed' Wisdom department}, } @PHDTHESIS {Marin:03, title = {The DARX Framework: Adaptive Fault Tolerance for Agent Systems}, author = {Marin, O. }, year = {2003}, month = {December}, school = {Universite du Havre}, note = {PhD thesis}, } @ARTICLE {Herlea.ea:02, title = {A Compositional Knowledge Level Process Model of Requirements Engineering}, author = {Herlea, D. E. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, journal = {International Journal of Software Engineering and Knowledge Engineering}, year = {2002}, volume = {12}, number = {1}, pages = {41--75}, abstract = {In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledge-level modelling techniques, resulting in a well-specified compositional process model for the Requirements Engineering task. This process model is considered to be a generic process model: it can be refined (by instantiation or specialisation) into a process model for a specific kind of Requirements Engineering process.}, } @ARTICLE {Brazier.ea:02, title = {Dynamics and Control in Component-Based Agent Models}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. }, journal = {International Journal of Intelligent Systems}, year = {2002}, volume = {17}, number = {11}, pages = {1007--1047}, } @ARTICLE {Wijngaards.ea:02, title = {Supporting Internet-Scale Multi-Agent Systems}, author = {Wijngaards, N. J. E. and Overeinder, B. J. and van Steen, M. and Brazier, F. M. T. }, journal = {Data and Knowledge Engineering}, year = {2002}, month = {June}, volume = {41}, number = {2-3}, pages = {229--245}, abstract = {The Internet provides a large-scale environment for (intelligent) software agents. Agents are autonomous (mobile) processes, capable of communication with other agents, interaction with the world, and adaptation to changes in their environment. Current approaches to support agents are not geared for large-scale settings. The near future holds thousands of agents, hosts, messages, and migratory movements of agents. These large-scale aspects require a new approach to facilitate the development of agent applications and support. AgentScape is a scalable agent-based distributed system described in this paper that aims at tackling these aspects.}, } @ARTICLE {Brazier.ea:02*1, title = {Principles of Component-Based Design of Intelligent Agents}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. }, journal = {Data and Knowledge Engineering}, year = {2002}, volume = {41}, pages = {1--28}, abstract = {Compositional multi-agent system design is a methodological perspective on multiagent system design based on the software engineering principles process and knowledge abstraction, compositionality, reuse, specification and verification. This paper addresses these principles from a generic perspective in the context of the compositional development method DESIRE. An overview is given of reusable generic models (design patterns) for different types of agents, problem solving methods and tasks, and reasoning patterns. Examples of supporting tools are described.}, publisher_url={http://www.elsevier.com/gej-ng/10/16/74/93/49/27/abstract.html}, } @ARTICLE {Brazier.ea:02*2, title = {Analysis of Multi-Interpretable Ecological Monitoring Information}, author = {Brazier, F. M. T. and Engelfriet, J. and Treur, J. }, journal = {Applied Artificial Intelligence Journal}, year = {2002}, volume = {16}, pages = {51--71}, abstract = {In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to an ecological domain. A knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of samples of plant species that are observed. The logical foundation of this system is described in terms of a belief set operator and a selection operator.}, } @ARTICLE {Brazier.ea:02*3, title = {A Multi-Agent System Performing One-to-Many Negotiation for Load Balancing of Electricity Use}, author = {Brazier, F. M. T. and Cornelissen, F. and Gustavsson, R. and Jonker, C. M. and Lindeberg, O. and Polak, B. and Treur, J. }, journal = {Electronic Commerce Research and Applications Journal}, year = {2002}, volume = {1}, pages = {208--224}, } @INPROCEEDINGS {Overeinder.ea:02, title = {Integrating Peer-to-Peer Networking and Computing in the AgentScape Framework}, author = {Overeinder, B. J. and Posthumus, E. and Brazier, F. M. T. }, booktitle = {Proceedings of the 2nd IEEE International Conference on Peer-to-Peer Computing}, year = {2002}, month = {September}, pages = {96--103}, address = {Link\"oping, Sweden}, } @INPROCEEDINGS {E.ea:02, title = {A Peer-to-Peer Agent Auction}, author = {Ogston, E. and Vassiliadis, S}, editor = {Castelfranchi, C. }, booktitle = {Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)}, year = {2002}, month = {July}, pages = {151--159}, publisher = {ACM Press}, abstract = {In this work we examine a peer-to-peer agent continuous double auction. We compare agents trading using peer-topeer communications with agents using the same trading strategy in an auction that makes use of a centralized auctioneer to disseminate information. We present simulation data for these two auctions running with 2,500 to 160,000 agents. We find that the peer-to-peer auction is able to display price convergence behavior similar to that of the centralized auction. Further, the data shows that the peerto-peer system has a constant cost in the number of message rounds needed to find the market equilibrium price as the number of traders is increased, in contrast to the linear cost incurred by the central auctioneer. Considering the above message costs, the peer-to-peer system outperformed the simple central auction by at least 100 times in our simulations. We further calculate that for a distributed hierarchical set of auctioneers, for which the message rounds cost of finding equilibrium are reduced to logarithmic in the number of traders, the peer-to-peer system will still produce better performance for systems with more than 5,000 traders.}, } @INPROCEEDINGS {Brazier.ea:02*4, title = {Agent Factory: Generative Migration of Mobile Agents in Heterogeneous Environments}, author = {Brazier, F. M. T. and Overeinder, B. J. and van Steen, M. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the 2002 ACM Symposium on Applied Computing (SAC 2002)}, year = {2002}, month = {March}, pages = {101--106}, address = {Madrid, Spain}, abstract = {In most of today s agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper an approach is presented with which heterogeneity is possible: agents can migrate between non-identical platforms, and need not be written in the same language. Instead of migrating the code (including data and state) of an agent, a blueprint of an agent s functionality is transferred. An agent factory generates new code on the basis of this blueprint. This approach of generative mobility not only has implications for interoperability but also for security, as discussed in this paper.}, } @INPROCEEDINGS {Brazier.ea:02*5, title = {Automated (Re-)Design of Software Agents}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Gero, J. S. }, booktitle = {Proceedings of the Artificial Intelligence in Design Conference (AID2002)}, year = {2002}, month = {July}, pages = {503--520}, publisher = {Kluwer Academic Publishers}, abstract = {Adaptive artefacts are able to recognise the need for adaptation, and adapt themselves accordingly. The design of adaptive software agents is described in this paper: an adaptive agent is capable or determining needs for adaptation, and an agent factory is capable of adapting an agent according to its needs for adaptation. A number of prototype adaptive agents and agent factories have been built to evaluate the feasibility of the concept.}, } @INPROCEEDINGS {Bertier.ea:02, title = {Implementation and Performance Evaluation of an Adaptable Failure Detector}, author = {Bertier, M. and Marin, O. and Sens, P. }, booktitle = {Proceedings of the International Conference on Dependable Systems and Networks (DSN'2002)}, year = {2002}, month = {May}, pages = {354--363}, } @INPROCEEDINGS {Overeinder.ea:02*1, title = {Multi-Agent Support for Internet-Scale Grid Management}, author = {Overeinder, B. J. and Wijngaards, N. J. E. and van Steen, M. and Brazier, F. M. T. }, editor = {Rana, O. and Schroeder, M. }, booktitle = {Proceedings of the AISB'02 Symposium on AI and Grid Computing}, year = {2002}, month = {April}, pages = {18--22}, address = {London, UK}, abstract = {Internet-scale computational grids are emerging from various research projects. Most notably are the US National Tech-nology Grid and the European Data Grid projects. One specific problem in realizing wide-area distributed computing environments as proposed in these projects, is effective management of the vast amount of resources that are made available within the grid environment. This paper proposes an agent-based approach to resource management in grid environments, and describes an agent infrastructure that could be integrated with the grid middleware layer. This agent infrastructure provides support for mobile agents that is scalable in the number of agents and the number of resources.}, } @INPROCEEDINGS {Brazier.ea:02*6, title = {Generative Migration of Agents}, author = {Brazier, F. M. T. and Overeinder, B. J. and van Steen, M. and Wijngaards, N. J. E. }, editor = {Alonso, E. and Kudenko, D. and Kazakov, D. }, booktitle = {Proceedings of the AISB'02 Symposium on Adaptive Agents and Multi-Agent Systems}, year = {2002}, month = {April}, pages = {116--119}, address = {London, UK}, abstract = {Agents, and in particular mobile agents, offer a means for application developers to build distributed applications. In current agent systems, mobility of agents is constrained by the environment of the agents: the agent platform (which supports agents) and the agent s code base (e.g., DESIRE, Java). Generative migration is needed to adapt an agent to conform to its destination agent platform and code base. In this paper generative migration is described as a process of transparently adapting an agent. An agent can continue to function at its new location on a completely different agent platform.}, } @INPROCEEDINGS {Apistola.ea:02, title = {Legal aspects of agent technology}, author = {Apistola, M. and Brazier, F. M. T. and Kubbe, O. and Oskamp, A. and Schellekens, M. H. M. and Voulon, M. B. }, booktitle = {Proceedings of 17th Bileta conference, Amsterdam}, year = {2002}, month = {March}, pages = {11}, note = {Proceedings can be found online: http://www.bileta.ac.uk/}, abstract = {Agent Technology is entering into the field of law. E-commerce is one area in which agent technology plays an important role. The legal implications regarding the use of agent technology are, however, not Always clear. The ALIAS project focuses on both the legal implications and the technical solutions which may be used to fulfill the legal conditions derived. Different fields of expertise are combined within the ALIAS project: Computer Science, Artificial Intelligence, and Law. The aim of this project is to provide a `cookbook' for developers of agent systems, and guidelines for both Legal-researchers and AI-researchers designing intelligent distributed agent systems. In this paper a distinction is made between open and closed systems on the Internet: the legal conditions of which differ especially with respect to the use of agent technology. Three example cases are described in which both (1) the legal implications of the use of agents in these contexts and (2) possible technical solutions for these conditions, are addressed. As the Internet does not stop at a country's border, the analysis of legal implications is not restricted to Dutch law, but also considers other legal systems. As the technical solutions proposed are generic, they are not always fully compliant with legal conditions. These aspects are also discussed in this paper.}, } @INPROCEEDINGS {Noordende.ea:02, title = {A Security Framework for a Mobile Agent System}, author = {van 't Noordende, G. and Brazier, F. M. T. and Tanenbaum, A. S. }, editor = {Fischer, Klaus and Hutter, Dieter}, booktitle = {Proceedings of the 2nd International Workshop on Security in Mobile Multiagent Systems (SEMAS 2002), associated with AAMAS-2002, Bologna, Italy}, series = {DFKI Research Report RR-02-03}, year = {2002}, month = {July}, pages = {43--50}, publisher = {Deutsches Forschungszentrum fur Kunstliche Intelligenz, http://www.dfki.de}, } @INPROCEEDINGS {Brazier.ea:02*7, title = {Designing Creativity}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the Learning and Creativity in Design workshop at AID'02}, year = {2002}, abstract = {Is it possible to design for creativity? This is one of the most important research questions in AI and Design. This paper raises the question whether automated software agent design can be creative. Not only is the artefact dynamic in the sense that it adapts to its environment, it is also autonomous: an agent decides on its own when to be modified and by whom. An agent s functionality may evolve beyond the expectations of its designers and/or users resulting in very new, unique artefacts. Is this type of design creative? Is the process creative? The result?}, } @INPROCEEDINGS {Brazier.ea:02*8, title = {Model-Based Development of Design Process Models}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. and Wijngaards, N. J. E. }, editor = {Clarkson, P. John and Eckert, Claudia. M. }, booktitle = {Notes AID '02 Workshop on Design Process Modelling}, year = {2002}, publisher = {Cambridge University}, address = {Cambridge}, abstract = {Not only do generic compositional models of design support the analysis of design processes and the development of practical design support systems, they also provide the basic structure for more specific design process models. The generic design model GDM provides a compositional structure that has been refined for different types of design as illustrated in this paper for a number of practical design applications. These new models have proven to be applicable in different domains.}, } @INPROCEEDINGS {Brazier.ea:02*9, title = {Supporting Life Cycle Coordination in Open Agent Systems}, author = {Brazier, F. M. T. and Mobach, D. G. A. and Overeinder, B. J. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the MAS Problem Spaces Workshop at AAMAS 2002}, year = {2002}, month = {May}, abstract = {Coordination mechanisms need the proper support if they are to function within large-scale, heterogeneous multi-agent systems. This paper presents a life cycle model for mobile agents in which a number of different states and transitions are defined. An agent's state can be used to provide coordination mechanisms with useful status information, enabling these mechanisms to deal with realistic situations, in which agents are not always directly available, and the agent population possibly consists of many different types of agents}, } @INPROCEEDINGS {Brazier.ea:02*10, title = {Are Law-Abiding Agents Realistic?}, author = {Brazier, F. M. T. and Kubbe, O. and Oskamp, A. and Wijngaards, N. J. E. }, editor = {Sartor, G. and Cevenini, C. }, booktitle = {Proceedings of the workshop on the Law of Electronic Agents (LEA02)}, year = {2002}, month = {July}, pages = {151--155}, abstract = {Software agents are an inherent extension to the current Internet. They are, however, without a legal status. They autonomously roam the Internet, perform transactions, and gather information. The legal implications of their actions are, however, not well understood. This paper presents some of the issues involved, viewed from the perspective of Artificial Intelligence, Computer Systems and Law.}, } @INPROCEEDINGS {Brazier.ea:02*11, title = {The Role of Trust in Automated Distributed Design}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Gero, J. S. and Brazier, F. M. T. }, booktitle = {Proceedings of the Workshop on Agents in Design (WAID)}, year = {2002}, month = {August}, pages = {71--84}, publisher = {Key Centre of Design Computing and Cognition, University of Sydney, Australia}, } @INPROCEEDINGS {Brazier.ea:02*12, title = {The Role of Trust in Automated Distributed Design}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Brazier, F. M. T. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the Workshop on Intelligent Agents in Design, held at the Artificial Intelligence in Design conference (AID-02)}, year = {2002}, pages = {17--22}, note = {See the WAID02 paper for an extended version.}, } @INPROCEEDINGS {Noordende.ea:02*1, title = {Mansion: A Structured Middleware Environment for Agents}, author = {van 't Noordende, G. and Brazier, F. M. T. and Tanenbaum, A. S. }, booktitle = {Proceedings of the 3rd International SANE Conference (SANE 2002)}, year = {2002}, month = {May}, pages = {405--406}, publisher = {NLUUG}, address = {Maastricht, The Netherlands}, } @INPROCEEDINGS {Brazier.ea:02*13, title = {AgentScape: Middleware, Resource Management, and Services}, author = {Brazier, F. M. T. and Mobach, D. G. A. and Overeinder, B. J. and van Splunter, S. and van Steen, M. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the 3rd International SANE Conference (SANE 2002)}, year = {2002}, month = {May}, pages = {403--404}, address = {Maastricht, The Netherlands}, abstract = {The AgentScape project is geared to support largescale distributed systems at three levels: middleware, services, and applications. This extended abstract presents the basic AgentScape architecture, resource management, and one specific service for code mobility in more detail.}, } @INPROCEEDINGS {Brazier.ea:02*14, title = {Knowledge-Based Design and Evolutionary Design: Adversaries or Compatriots?}, author = {Brazier, F. M. T. and van Splunter, S. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the Intelligent Agents in Design Workshop at AID'02}, year = {2002}, month = {July}, pages = {35--38}, } @MISC {Brazier.ea:02*15, title = {Agents: Nomads, Migrants or Globetrotters?}, author = {Brazier, F. M. T. and Oskamp, A. }, year = {2002}, month = {April}, howpublished = {Invited talk at BILETA-2002}, note = {Invited talk at BILETA-2002}, } @INPROCEEDINGS {Apistola.ea:02*1, title = {Migrating agents: Do sysadmins have a license to kill?}, author = {Apistola, M. and Brazier, F. M. T. and Kubbe, O. and Oskamp, A. and Prins, J. E. J. and Schellekens, M. H. M. and Voulon, M. B. }, booktitle = {Proceedings of the 3rd International SANE Conference (SANE 2002)}, year = {2002}, month = {May}, address = {Maastricht, The Netherlands}, abstract = {A mobile agent is a process that can autonomously decide to move from one machine to another across the Internet. Migrating entails serialising code, data and state into an agent image, acquiring permission to move, `shipping' its image to another machine, and requesting activation on the new host. Each local network may have a specific policy with respect to the agents it is willing to accept and activate, and under which conditions. This paper is based on results of the ALIAS research project1 in which legal experts, computer scientists and AI experts aim to increase the understanding of the legal and technical implications of the use of mobile software agents A number of legal and technical issues concerning the implications of hosting mobile, possibly hostile agents are addressed.}, publisher_url={http://www.nluug.nl/events/sane2002/}, } @INPROCEEDINGS {Brazier.ea:02*16, title = {AgentScape Demonstration}, author = {Brazier, F. M. T. and Mobach, D. G. A. and Overeinder, B. J. and Posthumus, E. and van Splunter, S. and van Steen, M. and Wijngaards, N. J. E. }, editor = {Blockeel, H. and Denecker, M. }, booktitle = {Proceedings of the Fourteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2002)}, year = {2002}, month = {October}, pages = {513--514}, } @INPROCEEDINGS {Brazier.ea:02*17, title = {Generative Migration of Agents}, author = {Brazier, F. M. T. and Overeinder, B. J. and van Steen, M. and Wijngaards, N. J. E. }, editor = {Blockeel, H. }, booktitle = {Proceedings of the Fourteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2002)}, year = {2002}, month = {October}, pages = {409--410}, note = {Extended abstract of AISB02 paper on Generative Migration.}, abstract = {Agents, and in particular mobile agents, offer a means for application developers to build distributed applications. Given homogeneity of agent platform and code base, agent migration is possible. However, many agent platforms exist, differing substantially in the support for agents. Write once - run everywhere is not yet true for agents... Heterogeneity of agent platforms, combined with heterogeneity in code-bases of agents, leads to an interesting question concerning agent mobility: can an agent migrate in a heterogeneous environment? The answer is relatively simple: an agent needs to be adapted to its destination agent platform and code-base, e.g. by an agent factory.}, } @INPROCEEDINGS {Wijngaards.ea:02*1, title = {Supporting Internet-Scale Multi-Agent Systems}, author = {Wijngaards, N. J. E. and Overeinder, B. J. and van Steen, M. and Brazier, F. M. T. }, editor = {Blockeel, H. }, booktitle = {Proceedings of the Fourteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2002)}, year = {2002}, month = {October}, pages = {501--502}, note = {Extended abstract from DKE2002 `Supporting Internet-Scale Multi-Agent Systems'.}, abstract = {Although current research on agent systems focuses on relatively small-scale agent systems, soon vast numbers of agents will be deployed in large-scale agent systems, e.g. on the Internet. Large-scale agent systems need to be extensible, heterogenous, interoperable, and scalable. Scalability entails systems to scale (in terms of the number of agents and available resources) almost immediately without noticeable loss of performance, or considerable increase in administrative complexity [1].}, } @INPROCEEDINGS {Apistola.ea:02*2, title = {Legal aspects of agent technology}, author = {Apistola, M. and Brazier, F. M. T. and Kubbe, O. and Oskamp, A. and Schellekens, M. H. M. and Voulon, M. B. }, editor = {Blockeel, H. and Denecker, M. }, booktitle = {Proceedings of The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC2002)}, year = {2002}, pages = {399--400}, publisher_url={http://www.cs.kuleuven.ac.be/conference/bnaic02/}, } @INPROCEEDINGS {Overeinder.ea:02*2, title = {Self-Organized Criticality in Optimistic Simulation of Correlated Systems}, author = {Overeinder, B. J. and Schoneveld, A. and Sloot, P. M. A. }, editor = {Tropper, Carl}, booktitle = {Parallel and Distributed Discrete Event Simulation}, year = {2002}, pages = {79--97}, publisher = {Nova Science Publishers}, address = {New York}, } @INPROCEEDINGS {Brazier:02, title = {Distributed Shared Agent Representations}, author = {Brazier, F. M. T. and van Steen, M. and Wijngaards, N. J. E. }, editor = {Marik, V. and Stepankova, O. and Krautwurmova, H. and Luck, M. }, booktitle = {Multi-Agent-Systems and Applications II}, series = {Lecture Notes in Computer Science}, year = {2002}, month = {July}, volume = {2322}, pages = {213--220}, publisher = {Springer Verlag}, note = {9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers.}, abstract = {The external representation of an agent is (part of) the embodiment of an agent: other agents may observe this information. The public representation of an agent usually contains at least the identity of an agent, and may include profiles of the agent, profiles of the user of an agent, an avatar, etc. In large-scale agent systems, scalability is an important issue. Replication is a scaling technique for distributing information over a number of locations. Replication of the external representation of an agent results in distributed shared agent representations. This paper addresses a number of issues involved in the realisation of such distributed shared agent representations, and brie y discusses middleware that is being devised to support such developments.}, } @PROCEEDINGS {Gero.ea:02, title = {Agents in Design}, editor = {Gero, J. S. and Brazier, F. M. T. }, year = {2002}, month = {August}, publisher = {Key Centre of Design Computing and Cognition, University of Sydney, Australia}, } @ARTICLE {Sloot.ea:01, title = {Self-Organized Criticallity in Simulated Correlated Systems}, author = {Sloot, P. M. A. and Overeinder, B. J. and Schoneveld, A. }, journal = {Computer Physics Communications}, year = {2001}, month = {December}, volume = {142}, number = {1-3}, pages = {76--81}, } @ARTICLE {Brazier.ea:01, title = {Automated Servicing of Agents}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, journal = {AISB Journal}, year = {2001}, month = {December}, volume = {1}, number = {1}, pages = {5--20}, note = {Special Issue on Agent Technology}, abstract = {Agents need to be able to adapt to changes in their environment. One way to achieve this, is to service agents when needed. A separate servicing facility, an agent factory, is capable of automatically modifying agents. This paper discusses the feasibility of automated servicing.}, } @ARTICLE {Brazier.ea:01*1, title = {Deliberative Evolution in Multi-Agent Systems}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, journal = {International Journal of Software Engineering and Knowledge Engineering}, year = {2001}, volume = {11}, number = {5}, pages = {559--581}, abstract = {Evolution of automated systems, in particular evolution of automated agents based on agent deliberation, is the topic of this paper. Evolution is not a merely material process, it requires interaction within and between individuals, their environments and societies of agents. An architecture for an individual agent capable of (1) deliberation about the creation of new agents, and (2) (run-time) creation of a new agent on the basis of this, is presented. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both design structures of agents and (behavioural) properties of agents. The process of deliberation is based on an existing generic reasoning model of design. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation.}, } @ARTICLE {Brazier.ea:01*2, title = {Compositional Design of a Generic Design Agent}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, journal = {Design Studies journal}, year = {2001}, volume = {22}, number = {5}, pages = {439--471}, abstract = {This paper presents a generic architecture for a design agent, to be used in an Internet environment. The design agent is based on an existing generic agent model, and includes a refinement of a generic model for design, in which strategic reasoning and dynamic management of requirements are explicitly modelled. The generic architecture has been designed using the compositional development method DESIRE, and has been used to develop a prototype design agent for automated agent design.}, } @ARTICLE {Brazier.ea:01*3, title = {Knowledge level model of an individual designer agent in collaborative distributed design}, author = {Brazier, F. M. T. and Moshkina, L. V. and Wijngaards, N. J. E. }, journal = {Journal of Artificial Intelligence in Engineering}, year = {2001}, volume = {15}, number = {2}, pages = {137--152}, note = {http://www.elsevier.com/locate/aieng}, abstract = {In this paper a knowledge-level model of an individual designer as an agent is described, in which reflective reasoning about elements of situatedness, and reasoning from the point of view of other participants, are explicitly modelled. This model is based on existing models of single agent design. An individual designer in a specific distributed design process, namely website design, is used to illustrate the model.}, } @ARTICLE {Overeinder.ea:01, title = {Self-Organized Criticality in Optimistic Simulation of Correlated Systems}, author = {Overeinder, B. J. and Schoneveld, A. and Sloot, P. M. A. }, journal = {Parallel and Distributed Computing Practices}, year = {2001}, month = {March}, volume = {4}, number = {1}, pages = {61--75}, } @ARTICLE {Brazier.ea:01*4, title = {Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation}, author = {Brazier, F. M. T. and van Eck, P. A. T. and Treur, J. }, journal = {Journal of Applied Intelligence}, year = {2001}, volume = {14}, pages = {161--178}, abstract = {In this paper, the compositional multi-agent modelling framework DESIRE is not only successfully used to develop a conceptual specification of the simple agents discussed in (Cesta et al. 1996), but also to simulate the behaviour in a dynamic environment. In the DESIRE framework, a conceptual specification, which provides a high-level view of an agent, has enough detail for automatic prototype generation. The prototype implementation of the conceptual specification of the simple agents has been used to replicate and extend one of the experiments reported in (Cesta et al. 1996).}, } @INBOOK {Brazier.ea:01*5, title = {Deliberate Evolution in Multi-Agent Systems}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Gabbay, D. and Smets, Ph. }, booktitle = {Dynamics and Management of Reasoning Processes}, series = {Series in Defeasible Reasoning and Uncertainty Management System}, year = {2001}, volume = {6}, pages = {363--380}, publisher = {Kluwer Academic Publishers}, abstract = {Evolution of automated systems, in particular evolution of automated agents based on agent deliberation, is the topic of this paper. Evolution is not a merely material process, it requires interaction within and between individuals, their environments and societies of agents. An architecture for an individual agent capable of (1) deliberation about the creation of new agents, and (2) (run-time) creation of a new agent on the basis of this, is presented. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both design structures of agents and (behavioural) properties of agents. The process of deliberation is based on an existing generic reasoning model of design. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation.}, } @INPROCEEDINGS {Brazier.ea:01*6, title = {Strategies for integrating multiple viewpoints and levels of detail}, author = {Brazier, F. M. T. and van Splunter, S. and Wijngaards, N. J. E. }, editor = {Gero, J. S. }, booktitle = {Strategic Knowledge and Concept Formation III}, year = {2001}, month = {December}, pages = {103--128}, publisher = {Key Centre of Design, Computing and Cognition, University of Sydney}, abstract = {Automated design requires explicit representation of strategic knowledge. This paper focuses on strategic knowledge needed to reason with and about viewpoints during the design of a software agent. Reasoning with and about viewpoints entails not only deciding which viewpoint to consider when and in which context, but also at which level of detail. In this paper an information retrieval agent is used to illustrate how these types of knowledge can be used to design software agents.}, } @INPROCEEDINGS {Brazier.ea:01*7, title = {Designing Self-Modifying Agents}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Gero, J. S. }, booktitle = {Computational and Cognitive Models of Creative Design V}, year = {2001}, month = {December}, pages = {93--112}, publisher = {Key Centre of Design Computing and Cognition, University of Sydney}, abstract = {Agents need to be able to adapt to changes in their environment. One way to achieve this, is to provide agents with the ability of self-modification. Self-modification requires reflection and strategies with which new knowledge can be acquired, a necessary condition for creativity. This paper describes a knowledge-level model for the design of self-modifying agents and explores the feasibility of automatically designing self-modifying agents.}, } @INPROCEEDINGS {Brazier.ea:01*8, title = {On MAS Scalability}, author = {Brazier, F. M. T. and van Steen, M. and Wijngaards, N. J. E. }, editor = {Wagner, T. and Rana, O. }, booktitle = {Proceedings of Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS}, year = {2001}, month = {May}, pages = {121--126}, publisher = {University of Montreal}, abstract = {In open dynamic multi-agent environments the number of agents can vary signi cantly within very short periods of time. Very few (if any) current multi-agent systems have, however, been designed to cope with large-scale distributed applications. Scalability requires increasing numbers of new agents and resources to have no noticeable effect on performance nor to increase administrative complexity. In this paper a number of implications for techniques and management are discussed. Current research on agent middleware is briefly described.}, } @INPROCEEDINGS {Oskamp.ea:01, title = {Intelligent agents for lawyers}, author = {Oskamp, A. and Brazier, F. M. T. }, booktitle = {Proceedings of the Workshop Legal Knowledge Systems in Action: Practical AI in Today's Law Offices}, year = {2001}, pages = {5}, address = {St. Louis, MO.}, } @INPROCEEDINGS {Brazier.ea:01*9, title = {Automated servicing of agents}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Kudenko, D. }, booktitle = {Proceedings of the AISB-01 Symposium on Adaptive Agents and Multi-agent systems, at the Agents and Cognition AISB-01 conference}, year = {2001}, month = {March}, pages = {54--64}, publisher = {The society for the study of artificial intelligence and the simulation of behaviour}, abstract = {Agents need to be able to adapt to changes in their environment. One way to achieve this, is to service agents when needed. A separate servicing facility, a multi-agent factory, is capable of automatically modifying agents. This paper discusses the feasibility of automated servicing.}, isn={1.902956.17.0}, } @INPROCEEDINGS {Overeinder.ea:01*1, title = {Spatio-Temporal Correlations and Rollback Distributions in Optimistic Simulations}, author = {Overeinder, B. J. and Schoneveld, A. and Sloot, P. M. A. }, booktitle = {Proceedings of the 15th Workshop on Parallel and Distributed Simulation}, year = {2001}, month = {May}, pages = {145--152}, address = {Lake Arrowhead, CA}, } @INPROCEEDINGS {Marin.ea:01, title = {Towards Adaptive Fault-Tolerance For Distributed Multi-Agent Systems}, author = {Marin, O. and Sens, P. and Briot, J. -P. and Guessoum, Z. }, booktitle = {Proceedings of the 3rd. European Research Seminar on Advanced Distributed Systems (ERSADS'2001)}, year = {2001}, month = {May}, pages = {195--201}, } @INBOOK {Overeinder:01, title = {Grid-gebaseerd rekenen: Van veldwerk naar computer experiment}, author = {Overeinder, B. J. }, editor = {Bloemen, M. }, booktitle = {Kennisdisseminatie}, year = {2001}, pages = {60--62}, publisher = {Alterra, Wageningen-UR}, address = {Wageningen, The Netherlands}, } @INPROCEEDINGS {Overeinder.ea:01*2, title = {Spatio-Temporal Correlations and Rollback Distributions in Optimistic Simulations}, author = {Overeinder, B. J. and Schoneveld, A. and Sloot, P. M. A. }, editor = {Lagendijk, R. L. and Heijnsdijk, J. W. J. and Pimentel, A. D. and Wilkinson, M. H. F. }, booktitle = {Proceedings of the 7th Annual Conference of the Advanced School for Computing and Imaging}, year = {2001}, month = {May}, pages = {391--398}, isn={90-803086-6-8}, } @INBOOK {Sloot.ea:01*1, title = {Distributed Cellular Automata: Large Scale Simulation of Natural Phenomena}, author = {Sloot, P. M. A. and Kaandorp, J. A. and Hoekstra, A. G. and Overeinder, B. J. }, editor = {Zomaya, A. and Ercal, F. and Olariu, S. }, booktitle = {Solutions to Parallel and Distributed Computing Problems: Lessons from Biological Sciences}, series = {Wiley Series on Parallel and Distributed Computing}, year = {2001}, pages = {1--46}, publisher = {Wiley}, address = {New York}, } @INBOOK {Brazier.ea:01*10, title = {Modelling Internal Dynamic Behaviour of BDI Agents}, author = {Brazier, F. M. T. and Dunin-Keplicz, B. M. and Treur, J. and Verbrugge, R. }, editor = {Gabbay, D. and Smets, Ph. }, booktitle = {Dynamics and Management of Reasoning Processes}, series = {Series in Defeasible Reasoning and Uncertainty Management System}, year = {2001}, volume = {6}, pages = {339--361}, publisher = {Kluwer Academic Publishers}, abstract = {A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE.}, } @INPROCEEDINGS {Brazier.ea:01*11, title = {Distributed Shared Agent Representations}, author = {Brazier, F. M. T. and van Steen, M. and Wijngaards, N. J. E. }, editor = {Krose, B. and de Rijke, M. and Schreiber, A. Th. and van Someren, M. }, booktitle = {Proceedings of the 13th Dutch-Belgian AI Conference}, year = {2001}, pages = {77}, note = {Extended abstract of AEMAS2001 publication}, } @MASTERSTHESIS {Boonstra:01, title = {Templates for Agents}, author = {Boonstra, H. M. }, year = {2001}, month = {December}, school = {Vrije Universiteit Amsterdam}, note = {Supervisors: prof.dr. F.M.T. Brazier & dr. N.J.E. Wijngaards Referee: prof.dr. M. van Steen}, } @MASTERSTHESIS {Cristo:01, title = {Community Building and Multi-Agent Systems:}, author = {Cristo, D. }, year = {2001}, month = {August}, school = {Vrije Universiteit Amsterdam}, note = {Supervisors: dr. N.J.E. Wijngaards & prof.dr. F.M.T. Brazier Referee: dr. B.J. Overeinder}, } @MASTERSTHESIS {Mobach:01, title = {An Agent (re-)configuration model using templates for agent design}, author = {Mobach, D. G. A. }, year = {2001}, month = {January}, school = {Vrije Universiteit Amsterdam}, note = {Supervisors: prof.dr. F.M.T. Brazier & N.J.E. Wijngaards Referee: prof.dr. M. van Steen}, } @MASTERSTHESIS {Splunter:01, title = {Strategic Automated Agent Design}, author = {van Splunter, S. }, year = {2001}, month = {December}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisors: dr. N.J.E. Wijngaards & prof.dr. F.M.T. Brazier Referee: dr. B.J. Overeinder}, } @MASTERSTHESIS {Vries:01, title = {Trading Agents & Strategies}, author = {de Vries, W. H. R. }, year = {2001}, month = {August}, school = {Vrije Universiteit Amsterdam}, note = {Supervisors: prof.dr. F.M.T. Brazier & dr. N.J.E. Wijngaards Referee: dr. B.J. Overeinder}, } @ARTICLE {Brazier.ea:00, title = {Compositional Design and Reuse of a Generic Agent Model}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. }, journal = {Applied Artificial Intelligence Journal}, year = {2000}, volume = {14}, number = {5}, pages = {491--538}, abstract = {This paper introduces a formally specified design of a compositional generic agent model (GAM). This agent model abstracts from specific application domains; it provides a unified formal definition of a model for weak agenthood. It can be (re)used as a template or pattern for a large variety of agent types and application domain types. The model was designed on the basis of experiences in a number of application domains. The compositional development method DESIRE was used to design the agent model GAM at a conceptual and logical level. It serves as a unified, precisely defined coneptual structure which can be refined by specialisation and instantiation to a large variety of other, more specific agents. To illustrate reuse of this agent model, specialisation and instantiation to model co operative information gathering agents is described in depth. Moreover, it is shown how GAM can be used to describe in a unified and hence more comparable manner a large number of agent architectures from the literature.}, } @ARTICLE {Brazier.ea:00*1, title = {Compositional Specification of a Reusable Co-operative Agent Model}, author = {Brazier, F. M. T. and Cornelissen, F. and Jonker, C. M. and Treur, J. }, journal = {International Journal of Cooperative Information Systems}, year = {2000}, volume = {9}, pages = {171--207}, abstract = {In this paper one of the informally described models of agent co-operation (Jennings, 1995) has been used to develop and formally specify a generic model of a co-operative agent (GCAM). The compositional development method for multi-agent systems DESIRE supported the principled design of this model of cooperation. To illustrate reusability of the generic model, two application domains have been addressed: collaborative engineering design, and Call Center support.}, } @ARTICLE {Brazier.ea:00*2, title = {On the use of shared task models in knowledge acquisition, strategic user interaction and clarification agents}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, journal = {International journal of human-computer studies}, year = {2000}, month = {January}, volume = {52}, number = {1}, pages = {77--110}, abstract = {In this paper three different roles of a shared task model as an intermediate representation of a task are presented and illustrated by applications developed in cooperation with industry. First the role of a shared task model in knowledge acquisition is discussed. In one of the two applications, decision support in the domain of soil sanitation, one of the existing generic task models for diagnostic reasoning provided a means to structure knowledge acquisition. In the second application, diagnosis of chemical processes, the acquisition process resulted in a shared task model for diagnostic reasoning on Nylon-6 production. Secondly, the role of a shared task model in designing user interaction is addressed. Three levels of interaction are considered of importance: interaction at the object level, at the level of strategic preferences, and at the level of task modification. In an application in the domain of environmental decision making, this led to the design of a user interface based on the acquired shared task model, within which all three levels of interaction were available to users. Finally, the role of shared task models within a multi-agent system including a clarification agent is addressed. Two software agents were designed that each share a task model with the user: one for a diagnosis task, and one for a clarification task. The shared model of the clarification task reflects the shared task model of diagnosis; clarification includes clarification of the overall diagnostic reasoning process. The multi-agent architecture presented has been developed to support a user both at the level of the diagnostic task he or she is performing and at the level of clarification. The architecture has been applied to diagnosis of chemical processes.}, } @ARTICLE {Bal.ea:00, title = {The Distributed ASCI supercomputer project}, author = {Bal, H. E. and Bhoedjang, R. A. F. and Hofman, R. F. H. and Jacobs, C. J. H. and Kielmann, T. and Maassen, J. and van Nieuwpoort, R. and Romein, J. and Renambot, L. and Ruhl, T. and Veldema, R. and Verstoep, K. and Baggio, A. and Ballintijn, G. and Kuz, I. and Pierre, G. and van Steen, M. and Tanenbaum, A. S. and Doornbos, G. and Germans, D. and Spoelder, H. and Baerends, E. -J. and van Gisbergen, S. and Afsarmanesh, H. and van Albada, G. D. and Belloum, A. S. Z. and Dubbeldam, D. and Hendrikse, Z. W. and Hertzberger, L. O. and Hoekstra, A. G. and Iskra, K. A. and Kandhai, B. D. and Koelma, D. C. and van der Linden, F. and Overeinder, B. J. and Sloot, P. M. A. and Spinnato, P. F. and Epema, D. H. J. and van Gemund, A. and Jonker, P. P. and Radulescu, A. and van Reeuwijk, C. and Sips, H. J. and Knijnenburg, P. M. W. and Lew, M. and F.Sluite, and Wolters, L. and Blom, H. and van der Steen, A. }, journal = {Operating Systems Review}, year = {2000}, month = {October}, volume = {34}, number = {4}, pages = {76--96}, note = {Association for Computing Machinery, Special Interest Group on Operating Systems}, } @ARTICLE {Iskra.ea:00, title = {The Implementation of Dynamite: An Environment for Migrating PVM Tasks}, author = {Iskra, K. A. and van der Linden, F. and Hendrikse, Z. W. and Overeinder, B. J. and van Albada, G. D. and Sloot, P. M. A. }, journal = {Operating Systems Review}, year = {2000}, month = {July}, volume = {34}, number = {3}, pages = {40--55}, note = {Association for Computing Machinery, Special Interest Group on Operating Systems}, } @INCOLLECTION {Brazier.ea:00*3, title = {Managing Conflicts in Reflective Agents}, author = {Brazier, F. M. T. and Treur, J. }, editor = {Dieng, R. and Mueller, H. -J. }, booktitle = {Computational Conflicts: Conflict Modeling as a Primary Design Technique for Distributed Systems}, series = {Lecture Notes in AI}, year = {2000}, pages = {63--81}, publisher = {Springer Verlag}, abstract = {This chapter addresses management of conflicts in an agent by means of reflective reasoning. A structure for reflective agents is proposed within which reasoning about observation, assumption making and communication; an agent's own information state and reasoning processes; other agents' information states and reasoning processes, and combinations of these types of reflective reasoning are explicitly modelled. The types of knowledge needed to detect, analyse and resolve conflicts that arise by meta-reasoning within the agent are discussed. The knowledge and interaction between agents required to model the wise men's puzzle is used to illustrate the approach.}, } @INPROCEEDINGS {Brazier.ea:00*4, title = {Deliberate Evolution in Multi-Agent Systems}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Gero, J. S. }, booktitle = {Proceedings of the Sixth International Conference on AI in Design, AID'2000}, year = {2000}, month = {June}, pages = {633--650}, publisher = {Kluwer Academic Publishers}, abstract = {This paper presents an architecture for an agent capable of deliberation about the creation of new agents, and of actually creating a new agent in the multi-agent system, on the basis of this deliberation. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both design structures of agents and (behavioural) properties of agents that can be used as requirements. The process of deliberation is modelled as a design process, based on an existing generic design model. To actually create a new agent at run-time on the basis of the design results, the agent executes a creation action in the material world, which leads to a world state update to include the new agent, after which the new agent functions within the multi-agent system. This approach enables the design of evolution processes in societies of agents for which the evolution is not a merely material process which takes place in isolation from the mental worlds of the agents, but allows for interaction between mental and material processes. A combined mind-matter approach results in which the agents in a society can deliberatively influence the direction of the evolution, comparable to the potential offered by genetic engineering. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation.}, } @INPROCEEDINGS {Iskra.ea:00*1, title = {Experiments with Migration of PVM Tasks}, author = {Iskra, K. A. and Hendrikse, Z. W. and van Albada, G. D. and Overeinder, B. J. and Sloot, P. M. A. }, booktitle = {Proceedings of the ISThmus2000 Conference: Research and Development for the Information Society}, year = {2000}, pages = {295--304}, address = {Poznan, Poland}, isn={83-913639-0-2}, } @INPROCEEDINGS {Iskra.ea:00*2, title = {Performance Measurements on Dynamite/DPVM}, author = {Iskra, K. A. and Hendrikse, Z. W. and van Albada, G. D. and Overeinder, B. J. and Sloot, P. M. A. }, editor = {Dongarra, J. J. and Kacsuk, P. and Podhorszki, N. }, booktitle = {Recent Advances in PVM and MPI: Proceedings of the 7th European PVM/MPI User's Group Meeting}, series = {Lecture Notes in Computer Science}, year = {2000}, month = {September}, volume = {1908}, pages = {27--38}, publisher = {Springer Verlag, Berlin}, address = {Balatonf\"ured, Hungary}, } @INPROCEEDINGS {Iskra.ea:00*3, title = {Experiments with migration of message passing tasks}, author = {Iskra, K. A. and Hendrikse, Z. W. and van Albada, G. D. and Overeinder, B. J. and Sloot, P. M. A. and Gehring, J. }, editor = {Buyya, R. and Baker, M. }, booktitle = {Grid Computing -- GRID 2000: The First IEEE/ACM International Workshop}, series = {Lecture Notes in Computer Science}, year = {2000}, month = {December}, volume = {1971}, pages = {203--213}, publisher = {Springer Verlag, Berlin}, } @INPROCEEDINGS {Iskra.ea:00*4, title = {Dynamic Migration of PVM Tasks}, author = {Iskra, K. A. and Hendrikse, Z. W. and van Albada, G. D. and Overeinder, B. J. and Sloot, P. M. A. }, editor = {van Vliet, L. C. and Heijnsdijk, J. W. J. and Kielmann, T. and Knijnenburg, P. M. W. }, booktitle = {ASCI 2000, Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging}, year = {2000}, month = {June}, pages = {206--212}, isn={90-803086-5-x}, } @PHDTHESIS {Overeinder:00, title = {Distributed Event-driven Simulation - Scheduling Strategies and Resource Management}, author = {Overeinder, B. J. }, year = {2000}, month = {November}, school = {Department of Computer Science, University of Amsterdam}, address = {Amsterdam, The Netherlands}, note = {Promotor: Prof. Dr. P.M.A. Sloot, Co-promotor: Prof. Dr. M. Livny}, } @ARTICLE {Brazier.ea:99, title = {Temporal semantics of compositional task models and problem solving methods}, author = {Brazier, F. M. T. and Treur, J. and Wijngaards, N. J. E. and Willems, M. }, journal = {Data and Knowledge Engineering}, year = {1999}, volume = {29}, number = {1}, pages = {17--42}, publisher = {Elsevier}, abstract = {Task models and problem solving methods can be specified informally or formally. In recent years various approaches have formalized their notion of task model or problem solving method. Most modelling approaches concentrate on the form of a task model or problem solving method rather than on their precise semantics; a formalisation is often only a syntactical formalisation. A more precise definition of the semantics requires explication of the control of a system s behaviour. In this paper temporal semantics is defined for a compositional modelling approach to task models and problem solving methods. The semantics is a description of a compositional system s behaviour; a temporal approach provides a means to describe the dynamics involved. The formalisation of the semantics is based on compositional three-valued temporal models. The compositional structure of information states, transitions and reasoning traces provides a transparant model of the system s behaviour, both conceptually and formally.}, } @ARTICLE {Brazier.ea:99*1, title = {Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach}, author = {Brazier, F. M. T. and Jonker, C. M. and Jungen, F. J. and Treur, J. }, editor = {Nwana, H. S. and Ndumu, D. T. }, journal = {Applied Artificial Intelligence Journal}, year = {1999}, volume = {13}, pages = {65--90}, note = {Special Issue on Multi-Agent Systems}, abstract = {This paper describes a multi-agent system architecture to increase the value of 24 hour a day call centre service. This system supports call centres in making appointments with clients on the basis of knowledge of employees and their schedules. Relevant activities of employees are scheduled for employees in preparation of such appointments. The multi-agent system architecture is based on principled design, using the compositional development method for multi agent systems DESIRE. To schedule procedures in which more than one employee is involved, each employee is represented by its own personal assistant agent, and a work manager agent co-ordinates the schedules of the personal assistant agents, and clients through the call centre. The multi agent system architecture has been applied to the banking domain, in co-operation with and partially funded by the Rabobank.}, } @ARTICLE {Brazier.ea:99*2, title = {Compositional Modelling of Reflective Agents}, author = {Brazier, F. M. T. and Treur, J. }, journal = {International Journal of Human-Computer Studies}, year = {1999}, volume = {50}, pages = {407--431}, abstract = {In this paper a compositional model for reflective agents is proposed within which reasoning about observation, assumption making and communication; an agent s own information state and reasoning processes; other agents information states and reasoning processes, and combinations of these types of reflective reasoning are explicitly modelled. The types of knowledge needed to detect, analyse and resolve conflicts that arise by meta-reasoning within the agent are discussed. The knowledge and interaction between agents required to model the wise men s puzzle is used to illustrate the approach. The model has been validated using think-aloud protocols. An implementation has been made including a speech synthesis facility.}, publisher_url={http://www.idealibrary.com/links/doi/10.1006/ijhc.1999.0249}, } @INPROCEEDINGS {Herlea.ea:99, title = {A Formal Knowledge Level Process Model of Requirements Engineering}, author = {Herlea, D. E. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Imam, I. and Kodratoff, Y. and El-Dessouki, A. and Ali, M. }, booktitle = {Multiple approaches to intelligent systems Proceedings of the 12th International Conference on Industrial and EngineeringApplications of AI and Expert Systems, IEA/AIE'99}, series = {Lecture Notes in AI}, year = {1999}, volume = {1611}, pages = {869--878}, publisher = {Springer Verlag}, abstract = {In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledgelevel modelling techniques, resulting in a well-specified compositional process model for the Requirements Engineering task.}, } @INPROCEEDINGS {Jacobsen.ea:99, title = {The Comparative Evaluation of a Classroom and Distance Industrial Software Engineering Graduate Course}, author = {Jacobsen, M. D. and Wijngaards, N. J. E. and Kremer, R. C. and Shaw, M. and Gaines, B. R. }, booktitle = {Proceedings of the International Conference on Mathematics/Science Education & Technology M/SET-99, Session #1188}, year = {1999}, pages = {6}, publisher = {Association for the Advancement of Computing in Education}, abstract = {This paper describes the extent to which we achieved our original objectives with a distance-based learning model for a graduate course in software engineering. The approach taken to compare concurrent local and distance learning environments includes evaluations from three perspectives: 1) the teachers, 2) the learners, and 3) technical support. As a result of the current experiment, our next experiment will be focussed on a distance-only offering of a graduate course.}, } @INPROCEEDINGS {Jacobsen.ea:99*1, title = {The Learning Web: A Comparison of Learning Environments in Concurrent Classroom and Distance Education Sections of a Software Engineering Graduate Course}, author = {Jacobsen, M. D. and Wijngaards, N. J. E. and Kremer, R. C. and Shaw, M. }, booktitle = {World Conference on Educational Multimedia/Hypermedia & Educational Telecommunication}, year = {1999}, month = {June}, } @INPROCEEDINGS {Kremer.ea:99, title = {The Learning Web: The Instructor's Experience In Concurrent Classroom and Distance Education Sections of a Software Engineering Graduate Course}, author = {Kremer, R. C. and Jacobsen, M. D. and Wijngaards, N. J. E. and Shaw, M. }, booktitle = {World Conference on Educational Multimedia/Hypermedia & Educational Telecommunication}, year = {1999}, month = {June}, } @INPROCEEDINGS {Kremer.ea:99*1, title = {The Learning Web: A Technical Evaluation of WebCT in Concurrent Classroom and Distance Education Sections of a Software Engineering Graduate Course}, author = {Kremer, R. C. and Jacobsen, M. D. and Wijngaards, N. J. E. and Shaw, M. }, booktitle = {World Conference on Educational Multimedia/Hypermedia & Educational Telecommunication}, year = {1999}, month = {June}, } @INPROCEEDINGS {Albada.ea:99, title = {Dynamite---Blasting Obstacles to Parallel Cluster Computing}, author = {van Albada, G. D. and Clinckemaillie, J. and Emmen, A. H. L. and Gehring, J. and Heinz, O. and van der Linden, F. and Overeinder, B. J. and Reinefeld, A. and Sloot, P. M. A. }, editor = {Sloot, P. M. A. and Bubak, M. and Hoekstra, A. G. and Hertzberger, L. O. }, booktitle = {High-Performance Computing and Networking (HPCN Europe '99)}, series = {Lecture Notes in Computer Science}, year = {1999}, month = {April}, volume = {1593}, pages = {300--310}, publisher = {Springer-Verlag, Berlin}, isn={3-540-65821-1}, } @INPROCEEDINGS {Overeinder.ea:99, title = {Extensions to Time Warp Parallel Simulation for Spatial Decomposed Applications}, author = {Overeinder, B. J. and Sloot, P. M. A. }, editor = {Al-Dabass, D. and Cheng, R. }, booktitle = {Proceedings of the Fourth United Kingdom Simulation Society Conference (UKSim 99)}, year = {1999}, month = {April}, pages = {67--73}, address = {Cambridge, UK}, } @INPROCEEDINGS {Sloot.ea:99, title = {Time Warped Automata: Parallel Discrete Event Simulation of Asynchronous CA's}, author = {Sloot, P. M. A. and Overeinder, B. J. }, editor = {Wyrzykowski, R. and Mochnacki, B. and Piech, H. and Szopa, J. }, booktitle = {Proceedings of the Third International Conference on Parallel Processing and Applied Mathematics}, year = {1999}, month = {September}, pages = {43--62}, address = {Kazimierz Dolny, Poland}, isn={83-911994-0-1}, } @INPROCEEDINGS {Brazier.ea:99*3, title = {Deliberate Evolution in Multi-Agent Systems}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Etzioni, O. and Mueller, J. P. and Bradshaw, J. }, booktitle = {Proceedings of the Third Annual Conference on Autonomous Agents, Agents'99}, year = {1999}, pages = {356--357}, publisher = {ACM Press}, note = {Extended version: Report SEN-R9836, CWI, Amsterdam, 1998}, abstract = {This paper presents an architecture for an agent capable of deliberation about the creation of new agents, and of actually creating a new agent in the multi-agent system, on the basis of this deliberation. After its creation the new agent participates fully in the running multi-agent system. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both structures of agents and (behavioural) properties of agents that can be used as requirements. Moreover, to support the deliberation process the agent has explicit knowledge of refinement relations between properties and knowledge of relations between structure and properties of agents. To actually create a new agent at run-time on the basis of the results of deliberation, the agent executes a creation action in the material world, which leads to a world state update to include the new agent, after which the new agent functions within the multi-agent system. This approach enables the design of evolution processes in societies of agents for which the evolution is not a merely material process which takes place in isolation from the mental worlds of the agents, but allows for interaction between mental and material processes. A combined mind-matter approach results in which the agents in a society can deliberatively influence the direction of the evolution, comparable to the potential offered by genetic engineering. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation.}, } @INPROCEEDINGS {Herlea.ea:99*1, title = {Integration of Behavioural Requirements Specification within a Knowledge Engineering Methodology}, author = {Herlea, D. E. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Fensel, D. and Studer, R. }, booktitle = {Proceedings of the 11th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW'99}, series = {Lecture Notes in AI}, year = {1999}, volume = {1621}, pages = {173--190}, publisher = {Springer Verlag}, abstract = {It is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification.}, } @INPROCEEDINGS {Brazier.ea:99*4, title = {Modelling Internal Dynamic Behaviour of BDI agents}, author = {Brazier, F. M. T. and Dunin-Keplicz, B. M. and Treur, J. and Verbrugge, R. }, editor = {Meijer, J. J. and Schobbens, P. Y. }, booktitle = {Formal Models of Agents: ESPRIT project MogelAge final workshop}, series = {Lecture Notes in AI}, year = {1999}, volume = {1760}, pages = {36--56}, publisher = {Springer Verlag}, abstract = {A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE.}, } @INPROCEEDINGS {Sloot.ea:99*1, title = {Distributed Simulation with Cellular Automata: Architecture and Applications}, author = {Sloot, P. M. A. and Kaandorp, J. A. and Hoekstra, A. G. and Overeinder, B. J. }, editor = {Pavelka, J. and Tel, G. and Bartosek, M. }, booktitle = {SOFSEM'99 Theory and Practice of Informatics, Proceedings of 26th Seminar on Current Trends, in Theory and Practice of Informatics}, series = {Lecture Notes on Computer Science}, year = {1999}, month = {November}, volume = {1725}, pages = {203--249}, publisher = {Springer Verlag, Berlin}, isn={3-540-66694-X.}, } @INPROCEEDINGS {Flores.ea:99, title = {Primitive Interaction Protocols for Agents in a Dynamic Environment}, author = {Flores, R. A. and Wijngaards, N. J. E. }, editor = {Gaines, B. R. and Kremer, R. C. and Musen, M. A. }, booktitle = {Proceedings of the 12th Workshop on Knowledge Acquisition, Modelingand Management (KAW'99)}, year = {1999}, month = {October}, volume = {1}, pages = {3-2-1 - 3-}, } @INPROCEEDINGS {Herlea.ea:99*2, title = {Specification of Behavioural Requirements within Compositional Multi-Agent System Design}, author = {Herlea, D. E. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Garijo, F. and Boman, M. }, booktitle = {Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99}, series = {Lecture Notes in AI}, year = {1999}, volume = {1647}, pages = {8--27}, publisher = {Springer Verlag, Berlin}, abstract = {In this paper it is shown how informal and formal specification of behavioural requirements and scenarios for agents and multi-agent systems can be integrated within multi-agent system design. In particular, it is addressed how a compositional perspective both on design descriptions and specification of behavioural requirements can be exploited. The approach has been applied in a case study: the development of a mediating information agent. It is shown that compositional verification benefits from the integration of requirements engineering within the design process.}, } @PHDTHESIS {Wijngaards:99, title = {Re-design of compositional systems}, author = {Wijngaards, N. J. E. }, year = {1999}, month = {September}, school = {Vrije Universiteit}, note = {Promotor: Prof.dr. Jan Treur Co-promotor: dr. Frances Brazier}, isn={90-9012977-4}, } @INPROCEEDINGS {Overeinder.ea:99*1, title = {Extensions to Time Warp Parallel Simulation for Spatially Decomposed Applications}, author = {Overeinder, B. J. and Sloot, P. M. A. }, editor = {Boasson, M. and Kaandorp, J. A. and Tonino, J. F. M. and Vosselman, M. G. }, booktitle = {Proceedings of the Fifth Annual Conference of the Advanced School for Computing and Imaging}, year = {1999}, month = {June}, pages = {118--124}, address = {Heijen, The Netherlands}, } @ARTICLE {Aylett.ea:98, title = {Agent Systems and Applications}, author = {Aylett, R. and Brazier, F. M. T. and Jennings, N. R. and Luck, M. and Preist, C, and Nwana, H. S. }, journal = {The Knowledge Engineering Review}, year = {1998}, volume = {13}, number = {3}, pages = {303--308}, } @ARTICLE {Brazier.ea:98, title = {Strategic Knowledge in Design: a Compositional Approach}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. }, editor = {Hori, K. }, journal = {Knowledge-based Systems}, year = {1998}, volume = {11}, pages = {405--416}, note = {Special Issue on Strategic Knowledge and Concept Formation}, abstract = {In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at these levels. In this paper three levels of strategic interaction and strategic knowledge are identified within a compositional model of design. These levels are identified in reasoning about the manipulation of requirements and their qualifications, reasoning about the manipulation of design object descriptions and reasoning about design process co-ordination. Instances of strategic knowledge illustrate the different levels.}, } @ARTICLE {Halderen.ea:98, title = {Hierarchical Resource Management in the Polder Metacomputing Initiative}, author = {van Halderen, Berry A. W. and Overeinder, B. J. and Sloot, P. M. A. and van Dantzig, R. and Epema, D. H. J. and Livny, M. }, journal = {Parallel Computing}, year = {1998}, month = {November}, volume = {24}, number = {12/13}, pages = {1807--1825}, } @ARTICLE {Halderen.ea:98*1, title = {Fornax: Web-based Distributed Discrete Event Simulation in Java}, author = {van Halderen, Berry A. W. and Overeinder, B. J. }, journal = {Concurrency: Practice and Experience}, year = {1998}, volume = {10}, number = {11-13}, pages = {957--970}, note = {Special issue on the Workshop on Java for High-Performance Network Computing}, } @INPROCEEDINGS {Jacobsen.ea:98, title = {The Comparative Evaluation of a Classroom and Distance Industrial Software Engineering Graduate Course}, author = {Jacobsen, M. D. and Kremer, R. C. and Shaw, M. and Wijngaards, N. J. E. }, booktitle = {TeleLearning 1998 - Building Global Telelearning Communities}, year = {1998}, month = {November}, } @INPROCEEDINGS {Brazier.ea:98*1, title = {Agents Negotiating for Load Balancing of Electricity Use}, author = {Brazier, F. M. T. and Cornelissen, F. and Gustavsson, R. and Jonker, C. M. and Lindeberg, O. and Polak, B. and Treur, J. }, editor = {Papazoglou, M. P. and Takizawa, M. and Kr\"amer, B. and Chanson, S. }, booktitle = {Proceedings of the 18th International Conference on Distributed Computing Systems, ICDCS'98, IEEE}, year = {1998}, pages = {622--629}, publisher = {Computer Society Press}, note = {Extended abstract in: H.S. Nwana and D.T. Ndumu (eds.), Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM'98, The Practical Application Company Ltd, 1998, pp. 551-554.}, abstract = {In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous samples of plant species. Techniques from the area of non-monotonic reasoning are applied to model multi-interpretable input information.}, } @INPROCEEDINGS {Brazier.ea:98*2, title = {Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation}, author = {Brazier, F. M. T. and Cornelissen, F. and Gustavsson, R. and Jonker, C. M. and Lindeberg, O. and Polak, B. and Treur, J. }, booktitle = {Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98}, year = {1998}, pages = {49--56}, publisher = {IEEE Computer Society Press}, abstract = {A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components.}, } @INPROCEEDINGS {Beusekom:98, title = {Development of an ecological decision support system}, author = {van Beusekom, F. }, editor = {del Pobil, A. P. and Mira, J. and Ali, M. }, booktitle = {Tasks and Methods in Applied Artificial Intelligence (Proceedings of the 11th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA/AIE'98, vol. II)}, series = {Lecture Notes in AI}, year = {1998}, volume = {1416}, pages = {815--825}, publisher = {Springer Verlag}, abstract = {In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous samples of plant species. Techniques from the area of non-monotonic reasoning were applied to model multi-interpretable input information.}, } @INPROCEEDINGS {Brazier.ea:98*3, title = {Analysis of multi-interpretable ecological monitoring information}, author = {Brazier, F. M. T. and Engelfriet, J. and Treur, J. }, editor = {Hunter, A. and Parsons, S. }, booktitle = {Applications of Uncertainty Formalisms}, series = {Lecture Notes in AI}, year = {1998}, volume = {1455}, pages = {303--324}, publisher = {Springer Verlag}, abstract = {In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to an ecological domain. A knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of samples of plant species that are observed. The logical foundation of this system is described in terms of a belief set operator and a selection operator.}, publisher_url={http://www.tandf.co.uk/journals/tf/08839514.html}, } @INPROCEEDINGS {Brazier.ea:98*4, title = {An Agent Architecture for Dynamic Re-design of Agents}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Rodgers, P. and Huxor, A. }, booktitle = {Proc. of the AID'98 Workshop on Distributed Web-based Design Tools}, year = {1998}, note = {Extended abstract in: Y. Demazeau (ed.),Proceedings of the Third International Conference on Multi-Agent Systems,ICMAS'98, IEEE Computer Society Press, 1998, pp. 401-402}, abstract = {This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and includes a refinement of a generic model for design, in which strategic reasoning and dynamic management of requirements are explicitly modelled. This model is refined for the design of agents, or (parts of) multi-agent systems. It includes an explicit formal representation at a logical level of (1) requirements that can be formulated for agents and multi-agent systems, and (2) design object descriptions of a (part of a) multi-agent system. The generic architecture has been formally specified in DESIRE, and has been tested in a prototype application.}, } @INPROCEEDINGS {Brazier.ea:98*5, title = {On the role of abilities of agents in redesign}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Gaines, B. R. and Musen, M. A. }, booktitle = {Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'98}, year = {1998}, pages = {16}, publisher = {SRDG Publications, Department of Computer Science, University of Calgary}, abstract = {Abilities of agents and properties of their environment provide a means to describe behaviour and functionality. These abilities also provide a basis for re-design. In this paper an example is given of a prototype system for re-design of a multi-agent system in which the abilities and properties are made explicit.}, } @INPROCEEDINGS {Brazier.ea:98*6, title = {An instrument for a Purpose Driven Comparison of Modelling Frameworks}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Gaines, B. R. and Musen, M. A. }, booktitle = {Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'98}, year = {1998}, pages = {18}, publisher = {SRDG Publications, Department of Computer Science, University of Calgary}, note = {Extended version}, } @INPROCEEDINGS {Brazier.ea:98*7, title = {Compositional Design of a Generic Design Agent}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. and Wijngaards, N. J. E. }, editor = {Luger, G. }, booktitle = {Proc. Of the AAAI Workshop on Artificial Intelligence and Manufacturing}, year = {1998}, pages = {30--39}, publisher = {AAAI Press, Menlo Park CA}, abstract = {This paper presents a generic architecture for a design agent. The design agent is based on an existing generic agent model, and includes a refinement of a generic model for design, in which strategic reasoning and dynamic management of requirements are explicitly modelled. The generic architecture has been designed using the compositional development method DESIRE, and has been used to develop a prototype design agent for automated agent design.}, } @INPROCEEDINGS {Halderen.ea:98*2, title = {Using Java for Distributed Discrete Event Simulation}, author = {van Halderen, Berry A. W. and Overeinder, B. J. and Sloot, P. M. A. }, editor = {ter Haar Romeny, B. M. and Epema, D. H. J. and Tonino, J. F. M. and Wolters, A. A. }, booktitle = {Proceedings of the Fourth Annual Conference of the Advanced School for Computing and Imaging}, year = {1998}, month = {June}, pages = {66--72}, address = {Lommel, Belgium}, } @INPROCEEDINGS {Brazier.ea:98*8, title = {Principles of Compositional Multi-agent System Development}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. }, editor = {Cuena, J. }, booktitle = {Proceedings of the 15th IFIP World Computer Congress, WCC98, Conference on Information Technology and Knowledge Systems, IT and KNOWS98}, year = {1998}, pages = {347--360}, abstract = {A dedicated development method for multi-agent systems requires adequate means to describe the characteristics of agents and multi-agent systems. Compositional multi agent system development is based on the principles process and knowledge abstraction, compositionality, reuse, specification and verification. Although the paper addreses these principles of compositional multi-agent system development from a generic perspective, some of the examples used to illustrate the notions discussed are taken from the compositional development method DESIRE.}, } @INPROCEEDINGS {Brazier.ea:98*9, title = {Strategic Knowledge in Compositional Design Models}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. }, editor = {Gero, J. S. and Sudweeks, F. }, booktitle = {Proceedings of the Fifth International Conference on Artificial Intelligence in Design, AID'98}, year = {1998}, pages = {129--147}, publisher = {Kluwer Academic Publishers}, abstract = {In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at these levels. In this paper, three levels of strategic interaction and strategic knowledge are identified within a compositional model of design. These levels are identified in reasoning about the manipulation of requirements and their qualifications, reasoning about the manipulation of design object descriptions and reasoning about design process co-ordination.}, } @ARTICLE {Brazier.ea:97, title = {DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework}, author = {Brazier, F. M. T. and Dunin-Keplicz, B. M. and Jennings, N. R. and Treur, J. }, editor = {Huhns, M. and Singh, M. }, journal = {International Journal of Cooperative Information Systems}, year = {1997}, volume = {6}, pages = {67--94}, note = {Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems}, abstract = {This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent systems. For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification is presented.}, } @ARTICLE {Brazier.ea:97*1, title = {A compositional approach to modelling design rationale.}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. }, editor = {Chung, P. W. H. and Banares-Alcantara, R. }, journal = {Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM )}, year = {1997}, volume = {11 (2)}, pages = {125--139}, publisher = {Cambridge University Press}, note = {Special Issue on Representing and Using Design Rationale}, abstract = {Design support systems need to be developed on the basis of an understanding of the human design process, in order to be useful during design. The explicit representation of design history and rationale are of particular importance for explanation and re-use. Within the DESIRE framework for compositional modelling, a generic task model of design has been developed which clearly specifies the role of design history and design rationale within the design process. The model provides a structure to distinguish different types of design rationale, according to the functional role they play in the design process. It has been used to structure the modelling process of an example aircraft design task, which illustrates the various instances of design rationale that can be generated.}, publisher_url={http://titles.cambridge.org/journals/journal_catalogue.asp?historylinks=ALPHA&mnemonic=AIE}, } @INPROCEEDINGS {Eliens.ea:97, title = {Web Agent Support Program}, author = {Eliens, A. and de Bra, P. and Treur, J. and Brazier, F. M. T. and van Vliet, H. }, booktitle = {Proceedings of the Workshop on Logic Programming and the Web, Sixth International WWW Conference}, year = {1997}, address = {Santa Clara}, } @INPROCEEDINGS {Overeinder.ea:97, title = {Breaking the Curse of Dynamics by Task Migration: Pilot Experiments in the Polder Metacomputer}, author = {Overeinder, B. J. and Sloot, P. M. A. }, editor = {Bubak, M. and Dongarra, J. J. and Wassniewsky, J. }, booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface, Proceedings of the 4th European PVM/MPI Users' Group Meeting}, series = {Lecture Notes in Computer Science}, year = {1997}, month = {November}, volume = {1332}, pages = {194--207}, publisher = {Springer-Verlag, Berlin}, } @INPROCEEDINGS {T.ea:97, title = {An Instrument for a Purpose Driven Comparison of Modelling Frameworks}, author = {Brazier, F. M. T. and Wijngaards, N. J. E. }, editor = {Plaza, E. and Benjamins, R. }, booktitle = {Knowledge Acquisiton, Modelling and Management, Proceedings of the 10th EKAW'97}, series = {Lecture Notes in AI}, year = {1997}, volume = {1319}, pages = {212--229}, publisher = {Springer Verlag}, note = {Extended version available}, } @INPROCEEDINGS {Brazier.ea:97*2, title = {Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation}, author = {Brazier, F. M. T. and van Eck, P. A. T. and Treur, J. }, editor = {Conte, R. and Hegselmann, R. and Terna, P. }, booktitle = {Simulating Social Phenomena, Proc. of the International Conference on Computer Simulations and Social Sciences, ICCS&SS'97,}, series = {Lecture Notes in Economics and Mathematical Systems}, year = {1997}, volume = {456}, pages = {103--107}, publisher = {Springer-Verlag}, abstract = {In this paper, the compositional multi-agent modelling framework DESIRE is not only successfully used to develop a conceptual specification of the simple agents discussed in (Cesta et al. 1996), but also to simulate the behaviour in a dynamic environment. In the DESIRE framework, a conceptual specification, which provides a high-level view of an agent, has enough detail for automatic prototype generation. The prototype implementation of the conceptual specification of the simple agents has been used to replicate and extend one of the experiments reported in (Cesta et al. 1996).}, } @INPROCEEDINGS {Brazier.ea:97*3, title = {Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework}, author = {Brazier, F. M. T. and van Eck, P. A. T. and Treur, J. }, editor = {Plaza, E. and Benjamins, R. }, booktitle = {Knowledge Acquisition, Modelling and Management, Proc. of the 10th European Knowledge Acquisition Workshop, EKAW'97,}, series = {Lecture Notes in AI}, year = {1997}, volume = {1319}, pages = {317--322}, publisher = {Springer-Verlag}, } @INPROCEEDINGS {Brazier.ea:97*4, title = {Formalization of a cooperation model based on joint intentions}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. }, editor = {Mueller, J. P. and Wooldridge, M. J. and Jennings, N. R. }, booktitle = {Intelligent Agents III, Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, ATAL'96,}, series = {Lecture Notes in AI}, year = {1997}, volume = {1193}, pages = {141--155}, publisher = {Springer Verlag}, } @TECHREPORT {Hoekstra.ea:97, title = {A High Performance Simulation Environment, project status report,}, author = {Hoekstra, A. G. and Hoffmann, W. and Kartawidjaja, M. A. and Overeinder, B. J. and Santoso, J. and Sloot, P. M. A. }, year = {1997}, number = {CS-97-04}, institution = {Universiteit van Amsterdam}, address = {Amsterdam, The Netherlands}, } @INPROCEEDINGS {Overeinder.ea:97*1, title = {Performance Measurements of a Light Scattering code on the Parsytec CC: Comparison with the Parsytec PowerXplorer}, author = {Overeinder, B. J. and Hoekstra, A. G. }, editor = {Bal, H. E. and Corperaal, H. and Jonker, P. P. and Tonino, J. F. M. }, booktitle = {Proceedings of the Third Annual Conference of the Advanced School for Computing and Imaging}, year = {1997}, month = {June}, pages = {116--119}, address = {Heijen, The Netherlands}, } @ARTICLE {Brazier.ea:96, title = {Redesign and reuse in compositional knowledge-based systems}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. and Wijngaards, N. J. E. }, editor = {Wognum, P. M. }, journal = {Knowledge Based Systems}, year = {1996}, volume = {9}, pages = {105--118}, note = {Special Issue on Models and Techniques for Reuse of Designs}, abstract = {It is a recent trend in the literature on verification to study the use of compositionality and abstraction to structure the process of verification. Earlier, a compositional verification method was introduced for logic-based specifications of knowledge-based systems. The current paper discusses the requirements for the choice and use of a suitable logic with which verification proofs of such compositional reasoning systems can be formalized. For the particular application of the logic the following requirements for the logic itself and for the use of the logic are of importance: - compositional structure: proofs can be structured in a compositional manner, in accordance with the compositional structure of the system design. - dynamics and time: dynamic properties can be expressed, reasoning and induction over time is possible. - incomplete information states can be expressed. - transparency: the proof system and the semantics are transparent and not unnecessarily complicated. In the paper, temporal epistemic logic (TEL) is shown to be a suitable logic. By choosing temporal epistemic logic, a choice was also made for a discrete and linear time structure and for time to be global, which is a suitable choice for the formalization of verification proofs of sequential knowledge-based reasoning systems.}, publisher_url={http://www.elsevier.com/gej-ng//10/30/56/21/25/24/abstract.html}, } @ARTICLE {Brazier.ea:96*1, title = {Modelling an elevator design task in DESIRE: the VT example}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. and Wijngaards, N. J. E. and Willems, M. }, editor = {Schreiber, A. Th. and Birmingham, W. P. }, journal = {International Journal of Human-Computer Studies}, year = {1996}, volume = {44}, pages = {469--520}, note = {Special Issue on Sisyphus-VT}, abstract = {It is a recent trend in the literature on verification to study the use of compositionality and abstraction to structure the process of verification. Earlier, a compositional verification method was introduced for logic-based specifications of knowledge-based systems. The current paper discusses the requirements for the choice and use of a suitable logic with which verification proofs of such compositional reasoning systems can be formalized. For the particular application of the logic the following requirements for the logic itself and for the use of the logic are of importance: - compositional structure: proofs can be structured in a compositional manner, in accordance with the compositional structure of the system design. - dynamics and time: dynamic properties can be expressed, reasoning and induction over time is possible. - incomplete information states can be expressed. - transparency: the proof system and the semantics are transparent and not unnecessarily complicated. In the paper, temporal epistemic logic (TEL) is shown to be a suitable logic. By choosing temporal epistemic logic, a choice was also made for a discrete and linear time structure and for time to be global, which is a suitable choice for the formalization of verification proofs of sequential knowledge-based reasoning systems.}, publisher_url={http://www.idealibrary.com/servlet/doi/10.1006/ijhc.1996.0022}, } @ARTICLE {Benjamins.ea:96, title = {Summary of the KEML'96 workshop}, author = {Benjamins, R. and van Harmelen, F. and Wijngaards, N. J. E. }, journal = {The Knowledge Engineering Review}, year = {1996}, month = {January}, volume = {11}, number = {2}, pages = {193--195}, note = {The Knowledge Engineering and Modelling Language's Workshop 1996}, } @INBOOK {Brazier.ea:96*2, title = {Modelling Distributed Industrial Processes in a Multi-Agent Framework}, author = {Brazier, F. M. T. and Dunin-Keplicz, B. M. and Jennings, N. R. and Treur, J. }, editor = {Kirn, S. and O'Hare, G. }, booktitle = {Cooperative Knowledge Processing: The Key Technology for Intelligent Organisations}, series = {Computer Supported Cooperative Work Series}, year = {1996}, pages = {212--229}, publisher = {Springer Verlag}, abstract = {A declarative compositional modelling framework, DESIRE, designed to model knowledge-intensive multi-agent systems, is shown to provide a means to model distributed industrial and business processes. An agent's knowledge, reasoning processes and interaction with other agents, and the world are explicitly specified within this framework. Electricity transportation management is used to illustrate the characteristic elements of the approach, in particular with respect to dynamic aspects of distributed industrial and business processes; aspects which are of importance to knowledge management and knowledge engineering.}, } @ARTICLE {Overeinder.ea:96, title = {A Dynamic Load Balancing System for Parallel Cluster Computing}, author = {Overeinder, B. J. and Sloot, P. M. A. and Heederik, R. N. and Hertzberger, L. O. }, journal = {Future Generation Computer Systems}, year = {1996}, month = {May}, volume = {12}, number = {1}, pages = {101--115}, } @INPROCEEDINGS {Brazier.ea:96*3, title = {Modelling interaction with experts: the role of a shared task model}, author = {Brazier, F. M. T. and Treur, J. and Wijngaards, N. J. E. }, editor = {Wahlster, W. }, booktitle = {Proc. of the 12th European Conference on AI, ECAI'96,}, year = {1996}, pages = {241--245}, publisher = {Wiley and Sons, Chichester}, abstract = {The role of an agreed, shared task model as an intermediate representation of a design/decision task upon which (1) negotiation between an expert user and a knowledge engineer, and (2) interaction between an expert user and an intelligent design/decision support system are based, is the focus of the research presented. A declarative compositional approach to user-centered system design (within the DESIRE framework) is presented and illustrated on the basis of a shared task model for the design of environmental policy.}, } @INPROCEEDINGS {Brazier.ea:96*4, title = {The acquisition of a shared task model}, author = {Brazier, F. M. T. and Treur, J. and Wijngaards, N. J. E. }, editor = {Shadbolt, N. and O'Hara, K. and Schreiber, A. Th. }, booktitle = {Advances in Knowledge Acquisition, Proc. of the 9th European Knowledge Acquisition, Workshop, EKAW'96}, series = {Lecture Notes in Artificial Intelligence}, year = {1996}, volume = {1076}, pages = {278--289}, abstract = {The process of the acquisition of an agreed, shared task model as a means to structure interaction between expert users and knowledge engineers is described. The role existing (generic) task models play in this process is illustrated for two domains of application, both domains requiring diagnostic reasoning. In both domains different levels of interaction between an expert user and a diagnostic reasoning system are distinguished.}, } @INPROCEEDINGS {Brazier.ea:96*5, title = {Compositional modelling of reflective agents}, author = {Brazier, F. M. T. and Treur, J. }, editor = {Gaines, B. R. and Musen, M. A. }, booktitle = {Proc. of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96}, year = {1996}, pages = {23/1--23/12}, publisher = {SRDG Publications, Department of Computer Science, University of Calgary}, } @INPROCEEDINGS {Brazier.ea:96*6, title = {A Purpose Driven Method for Language Comparison}, author = {Brazier, F. M. T. and van Harmelen, F. and Straatman, R. and Treur, J. and Wijngaards, N. J. E. and Willems, M. }, editor = {Shadbolt, N. and O'Hara, K. and Schreiber, A. Th. }, booktitle = {Advances in Knowledge Acquisition. Proc. of the 9th European Knowledge Acquisition Workshop, EKAW'96}, series = {Lecture Notes in Artificial Intelligence}, year = {1996}, volume = {1076}, pages = {66--81}, abstract = {Current efforts to compare knowledge engineering (KE) modelling languages have been limited to either rather shallow comparisons on a broad-set of languages, or to detailed comparisons with limited applicability to a narrow set of languages. In this paper we propose a novel way of organising language comparisons. This method is based on an alternating decomposition of the goals that a language tries to achieve and the linguistic methods it employs to achieve these goals. This new method for comparing languages allows a general comparison at high levels of abstraction, while not preventing more precise comparisons whenever possible. One result of our comparison method is an insight in the different assumptions that underly the languages to be compared. Two further consequences follow from the proposed comparison method, namely (i) a measure for the degree of similarity between languages, and (ii) a method for translating between languages. After describing our method, we apply it to a pair of KE modelling languages, and show how it yields insights in the assumptions underlying the languages and how it can be used to produce a translation procedure between the languages.}, } @INPROCEEDINGS {Brazier.ea:96*7, title = {A logical theory of design}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. }, editor = {Gero, J. S. }, booktitle = {Advances in Formal Design Methods for CAD, Proc. of the Second International Workshop on Formal Methods in Design}, year = {1996}, pages = {243--266}, publisher = {Chapman Hall}, } @INPROCEEDINGS {Brazier.ea:96*9, title = {Modelling Project Coordination in a Multi-Agent Framework}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. }, booktitle = {Proc. of the Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE'96}, year = {1996}, pages = {148--155}, publisher = {IEEE Computer Society Press}, abstract = {In current engineering practice often traditional management structures and virtual organisations are combined. In addition to formal structures, informal, dynamic organisational structures emerge in which engineers are personally responsible for effective interaction. They decide when to exchange information, and with whom, when to question requirements, when to acknowledge conflicts, et cetera. In such virtual organisations, project coordination may become quite complicated. In this paper communication and coordination in a real-life case of concurrent design in aircraft industry has been modelled and specified within the modelling framework DESIRE, on the basis of Jennings informal, multi-agent model of cooperative problem solving known in the literature.}, } @ARTICLE {Brazier.ea:95, title = {Modelling conflict management in design: an explicit approach}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Treur, J. }, editor = {Smith, I. F. C. }, journal = {Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM )}, year = {1995}, volume = {9}, number = {4}, pages = {353--366}, note = {Special Issue on Conflict Management in Design}, abstract = {This paper focusses on how conflicts can be managed in the generic task model for design introduced in [Brazier, Langen, Ruttkay and Treur, 1994]. Based on this generic task model a number of possible types of conflict are distinguished. Furthermore it is described how each of them can be detected during the design process by an explicit meta-representation of them and how they can be analysed and managed by means of strategic meta-knowledge to control the reasoning process.}, publisher_url={http://titles.cambridge.org/journals/journal_catalogue.asp?historylinks=ALPHA&mnemonic=AIE}, } @INPROCEEDINGS {Brazier.ea:95*1, title = {Formal Specification of Multi-Agent Systems: a Real World Case}, author = {Brazier, F. M. T. and Dunin-Keplicz, B. M. and Jennings, N. R. and Treur, J. }, editor = {Lesser, V. }, booktitle = {Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95}, year = {1995}, pages = {25--32}, publisher = {MIT Press}, abstract = {In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.}, } @INPROCEEDINGS {Overeinder.ea:95, title = {Parallel Performance Evaluation through Critical Path Analysis}, author = {Overeinder, B. J. and Sloot, P. M. A. }, editor = {Hertzberger, L. O. and Serazzi, G. }, booktitle = {High-Performance Computing and Networking (HPCN Europe '95)}, series = {Lecture Notes in Computer Science}, year = {1995}, month = {May}, volume = {919}, pages = {634--639}, publisher = {Springer-Verlag, Berlin}, } @INPROCEEDINGS {Brazier.ea:95*2, title = {A Research Programme for AI and Design: a Design Task}, author = {Brazier, F. M. T. and Treur, J. }, editor = {Gero, J. S. and Sudweeks, F. }, booktitle = {Proc. of the Fourth Workshop on Future Directions for Artificial Intelligence in Design}, year = {1995}, pages = {9--16}, abstract = {If AI and Design is to become a solid discipline, the research programme will need to address design from each of the following perspectives, coordinating and integrating research results during the design process. A. Empirical perspective Close analysis of design processes as required and performed by designers in cooperation with design support systems. B. Foundational perspective Development of logical theories covering both the static aspects and dynamic aspects of design processes. C. Developmental perspective The perspective of the developer of design systems and the support provided to him or her; for example: modelling/specification languages, (task) models for design, and implementation environments.}, } @INPROCEEDINGS {Overeinder.ea:95*1, title = {A Communication Kernel for Parallel Programming Support on a Massively Parallel Processor System}, author = {Overeinder, B. J. and Vesseur, J. J. J. and van der Linden, F. and Sloot, P. M. A. }, editor = {Fritzon, P. and Finmo, L. }, booktitle = {Proceedings of the Workshop on Parallel Programming and Computation (ZEUS'95) and the 4th Nordic Transputer Conference (NTUG'95),}, year = {1995}, pages = {259--266}, publisher = {IOS Press, Amsterdam}, isn={90-5199-299-7}, } @INPROCEEDINGS {Vesseur.ea:95, title = {Experiments in Dynamic Load Balancing for Parallel Cluster Computing}, author = {Vesseur, J. J. J. and Heederik, R. N. and Overeinder, B. J. and Sloot, P. M. A. }, editor = {Fritzon, P. and Finmo, L. }, booktitle = {Proceedings of the Workshop on Parallel Programming and Computation (ZEUS'95) and the 4th Nordic Transputer Conference (NTUG'95)}, series = {Transputer and Occam Engineering Series, Parallel Programming an}, year = {1995}, month = {June}, pages = {189--194}, publisher = {IOS Press, Amsterdam}, isn={90-5199-299-7}, } @INCOLLECTION {Overeinder.ea:95*2, title = {Parallel Discrete Event Simulation Performance Modelling and Evaluation}, author = {Overeinder, B. J. and Sloot, P. M. A. }, booktitle = {PowerXplorer User Report}, year = {1995}, month = {May}, pages = {137--144}, publisher = {Universit\"atsrechenzentrum, Heinrich-Heine-Universit\"at D\"usseldorf}, } @INPROCEEDINGS {Brazier.ea:94, title = {On formal specification of design tasks}, author = {Brazier, F. M. T. and van Langen, P. H. G. and Ruttkay, Z. S. and Treur, J. }, editor = {Gero, J. S. and Sudweeks, F. }, booktitle = {Proceedings Artificial Intelligence in Design (AID'94)}, year = {1994}, pages = {535--552}, publisher = {Kluwer Academic Publishers}, address = {Dordrecht}, } @TECHREPORT {Overeinder.ea:94, title = {Finalization Report: Homogeneous PVM/PARIX}, author = {Overeinder, B. J. and Sloot, P. M. A. and Petersen, J. }, year = {1994}, month = {October}, number = {CAMAS-TR-2.3.4}, institution = {Universiteit van Amsterdam}, address = {Amsterdam, The Netherlands}, } @INPROCEEDINGS {Overeinder.ea:93, title = {Application of Time Warp to Parallel Simulations with Asynchronous Cellular Automata}, author = {Overeinder, B. J. and Sloot, P. M. A. }, editor = {Verbraeck, A. and Kerckhoffs, E. J. H. }, booktitle = {Proceedings of the 1993 European Simulation Symposium 1993}, year = {1993}, month = {October}, pages = {397--402}, address = {Delft, The Netherlands}, } @INPROCEEDINGS {Overeinder.ea:92, title = {Time Warp on a Transputer Platform: Pilot Study with Asynchronous Cellular Automata}, author = {Overeinder, B. J. and Sloot, P. M. A. and Hertzberger, L. O. }, editor = {Valero, M. and Onate, E. and Jane, M. and Larriba, J. L. and Suarez, B. }, booktitle = {Parallel Computing and Transputer Applications (PACTA 92)}, year = {1992}, month = {September}, pages = {1303--1312}, publisher = {IOS Press Amsterdam}, address = {Barcelona, Spain}, } @INPROCEEDINGS {Overeinder.ea:91, title = {Parallel Discrete Event Simulation}, author = {Overeinder, B. J. and Hertzberger, L. O. and Sloot, P. M. A. }, editor = {Withagen, W. J. }, booktitle = {Proceedings of the Third Workshop Computer Systems}, year = {1991}, month = {May}, pages = {19--30}, address = {Eindhoven, The Netherlands}, } @INPROCEEDINGS {warnier.ea:06*2, title = {Organized anonymity in agent systems}, author = {Warnier, M. and de Groot, D. R. A. and Brazier, F. M. T. }, booktitle = {Informal Proceedings of the Fourth European Workshop on Multi-Agent Systems (EUMAS'06)}, year = {2006}, month = {December}, location = {Lisbon, Portugal}, abstract = {Anonymity is of great importance in distributed agent applications such as e-commerce & auctions. This paper proposes and analyzes a new approach for organized anonymity of agents based on the use of pseudonyms. A novel naming scheme is presented that can be used by agent platforms to provide anonymity for each individual agent. The paper introduces two distinct techniques, one based on handles and another based on agent spawning. Both techniques can be integrated into agent platform middleware, automatically guaranteeing anonymity for all individual agents. The applicability of this approach is evaluated for three agent platforms: AgentScape, JADE and SeMoA. }, } @INPROCEEDINGS {haydarlou.ea:06*3, title = {Using Semantic Web Technology for Self-Management of Distributed Object-Oriented Systems}, author = {Haydarlou, A. R. and Oey, M. A. and Overeinder, B. J. and Brazier, F. M. T. }, booktitle = {Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06)}, year = {2006}, month = {December}, address = {Hong-Kong, China}, abstract = {Automated support for management of complex distributed object-oriented systems is a challenge: self-management the goal. A self-management system needs to reason about the behaviour of the distributed entities in a system, and act when necessary. The knowledge needed is multi-leveled: different levels of concepts and rules need to be represented. This paper explores the requirements that hold for representing this knowledge in self-managed distributed object-oriented systems, and explores the potential of Semantic Web technology in this context. A model for self-management knowledge and a simplified version of a real-life use case are used to illustrate the potential.}, } @ARTICLE {haydarlou.ea:95, title = {Thunk-lifting: Reducing heap usage in an implementation of a lazy functional language}, author = {Haydarlou, A. R. and Hartel, P. H. }, journal = {Journal of Functional Programming}, year = {1995}, month = {August}, volume = {1}, number = {1}, issn = {0956-79 68}, abstract = {Thunk lifting, a program transformation for lazy functional programs, aims to reduce the amount of heap space allocated to the program when it executes. Thunk lifting eliminates nesting of function applications, by folding selected applications. The conditions for selection guarantee that thunk lifting never increases the amount of heap space required by a program. We implemented thunk lifting, and applied it to 11 medium-sized benchmark programs. The number of cell claims in the heap decreased on average by 5%, to a maximum reduction of 16%.}, } @INPROCEEDINGS {warnierBrazierApistolaOskamp:2007a, title = {Secure Distributed Dossier Management in the Legal Domain}, author = {Warnier, M. and Brazier, F. M. T. and Apistola, M. and Oskamp, A. }, booktitle = {proceedings of the Second International Workshop on Dependability and Security in e-Government (DeSeGov 2007)}, year = {2007}, month = {April}, publisher = {IEEE}, abstract = {The use of digital dossiers in Courts of Law, although currently in the phase of study, will be common practice in the future. This paper introduces the notion of distributed digital dossiers supported by a multi-agent system architecture, developed in interaction with the Courts of Amsterdam and Rotterdam. Management of such dossiers is core to the approach: consistency, completeness, integrity and security key concepts.}, } @ARTICLE {overeinder06, title = {Generative Mobile Agent Migration in Heterogeneous Environments}, author = {Overeinder, B. J. and de Groot, D. R. A. and Wijngaards, N. J. E. and Brazier, F. M. T. }, journal = {Scalable Computing: Practice and Experience}, year = {2006}, month = {December}, volume = {7}, number = {4}, pages = {89--99}, url = {http://www.scpe.org/vols/vol07/no4/SCPE_7_4_05.pdf}, } @INPROCEEDINGS {warnierOeyTimmerBrazier:2007, title = {Secure Migration of Mobile Agents based on Distributed Trust}, author = {Warnier, M. and Oey, M. A. and Timmer, R. J. and Brazier, F. M. T. }, booktitle = {Proceedings of the Tenth International Workshop on Trust in Agent Societies}, year = {2007}, month = {May}, abstract = {Integrity of mobile agents in open environments in which no guarantees can be provided on the integrity of the hosts on which they run, is an open challenge. This paper presents a method with which tampering can be detected. This method is based on the notion of distributed trust; trust distributed over the hosts involved.}, } @INPROCEEDINGS {Haydarlou.ea:07*1, title = {Use Case Driven Approach to Self-Monitoring in Autonomic Systems}, author = {Haydarlou, A. R. and Oey, M. A. and Overeinder, B. J. and Brazier, F. M. T. }, booktitle = {Proceedings of The Third International Conference on Autonomic and Autonomous Systems (ICAS07)}, year = {2007}, month = {June}, publisher = {IEEE Computer Society Press}, location = {Athens, Greece}, keywords = {Self-Monitoring; Self-Management}, abstract = {Self-monitoring of autonomic distributed systems requires knowledge of the states and events of many different parts of a system. One of the main challenges is to determine which information is most crucial for analysis of a system's behaviour, and when. This paper proposes a model-based approach to self-monitoring for which structural and behavioural models of a system are described at different levels: application, subsystem, component and class level. In this approach, a system's behaviour is monitored in the context of a hierarchy of use-cases related to these levels. The structural and behavioural models are used to automatically instrument an existing distributed system. The proposed architecture of a self-monitoring engine is described as is the implementation. The models have been specified in the Ontology Web Language (OWL) and the self-monitoring (as a part of our self-management framework) has been implemented in Java. The scenario used to illustrate the approach is that of authentication for a simplified version of a distributed portal application.}, } @INPROCEEDINGS {Boonke.a.:2007, title = {Conditions for Access and Use of Legal Document Retrieval Web Services}, author = {Boonk, M. L. and Brazier, F. M. T. and de Groot, D. R. A. and van Stekelenburg, M. and Oskamp, A. and Warnier, M. }, booktitle = {The Proceedings the Eleventh International Conference on Artificial Intelligence and Law (ICAIL'07)}, year = {2007}, pages = {37--41}, publisher = {ACM press}, abstract = {Documentation is essential to daily legal practice. On-line access is current practice. The conditions imposed by an information service provider with respect to access and use of this documentation determine the value of such documentation. This paper identifies the need to regulate on-line service access in more open environments: to specify the conditions that hold for each individual service, providing a basis for determination of conditions for configurations of services.}, } @INPROCEEDINGS {WarnierBrazierApistolaOskamp:2007b, title = {Towards Automatic Identification of Completeness and Consistency in Digital Dossiers}, author = {Warnier, M. and Brazier, F. M. T. and Apistola, M. and Oskamp, A. }, booktitle = {The Proceedings the Eleventh International Conference on Artificial Intelligence and Law (ICAIL'07)}, year = {2007}, pages = {177--182}, publisher = {ACM Press}, abstract = {The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. Automatic verification of consistency and completeness of data in dossiers becomes feasible. This papers proposes an information management system based on agent technology. It sketches how agent systems in combination with AI techniques can be used to enforce consistency and completeness in digital dossiers in the context of the semi-open environment of the Courts.}, } @INPROCEEDINGS {Overeinder.ea:07, title = {Design of a Secure and Decentralized Location Service for Agent Platforms}, author = {Overeinder, B. J. and Oey, M. A. and Timmer, R. J. and van Schouwen, R and Rozendaal, E. and Brazier, F. M. T. }, booktitle = {Proceedings of the Sixth International Workshop on Agents and Peer-to-Peer Computing (AP2PC 2007)}, year = {2007}, month = {May}, location = {Honolulu, Hawai'i}, abstract = {Agent platforms designed for Internet-scale, open networks need scalable and secure location services for agents and services. The location service based on the Fonkey public key distribution infrastructure presented in this paper has been designed and implemented for this purpose. It is scalable in the total number of published identifier--contact address pairs, the number of updates/changes, and the number of agent platforms publishing and requesting contact addresses. This system also supports a signing mechanism to authenticate the publisher of an identifier--contact address pair. Experimental results show that the current implementation based on the Bunshin/Free Pastry overlay network exhibits good scaling behavior.}, } @INPROCEEDINGS {noordende07a, title = {Guarding Security Sensitive Content using Confined Mobile Agents}, author = {van 't Noordende, G. and Brazier, F. M. T. and Tanenbaum, A. S. }, booktitle = {Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC)}, year = {2007}, month = {March}, address = {Seoul, Korea}, } @MISC {AAMAS07demo, title = {WS-Agreement Based Resource Negotiation in AgentScape (Demo)}, author = {Oey, M. A. and Timmer, R. J. and Mobach, D. G. A. and Overeinder, B. J. and Brazier, F. M. T. }, year = {2007}, month = {May}, howpublished = {Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems}, note = {Demo}, } @INPROCEEDINGS {warnierBrazier2007a, title = {Organized Anonymous Agents}, author = {Warnier, M. and Brazier, F. M. T. }, booktitle = {the Proceedings of The Third International Symposium on Information Assurance and Security (IAS'07)}, year = {2007}, month = {August}, publisher = {IEEE}, abstract = {Anonymity is of great importance in distributed agent applications such as e-commerce & auctions. This paper proposes and analyzes a new approach for organized anonymity of agents based on the use of pseudonyms. A novel naming scheme is presented that can be used by agent platforms to provide automatic anonymity for all agents on its platform, or, alternatively, to provide anonymity on demand. The paper introduces a new techniques, based on the use of handles. It can be integrated into the agent platform middleware, thereby ensuring organized anonymity for all agents. Performance measures for an anonymity middleware service implemented for AgentScape provides insight in the overhead involved.}, } @PHDTHESIS {Mobach2007, title = {Agent-Based Mediated Service Negotiation}, author = {Mobach, D. G. A. }, year = {2007}, month = {May}, school = {Computer Science Department, Vrije Universiteit Amsterdam}, } @INPROCEEDINGS {warnierApistolaBrazierOskamp:2007c, title = {Distributed Digital Dossier: Completeness, Consistency and Security}, author = {Warnier, M. and Apistola, M. and Brazier, F. M. T. and Oskamp, A. }, booktitle = {Poster presentation at the TOKEN'07 symposium, Amsterdam, the Netherlands}, year = {2007}, month = {June}, } @MASTERSTHESIS {dees*07, title = {Decentralized Advertisement Recommendation on IPTV}, author = {Dees, E. }, year = {2007}, month = {July}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisors: dr. E. Ogston (VU) & prof.dr. F.M.T. Brazier (VU) & J. Voskuil (LogicaCMG) & Raph Bode (LogicaCMG)}, abstract = {IPTV is a relatively new transportation technology for television. Besides broadcast television, IPTV offers a variety of on-demand services. Because users are able to skip commercials delivered with on-demand content, there is a strong need for new ways of advertisement on IPTV. In this research project the relevancy of two Artificial Intelligence techniques and methodologies for a personalized advertisement service for IPTV is investigated. Recommender systems are often used in comparable situations to filter interesting items from uninteresting ones. In general they are facing problems with speed, scalability and privacy. Decentralized systems allocate the resources necessary for computation and data storage over different locations. The combination of decentralized systems and recommender systems theoretically solves the speed, scalability and privacy problems of normal recommender systems. But before a decentralized recommender system can be used for the development of a personalized advertisement service for IPTV both the medium and the technology need to mature. IPTV first have to make big steps in quality improvement and decentralized search and clustering need more mature and standardized applications. Besides this, more research with relevant data is needed to prove the value of the model for personalizing advertisement that is presented in this thesis.}, } @INPROCEEDINGS {ApistolaWarnierOskampBrazier:2007, title = {Towards a Conceptual Framework for Digital Dossier Management in Criminal Proceedings}, author = {Apistola, M. and Warnier, M. and Oskamp, A. and Brazier, F. M. T. }, booktitle = {Proceedings of the Fifth International Conference on Law and Technology (LawTech 2007)}, year = {2007}, abstract = {The use of digital dossiers by the Public Prosecution and Courts is an example of how technology changes today's law practice. The digitalisation of dossiers offers many new possibilities. One possibility is the use of agent technology. Digital dossiers are challenging because not only do they use much sensitive data, but also use many sources and there are many processes such as completeness checks etc. Consequently there are many requirements for the use of technologies such as agent technology. In this paper a conceptual framework based on a taxonomy for digital dossier management is proposed, viz. data in the dossier, dossier management processes, agent technology and environments. The conceptual framework indicates what type of agents supports what kind of data, processes and environments.}, } @INPROCEEDINGS {warnierBrazierApistolaOskamp:2007c, title = {Distributed Digital Data: Keeping files consistent and timely}, author = {Warnier, M. and Brazier, F. M. T. and Apistola, M. and Oskamp, A. }, booktitle = {Proceedings of the eGovernment Interoperability Campus 2007 Conference (eGovINTEROP'07)}, year = {2007}, abstract = {Digitalization of information across organizations has made information exchange between organizations easier. Information exchange, however, requires governmental organizations to define security policies, stating which information can be accessed, processed and indexed by which organizations, when, where and how. Ensuring that the information, once exchanged, stays up-to-date is a real challenge, as is enforcement of the security policies. This paper proposes the use of Distributed Digital Dossier in combination with agent technology to enforce these requirements. The domain of a Court of Law is taken as an example to illustrate the approach.}, } @INPROCEEDINGS {rana-etal:2007, title = {Managing Violations in Service Level Agreements}, author = {Rana, O. and Warnier, M. and Quillinan, T. B. and Brazier, F. M. T. and Cojocarasu, D. }, booktitle = {the Proceedings of the Usage of Service Level Agreements in Grids Workshop}, year = {2007}, month = {September}, } @INPROCEEDINGS {Noordende:07b, title = {A Secure Jailing System for Confining Untrusted Applications}, author = {van 't Noordende, G. and Balogh, A. and Hofman, R. F. H. and Brazier, F. M. T. and Tanenbaum, A. S. }, booktitle = {Proc. 2nd International Conference on Security and Cryptography (SECRYPT)}, year = {2007}, month = {July}, pages = {414--423}, location = {Barcelona, Spain}, } @INPROCEEDINGS {haydarlou*07a, title = {Using Semantic Web Technology for Self-Management of Distributed Systems}, author = {Haydarlou, A. R. and Oey, M. A. and Overeinder, B. J. and Brazier, F. M. T. }, booktitle = {Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007)}, year = {2007}, month = {November}, address = {Utrecht, The Netherlands}, abstract = {Automated support for management of complex distributed object-oriented systems is a challenge: self-management is the goal. A self-management system needs to reason about the behaviour of the distributed entities in a system, and act when necessary. The knowledge needed is multi-leveled: different levels of concepts and rules need to be represented. This paper explores the requirements that hold for representing this knowledge in self-managed distributed object-oriented systems, and explores the potential of Semantic Web technology in this context.}, } @INCOLLECTION {overeinder06a, title = {Scalable Middleware Environment for Agent-Based {Internet} Applications}, author = {Overeinder, B. J. and Brazier, F. M. T. }, booktitle = {Applied Parallel Computing}, series = {Lecture Notes in Computer Science}, year = {2006}, volume = {3732}, pages = {675--679}, publisher = {Springer}, address = {Berlin}, } @INPROCEEDINGS {vantnoordende*07, title = {A Common Base for Building Secure Mobile Agent Middleware}, author = {van 't Noordende, G. and Overeinder, B. J. and Timmer, R. J. and Brazier, F. M. T. and Tanenbaum, A. S. }, booktitle = {Proceedings of the 2nd Int'l Multiconference on Computer Science and Information Technology (IMCSIT)}, year = {2007}, month = {October}, volume = {2}, pages = {13--25}, location = {Wisla, Poland}, note = {ISSN 1896-7094}, url = {http://www.papers2007.imcsit.org/pliks/158.pdf}, abstract = {The Agent Operating System (AOS) provides the basic functionality needed for secure and reliable mobile agent platforms: support for secure communication, secure agent storage and migration, and minimal primitives for agent life-cycle management. Designed as a layer between local operating systems and higher level agent platform middleware, it supports interoperability between agent platforms and between different implementations of AOS itself. AOS has been tested on interoperability, both with regard to different higher-layer middleware platforms and interoperability between two implementations of AOS in C and Java.}, } @INPROCEEDINGS {cucurull*07, title = {Abstract Software Migration Architecture Towards Agent Middleware Interoperability}, author = {Cucurull, J. and Overeinder, B. J. and Oey, M. A. and Borrell, J. and Brazier, F. M. T. }, booktitle = {Proceedings of the 2nd Int'l Multiconference on Computer Science and Information Technology (IMCSIT)}, year = {2007}, month = {October}, volume = {2}, pages = {27--37}, location = {Wisla, Poland}, note = {ISSN 1896-7094}, url = {http://www.papers2007.imcsit.org/pliks/155.pdf}, abstract = {Agent mobility is the ability of an agent to migrate from one location to another. So far, there are several difficulties with agents' migration due to the lack of interoperability among agent middleware that is distributed over the net. In this paper, an abstract software migration architecture is presented, which is the first step towards full agent middleware interoperability. With this architecture, the process of migrating an agent is uniformly defined for multiple middleware, leaving the agent execution environment' standards as a future research. To validate the suggested abstract migration, the architecture has been successfully implemented over two different agent middleware: JADE and AgentScape.}, } @INPROCEEDINGS {brazier:2007, title = {The world of autonomous distributed systems}, author = {Brazier, F. M. T. }, booktitle = {Proceedings of the International Symposium on Intelligent and Distributed Computing (IDC'2007)}, year = {2007}, } @MISC {warnier*07a, title = {Secure Digital Criminal Dossier Management: - combining local control and global access in distributed environments}, author = {Warnier, M. and Brazier, F. M. T. and Oskamp, A. }, year = {2007}, month = {October}, howpublished = {Poster presentation at the SIREN'07 symposium, Delft, the Netherlands, 2007}, } @MISC {haydarlou*07b, title = {Use-case driven Self-Management Framework}, author = {Haydarlou, A. R. and Oey, M. A. and Overeinder, B. J. and Brazier, F. M. T. }, year = {2007}, month = {October}, howpublished = {Poster presentation at Scientific ICT Research Event Netherlands (SIREN 07)}, abstract = {Self-management of autonomic distributed systems requires knowledge of the states and events of many different parts of a system. One of the main challenges is to determine which information is most crucial for analysis of a system's behaviour, and when. This paper proposes a model-based approach to self-management for which structural and behavioural models of a system are described at different levels: application, subsystem, component and class level. In this approach, a system's behaviour is monitored in the context of a hierarchy of use-cases related to these levels. The structural and behavioural models are used to automatically instrument an existing distributed system. The models have been specified in the Ontology Web Language (OWL).}, } @MISC {haydarlou*07c, title = {Using Semantic Web Technology for Self-Management of Distributed Systems}, author = {Haydarlou, A. R. and Oey, M. A. and Overeinder, B. J. and Brazier, F. M. T. }, year = {2007}, month = {November}, howpublished = {Poster presentation at the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007)}, abstract = {Automated support for management of complex distributed object-oriented systems is a challenge: self-management the goal. A self-management system needs to reason about the behaviour of the distributed entities in a system, and act when necessary. The knowledge needed is multi-leveled: different levels of concepts and rules need to be represented. This paper explores the requirements that hold for representing this knowledge in self-managed distributed object-oriented systems, and explores the potential of Semantic Web technology in this context. A model for self-management knowledge and a simplified version of a real-life use case are used to illustrate the potential.}, } @ARTICLE {warnierBrazierOskamp, title = {Security of Distributed Digital Criminal Dossiers}, author = {Warnier, M. and Brazier, F. M. T. and Oskamp, A. }, journal = {Journal of Software (Academy Publisher)}, year = {2008}, month = {March}, volume = {3}, number = {3}, pages = {21--29}, abstract = {Securely managing shared information in distributed environments across multiple organisations is a challenge. Distributed information management systems must be able to support individual organisations' information policies whilst securing global consistency and completeness. This paper proposes a multi-agent approach to a distributed multi-organisational system design based on this principle, focusing on the example of the distributed digital criminal dossier used in the Courts of Amsterdam and Rotterdam, compiled and managed by the Public Prosecution. Security requirements are identified and a distributed multi-agent architecture proposed.}, } @MISC {oey*07, title = {WS-Agreement Based Resource Negotiation in AgentScape}, author = {Oey, M. A. and Timmer, R. J. and Mobach, D. G. A. and Overeinder, B. J. and Brazier, F. M. T. }, year = {2007}, month = {October}, howpublished = {Poster presentation at the Scientific ICT Research Event Netherlands (SIREN 07) symposium, Delft, the Netherlands.}, url = {http://www.informaticaplatform.nl/siren}, } @MISC {Oskamp06, title = {Agents en het digitale strafdossier}, author = {Oskamp, A. }, year = {2006}, howpublished = {Computerrecht 6, Editorial (Dutch)}, } @INPROCEEDINGS {gradwell*08, title = {Engineering Large-scale Distributed Auctions}, author = {Gradwell, P. and Oey, M. A. and Timmer, R. J. and Brazier, F. M. T. and Padget, J. }, booktitle = {Proceedings of the Seventh Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS)}, year = {2008}, month = {May}, volume = {3}, pages = {1311--1314}, publisher = {ACM}, location = {Estoril, Portugal}, address = {Richland, SC}, note = {ISBN: 978-0-9817381-2-X}, doi = {10.1145/1402821.1402859}, abstract = {The functional characteristics of market-based solutions are typically best observed through the medium of simulation, datagathering and subsequent visualization. We previously developed a simulation of multiple distributed auctions to handle resource allocation (in fact, bundles of unspecified goods) and in this paper we want to deploy an equivalent system as a distributed application. There are two notable problems with the simulation-first, application-second approach: (i) the simulation cannot reasonably take account of network effects, and (ii) how to recreate in a distributed application the characteristics demonstrated by the mechanism in the simulation. We describe: (i) the refactorings employed in the process of transforming a uni-processor lock-step simulation into a multi-processor asynchronous system, (ii) some preliminary performance indicators, and (iii) some reflections on our experience which may be useful in building MAS in general.}, } @INPROCEEDINGS {Overeinder*08, title = {Web Service Access Management for Integration with Agent Systems}, author = {Overeinder, B. J. and Verkaik, P. D. and Brazier, F. M. T. }, booktitle = {Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC)}, year = {2008}, month = {March}, publisher = {ACM}, location = {Fortaleza, Ceara, Brazil}, abstract = {The agent paradigm includes the notion that agents interact with services. This paper identifies the need for controlled access to such services, from the perspective of agent systems (and not as is generally the case by web service providers). Mediating between web service requests from (virtual) organizations of agents, the web service gateway proposed regulates (i.e., monitors and controls) web service access according to the SLAs and organizational policies that are in effect. In addition to a model for web service access regulation, an implementation of a middleware component for web services access regulation based on SOAP and described in WSDL is presented.}, } @ARTICLE {pournaras*08-2, title = {Trust and innovativeness in virtual organisations}, author = {Pournaras, E. and Lazakidou, Athina}, journal = {International Journal of Business Innovation and Research}, year = {2008}, volume = {2}, number = {3}, issn = {1751-0252}, abstract = {This paper discusses trust and control in a virtualised environment. An extensive use of information and communication technology, and virtualisation of organisations put trust into the core of management challenges. Trust is a glue that bonds individuals and groups together to form virtual teams and a virtual organisation. It is also an important force behind their innovativeness and flexibility. Besides the traditional perception of personal or individual trust, we have to introduce a much wider concept of organisational trust. It can be enhanced by legislation on e-business, electronic signatures and data protection acts. Another factor that can reduce the risk and consequently build trust is the ability of computer technology to archive and recover all data and processes. Altogether, a virtual environment looks relatively safe if all available techniques and legislation are employed. Innovativeness in virtual organisations should be able to be spread in order to be regarded as an efficient and worthy innovation. This can be achieved by setting standardisations and avoiding social risks during its acceptance.}, } @ARTICLE {pournaras*08-1, title = {Load-Driven Neighbourhood Reconfiguration of Gnutella Overlay}, author = {Pournaras, E. and Exarchakos, George and Antonopoulos, Nick}, journal = {Journal of Computer Communications}, year = {2008}, month = {February}, doi = {10.1016/j.comcom.2008.02.018}, abstract = {Unstructured P2P networks support distributed applications whose workload may vary significantly over time and between nodes. Self-optimizing systems try to keep the load in the network balanced despite the frequent load fluctuations. Several P2P systems exhibit a number of related features but fail to avoid centralization under high-load situations. ERGO aims to balance the overloaded nodes by rewiring some of their incoming links to underloaded ones via a set of interconnected servers which index the underloaded nodes. In two simulated environments, ERGO load-balancing on Gnutella network increases the balanced nodes and network availability by preserving its efficiency and even reducing its messages.}, } @MISC {pournaras*06, title = {Development of a 3-D Multiplayer Racing Game}, author = {Pournaras, E. }, year = {2006}, month = {October}, howpublished = {java.net}, note = {Feature Article}, url = {http://today.java.net/pub/a/today/2006/10/10/development-of-3d-multiplayer-racing-game.html}, } @MISC {pournaras*07, title = {Development of a 3-D Multiplayer Racing Game}, author = {Pournaras, E. }, year = {2007}, month = {June}, howpublished = {Jazoon07, International Conference on Java Technology}, url = {http://jazoon.com/jazoon07/en/conference/presentationdetails.html?type=sid&detail=1041}, abstract = {Traditional Game Industry has been based on C . It eems that nowadays users focus on the multiplayer dimension of games and they demand new and better networking services. It is certain that this networking orientation will also influence the other sides of game development and more the architecture of the future game consoles. Java technologies raise new foundations for developing commercial games with strong support to different game elements. This work-in-progress presentation focuses on the development of a 3-D multiplayer racing game (JautOGL) using JOGL and JOAL APIs for graphics and sound respectively and Java .NIO for the networking part. It will outline the steps for building a game engine using the above technologies and which are the special haracteristics that must be taken under consideration. Some of the issues that will be illustrated include: Using the procedural OpenGL in the object-oriented Java Using OpenAL for the sound engine Building 3-D models loaders Game interactivity in a racing game Networking and real time support (non-blocking mode) using Java .NIO The work has inspired more issues for further development such as: Advanced graphics and sound system Collision detection system Artificial Intelligence Other Networking models (Peer-to-peer)}, } @INPROCEEDINGS {martinelli08, title = {A Runtime Monitoring Environment for Mobile Java}, author = {Martinelli, Fabio and Mori, Paolo and Quillinan, T. B. and Schaefer, Christian}, booktitle = {Proceedings of the 1st International ICST workshop on Security Testing}, year = {2008}, month = {April}, organization = {ICST}, location = {Lillehammer, Norway.}, keywords = {Security Contract SxC}, abstract = {The increased availability of mobile broadband connections enables the expansion of software downloads to mobile devices. This leads to greater number of available services and a better utilisation of the computational power of mobile devices. The downside of this increased software availability is an increase in the possible attack vectors. One scenario is the misuse of resources, for example, a game is sending more SMS’s than the user wishes it to send. Thus, techniques need to be in place that prevent downloaded software from misusing resources on the mobile device. In this paper, we show how it is possible to prevent such misuse of resources through the use of a runtime monitor that performs execution-time checks to monitor if the application is behaving correctly or not. This runtime monitor enhances the flexibility of the Java security model for mobile devices and allows to enforce security policies without having to rely on signatures of the downloaded applications.}, } @INPROCEEDINGS {Rana-GenCon08, title = {Monitoring and Reputation Mechanisms for Service Level Agreements}, author = {Rana, O. and Warnier, M. and Quillinan, T. B. and Brazier, F. M. T. }, booktitle = {Proceedings of the 5th International Workshop on Grid Economics and Business Models (GenCon)}, year = {2008}, month = {August}, publisher = {Springer Verlag}, address = {Las Palmas, Gran Canaria, Spain.}, } @INPROCEEDINGS {Pournaras08a, title = {Towards Adaptive Energy Plan Aggregation over a Peer-to-Peer Tree Overlay}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. and Ogston, E. }, booktitle = {the Performance for Peers Workshop (P4P2P 2008) proceedings}, year = {2008}, abstract = {Global stabilization of energy networks without centralised control is a challenge. This paper explores the potential of coordination of energy usage of intelligent thermostatically controlled appliances (TCA) using a p2p network. A p2p tree overlay provides the basic structure for distributed plan aggregation and distribution. The approach is presented and discussed in the light of the risks and benefits identified.}, } @INPROCEEDINGS {Pournaras08b, title = {Using Intelligent Agents for Self-Adaptation and Self-Optimization of Energy Consumption in Power Networks}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, booktitle = {the first International Workshop on Agents for Autonomic Computing (AAC 2008)}, year = {2008}, abstract = {Global stabilization of energy networks without centralized control is the challenge this paper addresses. An agent-based approach to decentralized self-management of networked appliances is the solution this paper explores. Software agents represent thermostatically controlled appliances (TCAs), generate energy plans for expected energy consumption, and interact with each other as peers within a tree based peer-to-peer overlay. The Energy Plan Overlay Summation (EPOS) mechanism proposed, propagates plans generated by individual TCA agents to aggregators within this structure to achieve self-optimization/stabilization of energy requests. Preliminary results in a small-scale and restrictive environment are promising: a 15% increase in energy stabilization is achieved.}, } @INPROCEEDINGS {refx_Splunter_2008a, title = {Decentralized performance-aware reconfiguration of complex service configurations}, author = {van Splunter, S. and van Langen, P. H. G. and Brazier, F. M. T. }, booktitle = {Proceedings of the Performance for Peer-to-Peer Systems (P4P2P) workshop}, year = {2008}, month = {May}, organization = {University of Warwick}, location = {Warwick}, abstract = {Execution of complex workflows is one of many applications of P2P networks. Sustaining complex workflows in a dynamic P2P network requires adaptation when hosts involved in the workflow lose network connectivity. Adaptation of complex workflows without centralised monitoring and control is a challenge, and is often limited to instance replacement. If requirements are given on the performance of the complex workflow as a whole, then possibilities for automated adaptation are limited even more. This paper describes how adaptation of complex web service configurations can be applied on complex workflows in P2P networks. In our approach templates are used as a structuring principle, allowing distribution of the requirements on which the complex service configuration is based. This distribution of requirements allows local adaptation, without centralised monitoring and control. Checking locally whether overall performance requirements are satisfied for a proposed adaptation is enabled by propagation functions. By deploying a template-based web service configuration over the P2P network, effectively a distributed adaptive overlay network is created.}, } @INPROCEEDINGS {refx_Veelen_2008a, title = {Reconfiguration Management of Crisis Management Services}, author = {van Veelen, J. B. and van Splunter, S. and Wijngaards, N. J. E. and Brazier, F. M. T. }, booktitle = {The 15th conference of the International Emergency Management Society (TIEMS 2008)}, year = {2008}, abstract = {Management in crisis response requires continuous adaptation, for crisis situations are highly dynamic. Crisis response in general involves multiple parties, each with their own autonomy and capabilities, leading to differentiations in structure, goals and strategies, and constraints for cooperation. A crisis management system needs to support distributed and continuous adaptation on different levels of organisation, in a reliable fashion, ensuring at least some minimal level of service for every defined task. This paper presents an architecture of a generic reflective autonomic management system (GRAM). The GRAM system tackles this real-time configuration challenge by the combination of a template-based configuration system (COWS) and a workflow-based configuration system (SMDS). The first proof-of-concept GRAM system shows a reliable and predictive performance in changing environments. Future work includes extending the current realisation and validating its performance in more realistic settings.}, } @INPROCEEDINGS {warnier-timmer-etal:2008, title = {An Agent Based System for Distributed Information Management: a case study}, author = {Warnier, M. and Timmer, R. J. and Oey, M. A. and Brazier, F. M. T. and Oskamp, A. }, booktitle = {Proceedings of the 3rd Int'l Multiconference on Computer Science and Information Technology (IMCSIT'08)}, year = {2008}, pages = {55--61}, publisher = {IEEE}, abstract = {Securely managing shared information in distributed environments across multiple organizations is a challenge. Distributed information management systems designed to this purpose, must be able to support individual organizations' information policies whilst ensuring global consistency and completeness of information. This paper describes a multi-agent based prototype implementation of a distributed information management system, illustrated for distributed digital criminal dossiers. The prototype implementation runs on the multi-agent platform AgentScape.}, } @ARTICLE {warnier-oey-timmer-etal:08, title = {Enforcing Integrity of Agent Migration Paths by Distribution of Trust}, author = {Warnier, M. and Oey, M. A. and Timmer, R. J. and Overeinder, B. J. and Brazier, F. M. T. }, journal = {Int. J. of Intelligent Information and Database Systems}, year = {2009}, volume = {3}, number = {4}, abstract = {Agent mobility is the ability of an agent to migrate from one location to another across a network. Though conceptually relatively straightforward, in practice security of mobile agents is a challenge: from transport layer security to preservation of integrity in open environments. This paper discusses the security issues involved and proposes protocols for secure agent migration. AgentScape, an agent platform for mobile agents, is used to illustrate the feasibility of the implementation of these protocols.}, } @MASTERSTHESIS {vanHetSchip:2008, title = {{Integrating Jason into AgentScape - Joining BDI-theory with Agent Technology practise}}, author = {van het Schip, R. C. }, year = {2008}, month = {October}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisors: dr. Martijn Warnier and prof. dr. Frances Brazier}, abstract = {In general, Computer Science agent platforms maintain a simple agent model. In contrast, Artificial Intelligence agent technology maintains a strict agent model, requiring agents to have mental notions such as beliefs, desires and intentions (BDI). This strict model offers advantages for application developers in certain domains, as it represents a higher level of abstraction than traditional programming languages, more akin to human reasoning. To offer this strict BDI agent model to Computer Science agent platforms, this thesis describes the integration of the high-level BDI agent programming language Jason into the AgentScape agent platform, which maintains a simple agent model. The selection of relevant BDI languages is discussed, as well as the approach to integrate AgentScape and Jason. The resulting integration succeeded: Jason’s BDI reasoning engine, internal actions, agent creation and part of Jason’s communication features are all available in the integrated system.}, } @MISC {Pournaras:08, title = {Energy Consumption Stabilization by Agent-Based Decentralized Tree Aggregation}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, year = {2008}, month = {September}, howpublished = {Poster presentation at Siren 08}, note = {Poster}, } @INPROCEEDINGS {quillinan-midsec08, title = {Enforcing Security in the AgentScape Middleware.}, author = {Quillinan, T. B. and Warnier, M. and Oey, M. A. and Timmer, R. J. and Brazier, F. M. T. }, booktitle = {Proceedings of the 1st International Workshop on Middleware Security (MidSec)}, year = {2008}, month = {December}, publisher = {ACM}, location = {Leuven, Belgium.}, note = {To appear}, abstract = {Multi Agent Systems (MAS) provide a useful paradigm for accessing distributed resources in an autonomic and self-directed manner. Resources, such as web services, are increasingly becoming available in large distributed environments. Currently, numerous multi agent systems are available. However, for the multi agent paradigm to become a genuine mainstream success certain key features need to be addressed: the foremost being security. While security has been a focus of the MAS community, configuring and managing such multi agent systems typically remains non-trivial. Well defined and easily configurable security policies address this issue. A security architecture that is both flexible and featureful is prerequisite for a MAS. A novel security policy enforcement system for multi agent middleware systems is introduced. The system facilitates a set of good default configurations but also allows extensive scope for users to develop customised policies to suit their individual needs. An agent middleware, AgentScape, is used to illustrate the system.}, } @MISC {warnierBrazierBNAIC08, title = {Organized Anonymous Agents}, author = {Warnier, M. and Brazier, F. M. T. }, year = {2008}, howpublished = {Poster Presentation at the 20th Belgian Dutch AI Conference (BNAIC'08)}, note = {Poster Presentation at the 20th Belgian Dutch AI Conference (BNAIC'08)}, } @MISC {Warnier:08, title = {ACCESS: An Agent Based System for Distributed Information Management}, author = {Warnier, M. and Timmer, R. J. and Brazier, F. M. T. and Oskamp, A. }, year = {2008}, howpublished = {Poster Presentation at the TOKEN'08 symposium}, note = {Poster Presentation at the TOKEN'08 symposium}, } @MASTERSTHESIS {Clark2008, title = {Automated Security Classification}, author = {Clark, K. P. }, year = {2008}, month = {November}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisors: Drs. Marco Plas and Dr. Thomas B. Quillinan}, } @ARTICLE {Noordende:986, title = {Constructing Secure Mobile Agent Systems Using the Agent Operating System}, author = {van 't Noordende, G. and Overeinder, B. J. and Timmer, R. J. and Brazier, F. M. T. and Tanenbaum, A. S. }, journal = {International Journal of Intelligent Information and Database Systems}, year = {2009}, volume = {3}, number = {4}, } @INPROCEEDINGS {Pournaras2009a, title = {A Distributed Agent-based Approach to Stabilization of Global Resource Utilization}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, booktitle = {the International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'09)}, year = {2009}, month = {March}, publisher = {IEEE}, abstract = {Distributed management of complex, distributed systems is the focus of this paper. Adaptation through local deliberation by software agents within a hierarchical virtual organization is the approach taken. Global stabilization of resource utilization is the goal. Electricity networks are used to illustrate the potential of two fitness functions on the basis of which local choices for resource utilization are made: minimizing oscillations is the first function considered, reversing oscillations the second. Results reveal considerable increase in the stabilization of resource utilization compared to a system that utilizes resources in a greedy manner.}, } @INPROCEEDINGS {refx_Splunter_2009a, title = {Dynamic Service Reconfiguration and Enactment Using an Open Matching Architecure}, author = {van Splunter, S. and Brazier, F. M. T. and Padget, J. and Rana, O. }, booktitle = {Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal}, year = {2009}, month = {January}, note = {Accepted for publication}, abstract = {An architecture for dynamic reconfiguration of complex services, in which the enactment is automated, and the matching of services is not limited to a pre-determined set of matchers and repositories, is presented. The proposed architecture consists of three, previously developed, components: the CoWS template-based reconfiguration service, the Knoogle MatchMaker service, and the Triana workflow enactment engine. This architecture has the following innovative aspects: 1) automated adaptation of complex services, which is more flexible than existing approaches based on replacing failing instances of services within a workflow, 2) use of heterogeneous components that may be both local and distributed, and 3) dynamic selection of matchers and repositories.}, date-added={2008-11-29 19:29:38 +0100}, date-modified={2008-11-29 19:34:04 +0100}, } @INPROCEEDINGS {quillinan09, title = {Developing Agent-based Organizational Models for Crisis Management}, author = {Quillinan, T. B. and Brazier, F. M. T. and Aldewereld, H. M. and Dignum, F. and Dignum, V. and Penserini, L. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (Industrial Track)}, year = {2009}, month = {May}, location = {Budapest, Hungary}, note = {Accepted for Publication}, abstract = {Simulations of crisis scenarios have the potential to increase insight in the organizational structures needed as crises escalate. Real-life simulations involving personnel and figurants are expensive and time-consuming. Multi-agent system models allow for cost-effective simulations of changing organizational structures, enabling analysis of the implications for enactment during crisis escalation with respect to roles and communication structures. This paper presents both an organization-based model for crisis management that supports simulation of the dynamics of crisis management and a proof of concept implementation.}, } @MISC {Brazier:655, title = {AgentScape Tutorial}, author = {Brazier, F. M. T. and Warnier, M. and Oey, M. A. and Timmer, R. J. }, year = {2008}, month = {November}, note = {Tutorial Given at the University of Bath and D-CIS labs, Delft}, } @INPROCEEDINGS {Harman09, title = {A multi-layered semantics-ready sensor architecture}, author = {Harman, Thomas and Padget, J. and Warnier, M. }, booktitle = {Proceedings of the Third International Workshop on Agent Technology for Sensor Networks (ATSN-09)}, year = {2009}, abstract = {There is an intrinsic tension between sensor systems and multi-agent systems that comes down to the trade-off between cost and value: the agents want as much knowledge of their environment as possible, while the sensors are rightly protective of their often very limited resources that enable sensing and transmission. The architecture and implementation that we present here aims to provide sufficient flexibility for the cohabitation of both classes---where class is a relative term---of components through a policy-aware framework that permits the construction of ``sensors'' at whatever level of abstraction is regarded as appropriate by the designer. There are many sensor architectures available, nevertheless we believe there is some novelty in the approach we present here in terms of systems engineering, deriving mainly from the principled design of Agentscape upon which we are building, such that the notable features are modularity -there is a high degree of separation of concerns- extensibility -leading to relative ease of integration of different sensor infrastructures- and scalability -as a result of the distributed architecture that Agentscape provides. In addition, our choice of RDF as the initial database format has positive practical implications for the integration of supported sensor networks with semantic processing mechanisms.}, } @INPROCEEDINGS {Nevejan09a, title = {Spacio-temporal movements in communities of practice, in which human beings and autonomous systems participate}, author = {Nevejan, C. }, booktitle = {Proceedings of the Human Interaction with Intelligent & Networked Systems Workshop (HINNS 2009)}, year = {2009}, abstract = {Any two systems in motion will synchronize and adapt to each other and develop a shared language and/or taxonomy, according to the latest research of Luc Steels at Sony Research Labs in Paris. This happens between human beings as well as between non-human systems. In this position paper I argue, inspired the work of Luc Steels and by Thomas Kuhn’s last writings, that in the interaction between human beings and autonomous systems it is necessary to pay attention to the incommensurability that is part of this interaction. Human beings recognize spacio-temporal movements of each other, which create a ground for interaction. Autonomous systems can be defined in terms of spacio-temporal movements, but are hardly perceived as such by human beings. I argue that next to many other reasons, also the not-recognition of spacio-temporal movements between human beings and autonomous systems causes serious flaws in understanding and communication. To be able to address this issue I take the position that both human beings as well as autonomous systems participate in the specific community in which they are located and interact. Being participant in a community involves making contributions to the community, taking responsibility and being part of the evaluation of cause and effect in this community. Being a participant in a community one contributes to the language and concepts a community shares. However, when things go wrong between human beings in a community the self-correctional dynamics that evolve are based on guilt and shame, while an autonomous system provides a ‘no match’. Human drivers like hope, solidarity, compassion and love are not recognized as such by autonomous systems. Nevertheless, human beings are bound to attribute a variety of feelings to autonomous systems because they perform tasks, give feedback and are capable of evaluating formulated intentions. Human beings can perceive autonomous systems as participants in a community in their own right.}, } @INPROCEEDINGS {brazier09a, title = {Interactive distributed and networked autonomous systems: delegation or participation}, author = {Brazier, F. M. T. and van der Veer, Gerrit}, booktitle = {Proceedings of the Human Interaction with Intelligent & Networked Systems Workshop (HINNS 2009)}, year = {2009}, abstract = {Networks of autonomous systems in dynamic environments are explored within multi-agent system research and development and within autonomic computing. Self-management is core, self-configuration often necessary. Current literature distinguishes two types of assignment: (1)n delegating a system to perform a task, and (2) mandating a system to perform a task. These two types of assignment, however, do not suffice. This paper explores the need for a new type of assignment in networks of autonomous systems, participation.}, } @INPROCEEDINGS {brazier09b, title = {The Future of Energy Markets and the Challenge of Decentralized Self-Management}, author = {Brazier, F. M. T. and Ogston, E. and Warnier, M. }, booktitle = {Proceedings of the Eighth International Workshop on Agents and Peer-to-Peer Computing (AP2PC09)}, year = {2009}, abstract = {Agent and peer-to-peer based decentralized self-management is a developing technology that can change the future of energy markets. Complex, intelligent, distributed systems in dynamic environments need to adapt continually, and thus need to be designed to this purpose. Central management of such systems is often not an option: decentralised self-management is required. This holds for management of both energy producers and consumers. Self-management of emergent virtual organizations is needed. Assuming energy consuming and producing devices are autonomous systems, represented by software agents capable of self-management, virtual organizations of agents can emerge. Such organizations define communication structures between agents, for example, hierarchical or clustered organizations. Within these organizations agents can either cooperate or compete to coordinate their actions. The inherent robustness and dynamic adaptivity of peer-to-peer systems makes them ideal for providing these dynamic structures. Enhanced with interaction methodologies developed for agent systems, peer-to-peer protocols can be designed to support agents with complex autonomous behaviors.}, } @INPROCEEDINGS {warnierBrazier09a, title = {Energy Management, the challenges of self-managing virtual organisations}, author = {Warnier, M. and Brazier, F. M. T. }, booktitle = {Proceedings of the Fourth Workshop on Hot Topics in Autonomic Computing (HotAC IV)}, year = {2009}, abstract = {Complex, intelligent, distributed systems in dynamic environments need to adapt continually, and thus need to be designed to this purpose. As central management of such systems is often not an option decentralised self management is required. This holds, for example, for energy/power management: for both resources and devices. Self management of emergent virtual organisations is needed.}, } @INBOOK {brazier.ea:2002*booknew, title = {Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control}, author = {Brazier, F. M. T. and Jonker, C. M. and Treur, J. }, editor = {Meijer, J. J. and Treur, J. }, series = {Handbook of Defeasible Reasoning and Uncertainty Management Syst}, year = {2002}, volume = {7}, pages = {19--64}, publisher = {Kluwer Academic Publishers}, isbn = {978-1-4020-0834-4}, } @PHDTHESIS {langenThesis02, title = {The Anatomy of Design: Foundations, Models and Applications}, author = {van Langen, P. H. G. }, year = {2002}, school = {Vrije Universiteit Amsterdam}, } @INPROCEEDINGS {warn:07:bnaic*2, title = {Towards Automatic Identification of Completeness and Consistency in Digital Dossiers}, author = {Warnier, M. and Brazier, F. M. T. and Apistola, M. and Oskamp, A. }, editor = {Dastani, M. M. and de Kong, J. }, booktitle = {The Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007)}, year = {2007}, } @INBOOK {brazier.ea:2002*drums1, title = {Compositional Verification of a Multi-Agent System for One-to-Many Negotiation}, author = {Brazier, F. M. T. and Cornelissen, F. and Gustavsson, R. and Jonker, C. M. and Lindeberg, O. and Polak, B. and Treur, J. }, editor = {Meijer, J. J. and Treur, J. }, series = {Defeasible Reasoning and Uncertainty Management Systems}, year = {2002}, volume = {7}, pages = {455--476}, publisher = {Kluwer Academic Publishers}, } @INBOOK {brazier.ea:2002*drums2, title = {Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems}, author = {Brazier, F. M. T. and van Eck, P. A. T. and Treur, J. }, editor = {Meijer, J. J. and Treur, J. }, series = {Defeasible Reasoning and Uncertainty Management Systems}, year = {2002}, volume = {7}, pages = {169--196}, publisher = {Kluwer Academic Publishers}, } @INBOOK {brazier.ea:2002*drums3, title = {Compositional Design and Reuse of a Generic Agent Model}, author = {Brazier, F. M. T. and Jonker, P. P. and Treur, J. }, editor = {Meijer, J. J. and Treur, J. }, series = {Defeasible Reasoning and Uncertainty Management Systems}, year = {2002}, volume = {7}, pages = {113--166}, publisher = {Kluwer Academic Publishers}, } @INPROCEEDINGS {Pournarasb, title = {Adaptive Agent-based Self-organization for Robust Hierarchical Topologies}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, editor = {Bouchachia, A. and Nedjah, N. and Mourelle, L. and Pedrycz, W. }, booktitle = {Proceedings of the International Conference on Adaptive and Intelligent Systems (ICAIS'09)}, year = {2009}, month = {May}, pages = {69--76}, publisher = {IEEE Computer Society}, location = {Klagenfurt, Austria}, address = {Los Alamitos, CA}, note = {ISBN: 978-0-7695-3827-3}, abstract = {Hierarchical virtual organizations can organize and model their communication in a hierarchical topology (\ie trees). However, such topologies can be unreliable as local failures have a global impact in the organization. This is especially the case when these virtual organizations lie over large-scale distributed systems. Thus, hierarchical topologies need to adapt continuously to changes of the underlying environment. Pro-active and re-active self-organization can make such topologies highly robust. This paper proposes AETOS, the Adaptive Epidemic Tree Overlay Service. AETOS is a new agent-based approach for building and maintaining on-demand robust tree topologies to structure communication. It pro-actively positions agents appropriately in the tree to minimize the effect of failures. In addition, it re-actively rewires the connections to reflect the changes in the state of the agents. The self-organization model, the control of the system and an illustrative example are discussed in this paper.}, } @ARTICLE {brazierKephart09, title = {Agents and Service-Oriented Computing for Autonomic Computing: A Research Agenda}, author = {Brazier, F. M. T. and Kephart, J. O. and Huhns, M. and Van Dyke Parunak, H. }, journal = {IEEE Internet Computing}, year = {2009}, month = {May}, volume = {13}, number = {3}, pages = {82--87}, doi = {10.1109/mic.2009.51}, abstract = {Autonomic computing is the solution proposed to cope with the complexity of today's computing environments. Self-management, an important element of autonomic computing, is also characteristic of single and multiagent systems, as well as systems based on service-oriented architectures. Combining these technologies can be profitable for all — in particular, for the development of autonomic computing systems.}, } @INCOLLECTION {Nevejan:982, title = {As ever and never before}, author = {Nevejan, C. }, booktitle = {Presence for everyone, a short guide to presence research}, year = {2009}, publisher = {Centre for Interaction Design, Edinburgh Napier University}, note = {David Benyon, Michael Smyth and Ingi Helgason (eds.)}, } @ARTICLE {Nevejan:306, title = {Witnessed Presence and the YUTPA Framework}, author = {Nevejan, C. }, journal = {PsychNology Journal}, year = {2009}, volume = {7}, number = {1}, pages = {59--76}, issn = {1720-7525}, url = {http://www.psychnology.org/421.php}, abstract = {This paper introduces the notion of witnessed presence arguing that the performative act of witnessing presence is fundamental to dynamics of negotiating trust and truth. As the agency of witnessed presence in mediated presence differs from natural presence orchestration between natural and mediated presences is needed. The YUTPA framework, introduced in this paper, depicts 4 dimensions to define witnessed presence: time, place, action and relation. This framework also provides a context for design of trust in products and services, as illustrated for a number of illustrative scenarios.}, } @INPROCEEDINGS {Khader:571, title = {Reactive Monitoring of Service Level Agreements}, author = {Khader, D. and Padget, J. and Warnier, M. }, booktitle = {In the Service Level Agreements in Grids Workshop proceedings}, year = {2009}, abstract = {Service Level Agreements require a monitoring system that checks that no party violates the agreement. Current monitoring techniques either have a high performance overhead or are not reliable enough. This paper proposes a new theoretical hybrid monitoring system that we call reactive monitoring. It tries to balance the disadvantages of established monitoring techniques, in particular online and offline monitoring. Online monitoring has a relatively high performance overhead and offline monitoring does not identify all possible violations. Reactive monitoring combines online monitoring, which is used for reactively checking continuous SLA properties with a new passive monitoring scheme. This scheme is used for monitoring discrete SLA properties. It is based on cryptographic primitives that provide proof that either a certain stage in an interaction has been reached correctly with all participants in compliance of the service level agreements or that a violation has occurred. In the latter case the violating party can be identified. A theoretical analysis shows that in the worst case scenario this new approach has the same overhead as online monitoring techniques and in most cases the overhead will be significantly lower.}, } @ARTICLE {Warnier:550, title = {Anonymity Services for Multi-Agent Systems}, author = {Warnier, M. and Brazier, F. M. T. }, journal = {Web Intelligence and Agent Systems An International Journal}, year = {2010}, volume = {8}, number = {2}, pages = {219--232}, issn = {1570-1263}, abstract = {Anonymity can be of great importance in distributed agent applications such as e-commerce & auctions. This paper proposes and analyzes a new approach for anonymous communication of agents based on the use of handles as pseudonyms. A novel naming scheme is presented that can be used by agent platforms to provide automatic anonymity of communication for \emph{all} agents on its platform, or, alternatively, to provide anonymity \emph{on demand}. The paper furthermore introduces new approaches that provide authentication and anonymous payment schemes for agents. Performance measures for an anonymity service implemented for the AgentScape platform provides some insight in the overhead involved.}, } @INPROCEEDINGS {Schip:438, title = {Template evaluation and selection for WS-Agreement}, author = {van het Schip, R. C. and van Splunter, S. and Brazier, F. M. T. }, booktitle = {Service Level Agreements in Grids Workshop proceedings}, year = {2009}, abstract = {Large-scale use of Grids and service-oriented architectures requires agreement of providers and consumers on the terms of use of services, modelled as Service Level Agreements. WS-Agreement is an evolving standard, using advertisements to describe available services and negotiation constraints on the terms of use for a service. This allows for more efficient service discovery and negotiation. If multiple advertisements are available at the start of a negotiation, a starting advertisement needs to be selected. This, however, has great impact on the possible outcome of the negotiation process. This paper identifies relevant functions for advertisement selection and characterises their resulting behaviour.}, } @MASTERSTHESIS {Praczyk:433, title = {Distributed Facial Recognition and Matching}, author = {Praczyk, P. }, year = {2009}, month = {October}, school = {VU University Amsterdam}, abstract = {The statistical face recognition methods, the Principal Component Analysis and the Linear Discriminant Analysis in particular, seem to be appropriate for the usage in a social network environment. In this paper we describe the architecture of a sample facial recognition system based on these two algorithms. The solution is based on the Map reduce distributed pro- gramming paradigm. The description of the paradigm and its Open Source implementation, Hadoop are provided. The performance measures and estimates are analysed in context of the usage pattern present in social networks such as Hyves.}, } @MASTERSTHESIS {Peterman:106, title = {Threat modeling of Enterprise Content Management Systems}, author = {Peterman, N. }, year = {2009}, month = {December}, school = {Vrije Universiteit Amsterdam}, abstract = {Enterprise Content Management (ECM) systems are used to store and distribute digital content in companies. This digital content consists of different kinds of documents. They are related to organizational processes and can be critical for business processes. ECM systems consist of different modules each of these modules has their own purpose, and focus on different tasks. ECM systems are designed to archive and control correspondence of documents within corporations. They can be used to store documents centrally and these can be accessed by others at the other side of the world. This helps employees communicate and it also helps align business processes, because cooperation is made easier or even automated. ECM systems also help secure electronic documents, within the system can be determined who does or who does not have access or certain privileges. ECM systems have many advantages such as workflow management, increased availability of documents and secured storage of these documents, but also bring new threats and vulnerabilities to the company and their documents. To date these threats have not been thoroughly analyzed and therefore the process of analyzing and repairing the threats must be repeated for every project and/or company. The pitfalls many companies face may have already been solved by others. A framework needs to be developed so it can be used as a guide for new implementations of ECM systems: this can help developers create better systems. This dissertation describes and illustrates an approach for documenting the attack information for Enterprise Content Management systems. The research results provide an overview of the threats and vulnerabilities that emerge in ECM systems. The threats were measured according to their probability and the damage they would cause. The results are displayed as Attack Trees. Attack Trees are designed to graphically display threats. These trees are then used to evaluate and value the threats according to their probability or the damage they could cause. This can be used by security analysts to document and identify regularly occurring security flaws within these systems. Such an analysis allows security professionals to address these reoccurring flaws and, thus, create more survivable systems.}, } @INPROCEEDINGS {Schip:41, title = {Deploying BDI agents in open, insecure environments}, author = {van het Schip, R. C. and Warnier, M. and Brazier, F. M. T. }, booktitle = {Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS'09)}, year = {2009}, abstract = {Secure deployment of agents in open, insecure environments is a challenge, for which a number of multi-agent system (MAS) frameworks have been designed. Secure deployment of BDI-based MAS in such environments, however, has yet to be addressed. This paper proposes an architecture to securely support large-scale, heterogeneous, BDI-based multi-agent systems, using JASON and AgentScape to illustrate the approach. An example scenario in which BDI agents negotiate the price of electricity in an open energy market sets the stage.}, } @MASTERSTHESIS {Liu:819, title = {K-Track, a MAS Enabled Proactive Forensic System}, author = {Liu, D. }, year = {2009}, month = {October}, school = {Vrije Universiteit Amsterdam}, note = {MSc thesis report, Supervisors: Dirk de Hen, Koen Boinck, drs. Sander van Splunter, and prof. dr. Frances M.T. Brazier}, } @INPROCEEDINGS {Splunter:772, title = {Dynamic Service Reconfiguration and Enactment Using an Open Matching Architecture}, author = {van Splunter, S. and Brazier, F. M. T. and Padget, J. and Rana, O. }, booktitle = {Proceedings of the 21th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'09)}, year = {2009}, pages = {373--374}, location = {Eindhoven}, note = {Extended abstract}, } @INPROCEEDINGS {Veelen:640, title = {Reconfiguration Management of Crisis Management Services}, author = {van Veelen, J. B. and van Splunter, S. and Wijngaards, N. J. E. and Brazier, F. M. T. }, booktitle = {Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08)}, year = {2008}, location = {Enschede}, note = {Extended abstract}, } @INPROCEEDINGS {Splunter:614, title = {Decentralized performance-aware reconfiguration of complex service configurations}, author = {van Splunter, S. and van Langen, P. H. G. and Brazier, F. M. T. }, booktitle = {Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08)}, year = {2008}, note = {Extended abstract}, } @INPROCEEDINGS {Rana:576, title = {Monitoring and Reputation Mechanisms for Service Level Agreements}, author = {Rana, O. and Warnier, M. and Quillinan, T. B. and Brazier, F. M. T. }, booktitle = {Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08)}, year = {2008}, note = {Extended abstract}, } @INPROCEEDINGS {Gradwell:283, title = {Engineering Large-scale Distributed Auctions}, author = {Gradwell, P. and Oey, M. A. and Timmer, R. J. and Brazier, F. M. T. and Padget, J. }, booktitle = {Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08)}, year = {2008}, location = {Enschede}, note = {Extended abstract}, } @MISC {Splunter:204, title = {Generic Reflective Autonomous Management (GRAM)}, author = {van Splunter, S. and van Veelen, J. B. and Brazier, F. M. T. and Wijngaards, N. J. E. }, year = {2008}, howpublished = {poster presentation at SIREN 2008}, } @INPROCEEDINGS {Rana:559, title = {Monitoring and Reputation Mechanisms for Service Level Agreements}, author = {Rana, O. and Warnier, M. and Quillinan, T. B. and Brazier, F. M. T. }, booktitle = {Proceedings of the The 20th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC08)}, year = {2008}, abstract = {A Service Level Agreement (SLA) is an electronic contract between a service user and a provider, and specifies the service to be provided, Quality of Service (QoS) properties that must be maintained by a provider during service provision (generally defined as a set of Service Level Objectives (SLOs)), and a set of penalty clauses specifying what happens when service providers fail to deliver the QoS agreed. Although significant work exists on how SLOs may be specified and monitored, not much work has focused on actually identifying how SLOs may be impacted by the choice of specific penalty clauses. A trusted mediator may be used to resolve conflicts between the parties involved. The objectives of this work are to: (i) identify classes of penalty clauses that can be associated with an SLA; (ii) define how to specify penalties in an extension of WS-Agreement; and (iii) specify to what extent penalty clauses can be enforced based on monitoring of an SLA.}, } @MISC {gradwell*08b, title = {Engineering Distributed Auctions}, author = {Gradwell, P. and Oey, M. A. and Timmer, R. J. and Brazier, F. M. T. and Padget, J. }, year = {2008}, month = {May}, howpublished = {Poster at AAMAS08}, } @INPROCEEDINGS {Pournaras:742, title = {Adaptive Agent-based Self-organization for Robust Hierarchical Topologies}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, booktitle = {7th European workshop on multi-agent systems (EUMAS 09)}, year = {2009}, month = {December}, abstract = {Virtual organizations in large-scale distributed environments can organize their communication in a hierarchical topology (i.e., trees). However, such topologies can be unreliable as local failures have a global impact in the organization. Hierarchical topologies need to adapt con- tinuously to changes of the underlying environment. Pro-active and re- active self-organization can make such topologies highly robust. This paper proposes AETOS, the Adaptive Epidemic Tree Overlay Ser- vice. AETOS is a new agent-based approach for building and maintaining on-demand robust tree topologies that structure communication. Agents are pro-actively (self)-organized appropriately in a tree to minimize the effect of failures. In addition, they re-actively rewire their connections to reflect changes in the environment. The self-organization model, the control of the system and an illustrative example are discussed in this paper.}, } @INPROCEEDINGS {Pournaras:429, title = {A Distributed Agent-based Approach to Stabilization of Global Resource Utilization}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, booktitle = {21th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2009)}, year = {2009}, month = {October}, pages = {353--354}, } @INPROCEEDINGS {Quillinan:92, title = {Using Agent-based Organisational Models for Crisis Management}, author = {Quillinan, T. B. and Brazier, F. M. T. and Aldewereld, H. M. and Dignum, F. and Dignum, V. and Penserini, L. and Wijngaards, N. J. E. }, booktitle = {Proceedings of the 21th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'09)}, year = {2009}, pages = {355--356}, location = {Eindhoven}, note = {Extended abstract}, } @INPROCEEDINGS {Ogston:347, title = {Apportionment of Control in Virtual Power Stations}, author = {Ogston, E. and Brazier, F. M. T. }, booktitle = {In the proceedings of the international conference on infrastructure systems and services 2009: Developing 21st Century Infrastructure Networks}, year = {2009}, abstract = {Distributed energy resource management involves matching the production of and demand for power in electrical grids. This leads to the question, where should responsibility for resource use be placed? A number of potential management schemes exist in current work on complex large-scale distributed computer systems. This paper works towards a comparison of their relative performance. A test scenario is designed, based on the concept of a virtual power station. Simulations are run, using input data from an actual system, to produce estimates of the overall cost of electricity in a virtual power station over a given period. Results are presented that examine the effect of improving or weakening management precision at various points. These indicate that fairly weak management techniques may be sufficient. While the presence of a number of forms of management, including central control, local autonomous control, and variation of group composition, is significant, improved management does not bring very large additional benefits. This can have important implications when designing virtual power station implementations. For instance it indicates low-grade communication networks and control devices may provide the best return on investment.}, } @INPROCEEDINGS {clark2010sms, title = {Secure Monitoring of Service Level Agreements}, author = {Clark, K. P. and Warnier, M. and Quillinan, T. B. and Brazier, F. M. T. }, booktitle = {Proceedings of the Second International Workshop on Organizational Security Aspects (OSA 2010)}, year = {2010}, month = {March}, publisher = {IEEE}, keywords = {sla, ws-agreement, distributed monitoring, reliability}, abstract = {Service Level Agreements (SLA) are commonly used to define terms and conditions of service provisioning. WS-Agreement1 is an SLA specification that addresses the need of both producers and consumers of services to specify and negotiate terms and conditions of access to these services. This specification has gained wide acceptance in both the Grid computing and Web Services communities. WS-Agreement includes support for both negotiating and specifying penalties that arise from violation of these terms and conditions. It does not, however, include support for monitoring these agreements to determine if any such violations have occurred and, if so, determining which parties are responsible. This paper proposes a framework and design for secure and reliable monitoring of WS-Agreement specified SLAs. Modifications to WS-Agreement are necessary for effective monitoring. These modifications are outlined, along with an implementation of the framework in the AgentScape middle- ware system.}, } @MASTERSTHESIS {Ruiter:449, title = {The Relationship between Privacy and Information Security in Cloud Computing Technologies}, author = {Ruiter, J. }, year = {2009}, school = {Vrije Universiteit Amsterdam}, abstract = {Cloud Computing is a new paradigm in the world of IT. In traditional IT environments, clients connected to a number of servers located on company premises. In Cloud Computing, users connect to the “Cloud”, appearing as a single entity as opposed to multiple servers. In external Cloud Computing, the Cloud represents an outsourced infrastructure (Infrastructure as a Service, IaaS), development platform (Platform as a Service, PaaS) or software service (Software as a Service, SaaS). Outsourcing data to the Cloud Service Provider (CSP), an external party involves giving the CSP some form of control over the data. Privacy regulations put requirements on organizations regarding storage, processing and transmission of data. Outsourcing this data to a CSP involves outsourcing partial control over the storage, processing and transmission of data. This research has two related objectives, formulated in the following problem statement: How do existing regulations in the area of privacy affect the implementation of Cloud Computing technologies and how does the implementation of Cloud Computing technologies affect compliance with these regulations? The first part of the problem statement involves how current privacy regulations affect implementations of Cloud Computing. In other words: do privacy regulations play a role in the design and implementation of Cloud Computing within an organization. The second part of the problem statement involves how implementation of Cloud Computing affects compliance with privacy regulations. This part aims at discovering how regulations should be interpreted regarding Cloud Computing. This thesis tries to answer the problem statement by a qualitative, exploratory literature study, questionnaire and interviews. The literature study was used to create a questionnaire and interview questions for CSPs. An attempt to answer the problem statement was made by combining the literature study with the questionnaire and interviews.}, } @INPROCEEDINGS {Veiel:659, title = {Facilitating Group-based Adaptation of Shared Workspaces using a Multi-Agent System}, author = {Veiel, D. and Lukosch, S. and Warnier, M. and Oey, M. A. and Haake, J. M. }, booktitle = {In the proceedings of the Context-Adaptive Interaction for Collaborative Work (CAICOLL'10) workshop}, year = {2010}, abstract = {In this paper we present an agent-based approach to facili- tate context-based adaptations using context information of a group of users. To minimize the effort to collect all rele- vant information of the current collaboration situation, and the amount of data to be kept, we propose a decentralized, agent-based approach that keeps track of the contextualized state.}, } @INBOOK {Oey:415, title = {Security in Large-Scale Open Distributed Multi-Agent Systems}, author = {Oey, M. A. and Warnier, M. and Brazier, F. M. T. }, editor = {Kordic, V. }, year = {2010}, month = {June}, type = {Chapter}, pages = {107--130}, chapter = {6}, publisher = {IN-TECH}, isbn = {978-953-307-089-6}, url = {http://sciyo.com/articles/show/title/security-in-large-scale-open-distributed-multi-agent-systems}, } @INPROCEEDINGS {Ruiter:450, title = {Privacy Regulations for Cloud Computing, Compliance and Implementation in Theory and Practice}, author = {Ruiter, J. and Warnier, M. }, booktitle = {In the proceedings of the Workshop on Security and Privacy in Cloud Computing (SPCC 2010)}, year = {2010}, } @ARTICLE {Pournaras:751, title = {Local Agent-based Self-stabilisation in Global Resource Utilisation}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, journal = {International Journal of Autonomic Computing (IJAC)}, year = {2010}, abstract = {Distributed management of complex large-scale infrastructures, such as power distribution systems, is challenging. Sustainability of these systems can be achieved by enabling stabilisation in global resource utilisation. This paper proposes EPOS, the Energy Plan Overlay Self-stabilisation system, for this pur- pose. EPOS is an agent-based approach that performs self-stabilisation over a tree overlay, as an instance of a hierarchical virtual organisation. The global goal of stabilisation emerges through local knowledge, local decisions and local interactions among software agents organised in a tree. Two fitness functions are proposed to stabilise global resource utilisation. The first proactively keeps deviations minimised and the second reactively reverses deviations. Extensive experimentation reveals that EPOS outperforms a system that utilises resources in a greedy manner. Finally, this paper also investigates and evaluates factors that influence the effectiveness of EPOS.}, } @INBOOK {Pournaras:284, title = {Self-optimized Tree Overlays using Proximity-driven Self-organized Agents}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, series = {Optimization and its Applications}, year = {2010}, edition = {Complex Intelligent Systems and Their Applications}, chapter = {7}, publisher = {Springer}, abstract = {Hierarchical structures are often deployed in large scale distributed sys- tems to structure communication. Building and maintaining such structures in dy- namic environments is challenging. Self-organisation is the approach taken in this chapter. AETOS, the Adaptive Epidemic Tree Overlay Service, provides tree over- lays on demand. AETOS uses three local agents to this purpose (i) to translate ap- plication requirements to self-organisation requirements, (ii) to self-organise nodes into optimised tree topologies based on these requirements, (iii) to control boot- strapping and termination of self-organisation. The evaluation of AETOS in dif- ferent simulation settings shows that it provides high connectivity in tree overlays optimised according to application requirements.}, } @INPROCEEDINGS {Pournaras:478, title = {Towards Emergent Energy Synchronization using Agents}, author = {Pournaras, E. and Warnier, M. and Brazier, F. M. T. }, booktitle = {In proceedings of the the First International Workshop on Agent Technologies for Energy Systems (ATES 2010)}, year = {2010}, abstract = {Synchronization of energy consumption is a key determinant for the stabilization of smart energy grids. This paper proposes software agents that locally synchronize the energy usage of appliances to minimize the oscillations in global energy consumption. Agents can manage demand-side devices with periodic operation and synchronize their consumption locally resulting in an emerging global stability of energy consumption. The benefits and challenges of such an approach are discussed in this paper.}, } @INPROCEEDINGS {Padget:935, title = {An Agent-Based Infrastructure for Energy Profile Capture and Management}, author = {Padget, J. and Riat, H. and Warnier, M. and Brazier, F. M. T. and Natarajan, S. }, booktitle = {In the proceedings of the First International Workshop on Agent Technologies for Energy Systems (ATES 2010)}, year = {2010}, abstract = {Accurately and dynamically monitoring energy usage patterns in households forms a first requirement for more efficient and eco-friendly energy management in the future. Monitored energy usage data can be used by power systems engineering -to inform demand-side management systems in the near future term- and in architecture/civil engineering -where it can be used to carry out long-term studies across populations and sectors to estimate future demand and to evaluate prospective (social) policies. This paper presents an agent based prototype of an architecture to meet these needs. The proposed system remains flexible to new functional requirements and adaptable to new edge devices for data collection, as well as offering the potential to `close the loop' and permit remote control of power supplies to individual appliances. Some preliminary analyses of data collected is used to illustrate what may be possible in the longer term.}, } @INPROCEEDINGS {Shishkov:469, title = {On the Application of Autonomic and Context Aware-Computing to support Home Energy Management}, author = {Shishkov, B. B. and Warnier, M. and van Sinderen, M. J. }, booktitle = {proceedings of the 12th International Conference on Enterprise Information Systems (ICEIS 2010)}, year = {2010}, abstract = {Conventional energy sources are becoming scarce and with no (eco-friendly) alternatives deployed at a large scale, it is currently important finding ways to better manage energy consumption. We propose in this paper ICT-related solution directions that concern the energy consumption management within a household. In particular, we consider two underlying objectives, namely: (i) to minimize the energy consumption in households; (ii) to avoid energy consumption peaks for larger residential areas. The proposed solution directions envision a service-oriented approach that is used to integrate ideas from Autonomic Computing and Context-aware Computing: (a) The former influences our considering a selective on/off powering of thermostatically controlled appliances, which allows for energy redistribution over time; (b) The latter influences our using context information to analyze the energy requirements of a household at a particular moment and based on this information, appliances can be powered down. Household-internally, this can help adjusting energy consumption as low as it can be with no violation of the preferences of residents. Area-wise, this can help avoiding energy consumption peaks. It is expected thus that such an approach can contribute to the reduction of home energy consumption in an effective and user-friendly way. Our proposed solution directions are not only introduced and motivated but also partially elaborated through a small illustrative example.}, } @INPROCEEDINGS {Haydarlou:2010a, title = {Structured Use-Cases as a Basis for Self-Management of Distributed Systems}, author = {Haydarlou, A. R. and Oey, M. A. and Warnier, M. and Brazier, F. M. T. }, booktitle = {proceedings of the 5th International Conference on Software and Data Technologies (ICOSFT 2010)}, year = {2010}, abstract = {Automated support for management of complex distributed object-oriented systems is a challenge: self-management of such systems the goal. This paper presents a use-case based approach to self-management of such systems, focusing on autonomic monitoring and diagnosis. The existing notion of use-case has been extended to different levels of system design: explicitly specifying system behavior at different levels, and the relations between these levels, coupling structural models to these descriptions when and where appropriate. The proposed model is illustrated with a small example.}, } @PHDTHESIS {Splunter:420, title = {Automated Web Service Reconfiguration}, author = {van Splunter, S. }, year = {2010}, month = {March}, school = {VU University Amsterdam}, } @MISC {Splunter:19, title = {Using composition knowledge for design adaptations}, author = {van Splunter, S. and van Langen, P. H. G. and Brazier, F. M. T. }, year = {2010}, month = {July}, howpublished = {poster at fourth international conference on design computing and cognition (DCC10)}, } @INPROCEEDINGS {oey*10, title = {A Framework for Developing Agent-Based Distributed Applications}, author = {Oey, M. A. and van Splunter, S. and Ogston, E. and Warnier, M. and Brazier, F. M. T. }, booktitle = {Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-10)}, year = {2010}, month = {September}, publisher = {IEEE/WIC/ACM}, location = {Toronto, Canada}, note = {To appear}, } |