Integration of behavioural requirements specification within compositional knowledge engineering

Authors:
Daniela E. Herlea Damian;Catholijn M. Jonker;Jan Treur;Niek J. E. Wijngaards
Affiliations:
University of Calgary, Software Engineering Research Network, 2500 University Drive NW, Calgary, Alta, Canada T2N 1N4;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands;University of Calgary, Software Engineering Research Network, 2500 University Drive NW, Calgary, Alta, Canada T2N 1N4 and Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Bo ...
Venue:
Knowledge-Based Systems
Year:
2005

Citing 19
Cited 6

A logic-based calculus of events

New Generation Computing
A new deductive approach to planning

New Generation Computing
Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Inquiry-Based Requirements Analysis

IEEE Software
Requirements gathering: the human factor

Communications of the ACM
Apprenticing with the customer

Communications of the ACM
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering

IEEE Transactions on Software Engineering
Software Engineering: A Practitioner's Approach

Software Engineering: A Practitioner's Approach
Principles of component-based design of intelligent agents

Data & Knowledge Engineering
Developing Knowledge-Based Systems with MIKE

Automated Software Engineering
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

Journal of Logic, Language and Information
Point: User Involvement Key to Success

IEEE Software
CommonKADS: A Comprehensive Methodology for KBS Development

IEEE Expert: Intelligent Systems and Their Applications
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning

EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
A Survey of Concurrent METATEM - the Language and its Applications

ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems

AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Compositional verification of knowledge-based task models and problem-solving methods

Knowledge and Information Systems

Agent-oriented modeling of the dynamics of biological organisms

Applied Intelligence
Specification, analysis and simulation of the dynamics within an organisation

Applied Intelligence
A specification language for organisational performance indicators

Applied Intelligence
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES

Applied Artificial Intelligence
Past--future separation and normal forms in temporal predicate logic specifications

Journal of Algorithms
DESIGN CONFLICT: CONCEPTUAL STRUCTURE AND MATHEMATICAL REPRESENTATION

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper 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.