Statecharts: A visual formalism for complex systems
Science of Computer Programming
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Tools for specifying real-time systems
Real-Time Systems - Special issue: history of real-time systems
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Managing semistructured data with florid: a deductive object-oriented perspective
Information Systems - Special issue on semistructured data
Conceptual modeling for data and knowledge management
Data & Knowledge Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows
ECBS '02 Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
This paper proposes a method to represent agent Unified Modelling Language (AUML) in logic form using F-logic that provides deductive capability and uniform knowledge integration base. The AUML is used to differentiate relevant interaction more precisely at the analysis phase of developing a multiagent system. However, the AUML lacks for foundation and logic semantics. Thus we aim at constructing sufficient formality to facilitate formal analysis and to explore the behaviour and message route of the AUML. The AUML is transformed into F-logic language first by transformation rules. Secondly, a logic interpretation of this agent structure is presented. The transformation processes and results are illustrated using an example of E-commerce system. Finally, the significance of this approach is discussed and summarized.