Formal architectural models for agent-based service systems

This paper describes formal architectural models for three types of service systems: static service system, dynamic service system and mobile service system. The system architectures are agent based. For each model, we investigate the properties and give the case study.

[1]  Daniel Moldt,et al.  Modelling Mobility and Mobile Agents Using Nets within Nets , 2003, ICATPN.

[2]  山崎 達也.  IEEE Workshop on Knowledge Media Networking (KMN'02) , 2003 .

[3]  John Darlington,et al.  Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSI , 2004, European Across Grids Conference.

[4]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[5]  Martin L. Griss,et al.  Achieving the Promise of Reuse with Agent Components , 2002, SELMAS.

[6]  Bill Lin,et al.  A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules , 1994, 31st Design Automation Conference.

[7]  Dianxiang Xu,et al.  A Formal Architectural Model for Logical Agent Mobility , 2003, IEEE Trans. Software Eng..

[8]  Dorothy E. Denning,et al.  An Intrusion-Detection Model , 1987, IEEE Transactions on Software Engineering.

[9]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[10]  Rüdiger Valk,et al.  Concurrency in Communicating Object Petri Nets , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[11]  XianPing Tao,et al.  A mobile-agent-based approach to software coordination in the HOOPE system , 2002, Science in China Series F: Information Sciences.

[12]  Andrzej Cichocki,et al.  Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes , 2000, CAiSE.

[13]  Kunihiko Hiraishi,et al.  A Petri-net-based model for the mathematical analysis of multi-agent systems , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[14]  Haiping Xu,et al.  A Framework for Model-Based Design of Agent-Oriented Software , 2003, IEEE Trans. Software Eng..

[15]  Luciano Baresi,et al.  Modeling and validation of service-oriented architectures: application vs. style , 2003, ESEC/FSE-11.

[16]  David Garlan,et al.  Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events , 2003, SFM.

[17]  Fabrice Kordon,et al.  A multi formalisms prototyping approach from formal description to implementation of distributed systems , 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

[18]  Qing-Cai Chen,et al.  Specification and Verification of Multi-Agent Systems with a Property-Preserving Component-Based Methodology , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[19]  Maciej Koutny,et al.  Petri Net Algebra , 2001, Monographs in Theoretical Computer Science An EATCS Series.

[20]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[21]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[22]  Martin K. Purvis,et al.  The NZDIS project: an agent-based distributed information systems architecture , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[23]  Anup Ghosh,et al.  Simple, state-based approaches to program-based anomaly detection , 2002, TSEC.

[24]  Roberto J. Bayardo,et al.  Vinci: a service-oriented architecture for rapid development of web applications , 2001, WWW '01.

[25]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[26]  Zhongzhi Shi,et al.  A dynamic architecture for multi-agent systems , 1999, Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393).

[27]  Stephanie Forrest,et al.  Intrusion Detection Using Sequences of System Calls , 1998, J. Comput. Secur..

[28]  W. Richard Stevens,et al.  TCP/IP Illustrated, Volume 2: The Implementation , 1995 .

[29]  Todd L. Heberlein,et al.  Network intrusion detection , 1994, IEEE Network.

[30]  Jim Waldo,et al.  The Jini Specification , 1999 .

[31]  Mark Ryan,et al.  Formalisms for multi-agent systems , 1997, Knowl. Eng. Rev..

[32]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[33]  Schahram Dustdar,et al.  A service oriented architecture framework for collaborative services , 2005, 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05).

[34]  Hong Zhu,et al.  SLABS: A Formal Specification Language for Agent-Based Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[35]  Amar Ramdane-Cherif,et al.  Dynamic Based Multi-Agent Architecture for Multimedia Multimodal Dialogs , 2002 .

[36]  C. Tadj,et al.  Dynamic multi-agent architecture for multimedia multimodal dialogs , 2002, Proceedings. IEEE Workshop on Knowledge Media Networking.

[37]  Gian Pietro Picco,et al.  Understanding code mobility , 1998, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[38]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[39]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.