Integration of behavioural requirements specification within compositional knowledge engineering

Knowledge-Based Systems

Volumn 18, Issue 7, 2005, Pages 353-365

  Herlea Damian, Daniela E ^a   Jonker, Catholijn M ^b   Treur, Jan ^b   Wijngaards, Niek J E ^a,b  

^a UNIVERSITY OF CALGARY   (Canada)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER SCIENCE; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SPECIFICATIONS;

BEHAVIORAL REQUIREMENTS; REQUIREMENTS SPECIFICATION; TASK MODELS;

KNOWLEDGE ENGINEERING;

EID: 30144443297     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2005.05.002     Document Type: Article

References (49)

1. A.M. Davis Software requirements: Objects, Functions, and States 1993 Prentice Hall New Jersey
2. I. Sommerville, and P. Sawyer Requirements Engineering: a Good Practice Guide 1997 Wiley Chicester, England
3. G. Kontonya, and I. Sommerville Requirements Engineering: Processes and Techniques 1998 Wiley New York
4. C. Clavadetscher User involvement: key to success IEEE Software, Requirements Engineering Issue 1998 30 33
5. The Standish Group, (1995): The High Cost of Chaos: http://www. standishgroup.com.
6. H.R. Beyer, and K. Holtzblatt Apprenticing with the customer Communications of the ACM 38 5 1995 45 52
7. K. Holzblatt, and K.R. Beyer Requirements gathering: the human factor Communications of the ACM 38 5 1995 31
8. J.S. Gero Artificial Intelligence in Design'96 2002 Kluwer Academic Publishers Dordrecht
9. J.S. Gero F. Sudweeks Artificial Intelligence in Design'98 1998 Kluwer Academic Publishers Dordrecht
10. M.A. Jackson Principles of Program Design 1975 Academic Press New York
11. G. Booch Object Oriented Design with Applications 1991 Benjamins Cummins Publishing Company Redwood City
12. J.C. van Vliet Software Engineering: Principles and Practice 1993 Wiley Chicester
13. R.S. Pressman Software Engineering: A practitioner's approach McGraw-Hill Series in Computer Science Fourth ed. 1997 McGraw-Hill Companies Inc. New York
14. C.M. Jonker, and J. Treur Compositional Verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness W.P. de Roever H. Langmaack A. Pnueli Proceedings of the International Workshop on Compositionality, COMPOS'97 Lecture Notes in Computer Science vol. 1536 1998 Springer Verlag Berlin 350 380 [Extended version in Int. J. Cooperat. Inform. Syst., vol. 11, 2002, pp. 51-92]
15. F.M.T. Brazier, C.M. Jonker, and J. Treur Principles of component-based design of intelligent agents Data and Knowledge Engineering, Vol. 41, pp1-28, 2002
16. F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, and M. Willems Temporal semantics of compositional task models and problem solving methods Data and Knowledge Engineering 29 1 1999 17 42
17. Preliminary version in: B.R. Gaines, M.A. Musen (eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 15/1-15/17
18. A.Th. Schreiber, B.J. Wielinga, J.M. Akkermans, W.van.de Velde, and R.de Hoog CommonKads: a comprehensive methodology for KBS development IEEE Expert 9 6 1994
19. J. Angele, D. Fensel, D. Landes, and R. Studer Developing knowledge-based systems with MIKE Journal of Automated Software 1998
20. F. Cornelissen, C.M. Jonker, and J. Treur Compositional verification of knowledge-based systems: a case study in diagnostic reasoning E. Plaza R. Benjamins Knowledge Acquisition, Modelling and Management, Proceedings of the 10th European Knowledge Acquisition Workshop, EKAW'97 Lecture Notes in AI vol. 1319 1997 Springer Berlin 65 80
21. F. Cornelissen, C.M. Jonker, J. Treur, Compositional Verification of Knowledge-Based Task Models and Problem Solving Methods. Knowledge and Information Systems Journal, Vol. %, 2003, pp. 337-367.
22. D. Fensel Assumptions and limitations of a problem solving method: a case study B.R. Gaines M.A. Musen Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW'95 1995 SRDG Publications, Department of Computer Science, University of Calgary Calgary
23. D. Fensel, and R. Benjamins Assumptions in model-based diagnosis B.R. Gaines M.A. Musen Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop KAW'96 1996 SRDG Publications, Department of Computer Science, University of Calgary Calgary 5/1 5/18
24. D. Fensel, A. Schonegge, R. Groenboom, and B. Wielinga Specification and verification of knowledge-based systems B.R. Gaines M.A. Musen Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop KAW'96 1996 SRDG Publications, Department of Computer Science, University of Calgary Calgary 4/1 4/20
25. M. Musen Ontology Oriented Design and Programming: a New Kind of OO J. Cuena Proceedings of the 15th IFIP World Computer Congress, WCC'98 Conference on Information Technology and Knowledge Systems, IT&KNOWS'98 1998 17 20
26. M. Erdmann, and R. Studer Use-cases and scenarios for developing knowledge-based systems J. Cuena Proceedings of the IFIP World Computer Congress, WCC'98 Conference on Information Technologies and Knowledge Systems, IT&KNOWS 1998 259 272
27. K. Weidenhaupt, M. Pohl, M. Jarke, and P. Haumer Scenarios in system development: current practice IEEE Software,March/April 1998 pp. 34-45
28. Potts, C., Takahashi, K. and ANton, A. Inquiry based requirements analysis, IEEE Software, 11(2), 1994.
29. E. Dubois, E. Yu, and M. Petit E. Dubois E. Yu M. Petit From Early to Late Formal Requirements Proceedings of the IWSSD'98 1998 IEEE Computer Society Press California
30. J. McCarthy, and P. Hayes Some philosophical problems from the standpoint of artificial intelligence Machine Intelligence 4 1969 463 502
31. R. Kowalski, and M. Sergot A logic-based calculus of events New Generation Computing 4 67-95 1986 1986
32. S. Hölldobler, and M. Thielscher A new deductive approach to planning New Generation Computing 8 225-244 1990 1990
33. Herlea, D., Jonker, C.M., Treur, J., Wijngaards, N.J.E. A Case Study in Requirements Engineering: a Personal Internet Agent. Technical Report, Vrije Universiteit Amsterdam, Department of Artificial Intelligence. 1998.
34. A. Dardenne, A. van Lamsweerde, and S. Fickas Goal-directed requirements acquisition Science in Computer Programming 20 1993 3 50
35. E. Dubois, P. Du Bois, and J.M. Zeippen A Formal Requirements Engineering Method for Real-Time, Concvurrent, and Distributed Systems Proceedings of the Real-Time Systems Conference, RTS'95 1995
36. R. Darimont, and A. van Lamsweerde Formal refinement patterns for goal-driven requirements elaboration Proc. Fourth ACM Symp. Foundation Software Eng. (FSE4) 1996 179 190
37. A. van Lamsweerde, R. Darimont, E. Letier (1998), Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Engineering.
38. V.R. Benjamins, Problem Solving Methods for Diagnosis. PhD Thesis, University of Amsterdam, Amsterdam, The Netherlands, 1993.
39. F.M.T. Brazier, C.M. Jonker, and J. Treur Principles of Compositional Multi-agent System Development J. Cuena Conference on Information Technology and Knowledge Systems, IT&KNOWS'98 Proceedings of the 15th IFIP World Computer Congress, WCC'98 1998 347 360
40. M. Fisher A survey of concurrent metateM - the language and its applications D.M. Gabbay H.J. Ohlbach Temporal Logic - Proceedings of the First International Conference Lecture Notes in AI vol. 827 1994 480 505
41. E.M. Clarke, O. Grumberg, and D.A. Peled Model Checking 2000 MIT Press Cambridge, MA
42. Z. Manna, and A. Pnueli Temporal Verification of Reactive Systems: Safety 1995 Springer Verlag Berlin
43. A.P. Sage, and J.D. Palmer Software Systems Engineering 1990 Wiley New York
44. M. Dastani, C.M. Jonker, and J. Treur A requirement specification language for configuration dynamics of multi-agent systems M. Wooldridge G. Weiss P. Ciancarini Proceedings of the Second International Workshop on Agent-Oriented Software Engineering, AOSE'01 Lecture Notes in Computer Science vol. 2222 2002 Springer Verlag Berlin 169 187 Extended version in: Int.J. of Intelligent System, vol. 19 (2004), pp. 277-300
45. D. Herlea, C.M. Jonker, J. Treur, and N.J.E. Wijngaards Integration of behavioural requirements specification within knowledge engineering D. Fensel R. Studer Proceedings of the 11th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW'99 Lecture Notes in AI vol. 1621 1999 Springer Verlag Berlin 173 190
46. C. Stirling Modal and Temporal Properties of Processes 2001 Springer Verlag Berlin
47. F.M.T. Brazier, F. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, and J. Treur Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98 1998 IEEE Computer Society Press California pp. 49-56 [Extended version in: Journal of Applied Intelligence, vol. 20 (2004), pp. 95-117
48. J. Engelfriet, C.M. Jonker, J. Treur, Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V. Lecture Notes in AI, Springer Verlag. Extended version in Journal of Logic, Language and Information, vol. 11, 2002, pp. 195-225.
49. Extented version in: Journal of Logic, Language and Information, vol. 11 (2002), pp.195-225