Cited By
View all- Guzmán AOlivares JDemetrio ADomínguez C(2000)Interaction of Purposeful Agents that Use Different OntologiesMICAI 2000: Advances in Artificial Intelligence10.1007/10720076_51(557-573)Online publication date: 2000
Towards agent-oriented specification of information systems
Pages 502 - 503
Abstract
No abstract available.
References
[1]
Conrad, S., and Saake, G. 1995. Evolving Temporal Behaviour in Information Systems. In Int. Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '95), PP7:1-16. Participant's Proceedings, Paderborn.
[2]
Conrad, S. 1996. A Basic Calculus for Verifying Properties of Interacting Objects. Data ~ Knowledge Engineering 18(2):119-146.
[3]
Jungclaus, R.; Saake, G.; Hartmann, T.; and Sernadas, C. 1996. TROLL- A Language for Object-Oriented Specification of Information Systems. ACM 2~ransactions on Information Systems 14(2):175- 211.
[4]
Tiirker, C.; Conrad, S.; and Saake, G. 1996. Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems. In RaS, Z. W., and Michalewicz, M., eds., Foundations of Intelligent Systems (ISMIS'96), 572-581. LNAI 1079, Springer-Verlag, Berlin.
Index Terms
- Towards agent-oriented specification of information systems
Recommendations
A formal specification language for agent-oriented software engineering
AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systemsThis paper reports a formal specification language SLABS for developing multi-agent systems. One of the most appealing features of agent technology is its natural way to modularise complex systems in terms of multiple interacting autonomous components. ...
Towards Agent Oriented Methodology: A Fuzzy based Formal Refinement Approach for Multi-agent
ICEMIS '15: Proceedings of the The International Conference on Engineering & MIS 2015This paper aims to provide a general framework for the design of complex systems such as multi-agents systems (MAS). It is based on formal specification model which supports MAS requirements. This model, called Open Fuzzy Synchronized Petri Net (OFSyPN),...
Dynamic specification of open agent systems
Multi-Agent Systems (MAS) where the agents are developed by different parties and serve different interests, are often classified as ‘open’. The specification of open MAS is largely seen as a design-time activity. Moreover, there is no support for run-...
Comments
Information & Contributors
Information
Published In
Copyright © 1997 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 08 February 1997
Check for updates
Qualifiers
- Article
Conference
IAA97: First International Conference on Autonomous Agents
February 5 - 8, 1997
California, Marina del Rey, USA
Acceptance Rates
AGENTS '97 Paper Acceptance Rate 59 of 171 submissions, 35%;
Overall Acceptance Rate 182 of 599 submissions, 30%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 216Total Downloads
- Downloads (Last 12 months)29
- Downloads (Last 6 weeks)5
Reflects downloads up to 13 Jan 2025
Other Metrics
Citations
Cited By
View all- Guzmán AOlivares JDemetrio ADomínguez C(2000)Interaction of Purposeful Agents that Use Different OntologiesMICAI 2000: Advances in Artificial Intelligence10.1007/10720076_51(557-573)Online publication date: 2000
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in