Formal architectural models for agent-based service systems

Authors:
Zuohua Ding;Jianming Dong;Wei Han
Affiliations:
Center of Mathematical Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, PR China.;Center of Mathematical Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, PR China.;Center of Mathematical Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, PR China
Venue:
International Journal of Computer Applications in Technology
Year:
2008

Citing 23
Cited 0

Communicating sequential processes

Communicating sequential processes
An Intrusion-Detection Model

IEEE Transactions on Software Engineering - Special issue on computer security and privacy
A communicating Petri net model for the design of concurrent asynchronous modules

DAC '94 Proceedings of the 31st annual Design Automation Conference
Representing and executing agent-based systems

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
TCP/IP illustrated (vol. 2): the implementation

TCP/IP illustrated (vol. 2): the implementation
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Understanding Code Mobility

IEEE Transactions on Software Engineering
Petri net algebra

Petri net algebra
Simple, state-based approaches to program-based anomaly detection

ACM Transactions on Information and System Security (TISSEC)
Jini Specification

Jini Specification
The Gaia Methodology for Agent-Oriented Analysis and Design

Autonomous Agents and Multi-Agent Systems
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
A Framework for Model-Based Design of Agent-Oriented Software

IEEE Transactions on Software Engineering
A Formal Architectural Model for Logical Agent Mobility

IEEE Transactions on Software Engineering
Dynamic Based Multi-Agent Architecture for Multimedia Multimodal Dialogs

KMN '02 Proceedings of the IEEE Workshop on Knowledge Media Networking
A Petri net-based model for web service composition

ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
A multi formalisms prototyping approach from formal description to implementation of distributed systems

RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
A Dynamic Architecture for Multi-Agent Systems

TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
Modeling and validation of service-oriented architectures: application vs. style

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formalisms for multi-agent systems

The Knowledge Engineering Review
A Service Oriented Architecture Framework for Collaborative Services

WETICE '05 Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise
Modelling mobility and mobile agents using nets within nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Achieving the promise of reuse with agent components

Software engineering for large-scale multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.