Academia.eduAcademia.edu

Outline

Title
Abstract
Introduction and
Introduction
Research Themes Concerning a Process of Design
Design Process Objectives
Structuring Principles for Design Processes
Models for Design Processes
Generic Methods and Techniques for Design
Software Design
Hypothesis Validation
Hypothesis Evaluation
Re-Design Models for
Generic Design Model
Composition of Design
Process Composition of Design
Knowledge Composition of Design
Design Object Information & Knowledge Bases
Design Requirement Information & Knowledge Bases
Refinement of Design Process Co-Ordination
RQS Modification State History Search Results
Summary
Re-Design Model for Compositional Systems
Design Object Description Manipulation in the
An Agent Model for Dynamic Re-Design
Design Process Objectives on a Design Agent
Requirements on a Design Agent
Requirements on a Generic Model for a Design Agent
Constructing a Generic Model for a Design Agent
Re-Design of a Diagnostic Reasoning System
Overview of the Re-Design Process
Reducing the Number of Focussed Hypotheses
Hypothesis Determination
Integration of Hypotheses Determination Strategies
Analysis of Current Description
Modification Method Determination
Modification According to Method
Overview of Current Requirements
Design Process Co-Ordination
Overview of the Modification Process
Trace of Re-Design
Prerequisites for Re-Design
Representation of an Agent Design
Manipulation of Design Object Descriptions
Creation Action: Realisation of a Designed Agent
Result of the Effectuation Action
Discussion & References
Discussion
Conclusions
1.2 Design Process Evaluation
1.3 Overall Design Strategy
1.2 Refinement of Default Extension Method
References
All Topics
Computer Science

Re-design of compositional systems

Profile image of Niek WijngaardsNiek Wijngaards

1999

Abstract

Wijngaards, N. J. E. (1999). Re-design of compositional systems. Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal ? If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

Related papers

Composition Approaches Summary
Hany Ammar

Several successful experiences have reported on the advantages of using patterns in designing applications. For instance, Srinivasan et. al.[26] discuss their experience in using design patterns to develop highly interactive software systems for speech recognition. Garlow et. al.[9] describe another experience in applying analysis, architecture, and design patterns to design and implement OO cellular communication software.

View PDFchevron_right
Compositional Parameter Synthesis
Lacramioara Astefanoaei

FM 2016: Formal Methods, 2016

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

View PDFchevron_right
Composition&Variability'2010. First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines
Philippe Lahire

2010

Separation of concerns is an interesting design concept which is more or less addressed in various paradigms objects, aspects, components and, services in order to achieve software reusability and adaptability. Composition of these concerns is a key issue in software development. The goal of the workshop is to bring the researchers to discuss on software composition according the paradigm which is used, the degree of dynamicity, the stage in the software life cycle, the application domain and the software variability. More generally, the unique contribution of this workshop is to view composition as it is impacted by several points of variation associated for example to the context of reuse, the time of composition or the business domain. Composition can be applied in particular on Objects, Aspects, SOA, Component-Based architectures and may address various phases of the development process such as: GUI, design, programming, deployment, and maintenance. We have been particularly interested in having contributions dealing with any combination of a topic taken in "Composition and paradig " and "Composition and product line" in order to get a view of the composition process colored with variability issues. We had eleven submissions and the program committee selected only seven of them on the basis of novelty, relevance to the AOSD community, and adequacy to workshop objective. According to the papers which had been selected the workshop will address in particular the following topics:  Dynamic (re) configuration, adaptation and composition,  Language features for composition and Software Product Lines. The proceedings are printed as an internal report of the I3S Laboratory 1 and will be included

View PDFchevron_right
A Computational Framework of Composition
Sotirios Kotsopoulos

A computational framework of composition appropriate for the architectural studio is outlined. Rule schemata and rules are put into use for the generation of compositions from scratch.

View PDFchevron_right
Report from the Composition Group
Vincenzo D'Andrea

The Composition Group had the task of discussing the various aspects related to the composition of services. Composition is one the important aspects in service oriented computing: the general idea is that in building a new service, one can rely upon existing services which provide part of the needed operations. Several issues are related to this topic, from the research on automating the composition process, to the techniques for managing a composition, to the relationship with software (and service) reuse.

View PDFchevron_right
The power of higher-order composition languages in system design
James Cataldo

2006

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 ...

View PDFchevron_right
Rule Based Composition
Sotirios Kotsopoulos

CAADRIA proceedings

A framework of rule-based composition, appropriate for the architectural studio, is outlined. Rules, grammars and a shape grammar digital interpreter are put into use in the generation of designs.

View PDFchevron_right
Metamodeling functional and interactive parts of systems for composition considerations
Michel RIVEILL

Journal of Computational Methods in Sciences and Engineering, 2011

Software Composition techniques improve the reusability of systems built by composing smaller software artifacts. Composition is a challenge for Human Computer Interaction and Software Engineering communities. These communities have proposed metamodeling approaches in order to address composition at a high level and to overcome technological diversity as advocated by the Model Driven paradigm. However, such metamodels cover only one aspect of system composition. This leads to build incomplete systems. To tackle this problem, we propose a global composition approach that takes into account the functional composition choices and that maintains the interaction links between interactive and functional parts of systems. This paper presents the metamodeling on which relies the proposed composition approach.

View PDFchevron_right
Towards an Analysis of Compositional Strategies
Francois Delalande

Circuit: Musiques contemporaines, 2007

View PDFchevron_right
Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control
Catholijn Jonker

Agent-Based Defeasible Control in Dynamic Environments, 2002

View PDFchevron_right

References (265)

  1. 5 Summary............................................................................. 112 Design Object Description Manipulation in the Re-design Model for Compositional Systems.............................................115
  2. 1 Refinement of current DOD maintenance ........................................ 115
  3. 2 Refinement of deductive DOD refinement ....................................... 115
  4. 3 Refinement of DOD Modification................................................. 117 9.3.1 Process composition of DOD modification: identification of processes and abstraction levels..................... 117
  5. 3.2 Process composition relation within DOD Modification............. 121
  6. 3.3 Process composition relation within DOD validation ................ 122
  7. 3.4 Process composition relation within DOD modification focus identification .............................................................. 123
  8. 3.5 Process composition relation within DOD modification determination.............................................................. 125
  9. 3.6 Knowledge composition for DOD modification ...................... 127
  10. 4 Refinement of DODM History Maintenance..................................... 132 9.4.1 Process composition for DODM history maintenance: identification of processes and abstraction levels..................... 132
  11. 4.2 Process composition relation within DODM history maintenance..134
  12. 4.3 Knowledge composition for DODM history maintenance........... 135
  13. 5 Discussion ........................................................................... 135
  14. References ABEN, M. (1995). Formal Methods in Knowledge Engineering. PhD thesis, University of Amsterdam, Faculty of Psychology, February 1995.
  15. AKIN, O. (1978). How do Architects Design. In: LATOMBE, J.C. (Ed.), Artificial Intelligence and Pattern Recognition in Computer Aided Design, North Holland, pp. 65-98.
  16. AKKERMANS, H., BORST, P., POS, A., and TOP. J. (1995). Experiences in Conceptual Modelling for a Mechatronic Design Library. In: (Gaines and Musen, 1995), pp. 39/1-39/15.
  17. ALBERTS, L.K., WOGNUM, P.M., and MARS, N.J.I. (1992), Structuring design knowledge on the basis of generic components. In: GERO, J.S. (Ed.), Artificial Intelligence in Design (AID'92), Kluwer, Dordrecht, pp. 639-656.
  18. ALBERTS, L.M., BAKKER, R.R., BEEKMAN, D., and WOGNUM, P.M. (1993). Model-based redesign of technical systems. In: Proceedings of the 4th international workshop on principles of diagnosis.
  19. ALBERTS, M. (1993). YMIR: an ontology for engineering design. PhD thesis, University of Twente, The Netherlands.
  20. ALLEN, R., and GARLAN, D. (1996). The Wright Architectural Specification Language. Technical Report CMU-CS-96-TBD, Carnegie Mellon University.
  21. ALTMEYER, J., and SCHÜRMANN, B. (1996). On design formalisation and retrieval of reuse candidates. In: Gero, J.S., and Sudweeks, F. (Eds.), Artificial Intelligence in Design, AID'96, Kluwer Academic Publishers, pp. 231-250.
  22. ANGELE, J., DECKER, S., PERKUHN, R., and STUDER, R. (1996). Modelling Problem-Solving Methods in New KARL. In: GAINES, B.R., and MUSEN, M.A. (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, pages 1/1-1/18.
  23. ANGELE, J., FENSEL, D., and STUDER, D. (1996). Domain and Task Modelling in MIKE. Proceedings of the IFIP WG 8.1/13.2 Joint Working Conference, Domain Knowledge for Interactive System Design. Geneva, Switzerland, May 8-10th.
  24. ASIMOV, I. (1963, 1991). I Robot, Bantam Books. Reprint from I Robot, 1963, Garden City, NY, Doubleday.
  25. BAALEN, J. VAN (1992). Automated design of specialised representations. In: Artificial Intelligence, 54, pp. 121-198.
  26. BALL, N.R., and BAUERT, F. (1992). The Integrated Design Framework: supporting the design process using a blackboard system. In: GERO, J.S. (Ed.), Artificial Intelligence in Design (AID'92), Kluwer academic publishers, pp. 327-348.
  27. BARRINGER, H., FISHER, M. , GABBAY, D., OWENS, R., and REYNOLDS, M. (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd., and John Wiley & Sons.
  28. BECK, M., and PARMEE, I. (1997). An Evolutionary Approach to Conceptual Design Exploration. In: CANDY, L., and HORI, K. (Eds.), Proceedings of the First International Workshop on Strategic Knowledge and Concept Formation, Lutchi Research Centre, pp. 161-172.
  29. BENJAMINS, V.R. (1993). Problem Solving Methods for Diagnosis. PhD Thesis, University of Amsterdam, Amsterdam, The Netherlands.
  30. BENJAMINS, V.R., and ABEN, M. (1997). Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis. In: International journal of human computer studies, 47, pp. 259-288.
  31. BENJAMINS, V.R., FENSEL, D., and STRAATMAN, R. (1996). Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering. In: WAHLSTER, W. (Ed.), Proceedings European Conference on AI (ECAI'96), Wiley and Sons, Chichester, pp. 408-412.
  32. BERKER, I., and BROWN, D.C. (1996). Conflicts and Negotiation in Single Function Agent Based Design Systems. In: BROWN, D.C., LANDES, S.E., and PETRIE, C.J. (Eds.), Concurrent Engineering: Research and Applications, Journal, Special Issue: Multi Agent Systems in Concurrent Engineering, Technomic Publishing Inc., 4(1), pp. 17-33.
  33. BERTALANFFY, L. VON (1968). General Systems Theory: Foundation, Development, Applications. G. Braziller, New York.
  34. BEYS, P., BENJAMINS, V.R., and VAN HEIJST, G. (1996). Remedying the reusabiltiy -usability tradeoff for problem-solving methods. In: GAINES, B.R., and MUSEN, M.A. (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, pp. 2/1-2/20.
  35. BIGGERSTAFF, T.J. (1992). An Assessment and Analysis of Software Reuse. In: YOVITS, M.C. (Ed.), Advances in Computers, 34, Academic Press inc, pp. 1-57.
  36. BLAMEY, S. (1986). Partial Logic. In: GABBAY, D., and GÜNTHNER, F. (Eds.), Handbook of Philosophical Logic. Dordrect, III, pp. 1-70, Reidel, Dordrecht.
  37. BOELENS, J. (1991). Soil sanitation and strategic interaction. Masters thesis, department of mathematics and computer science, vrije universiteit amsterdam, 1991.
  38. BOOCH, G. (1991). Object oriented design with applications. Benjamins Cummins Publishing Company, Redwood City.
  39. BORST, W.N., AKKERMANS, J.M., and TOP, J.L. (1997). Engineering ontologies. In: International Journal of Human-Computer Studies, special issue on using explicit ontologies in KBS development, 46, pp. 365- 406.
  40. BOY, G.A. (1995). Agent-oriented interaction in cooperative computer-based training systems. In: (Gaines and Musen, 1995), pp. 19/1-19/10.
  41. BRADSHAW, J.M. (1997) (Ed.). Software Agents. AAAI Press / MIT Press.
  42. BRAZIER, F.M.T., and WIJNGAARDS, N.J.E. (1997). An instrument for a purpose driven comparison of modelling frameworks. In. PLAZA, E., and BENJAMINS, R. (Eds). Proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling, and Management (EKAW'97). Sant Feliu de Guixols, Catalania, Lecture Notes in Artificial Intelligence, 1319, Springer Verlag, pp. 323-328.
  43. BRAZIER, F.M.T., and WIJNGAARDS, N.J.E. (1998). A Purpose Driven Method for the Comparison of Modelling Frameworks. In: (Gaines and Musen, 1998), pp. 18.
  44. BRAZIER, F.M.T., CORNELISSEN, F., GUSTAVSSON, R., JONKER, C.M., LINDEBERG, O., POLAK, B., and TREUR, J. (1998). Agents Negotiating for Load Balancing of Electricity Use. In: PAPAZOGLOU, M.P. (Ed.), Proceedings of the 18th International Conference on Distributed Computing Systems (ICDCS'98), IEEE Computer Society Press, pp. 622-629.
  45. BRAZIER, F.M.T., DUNIN-KEPLICZ, B.M., JENNINGS, N.R., and TREUR, J. (1997). Formal specification of multi-agent systems: a real world case. in: LESSER, V. (Ed.), Proceedings of the first international conferences on multi-agent systems (ICMAS'95), MIT Press, pp. 25-32. Extended version in: HUHNS, M., and SINGH, M. (Eds.), International Journal of Co-operative Information Systems (IJCIS), 6(1), (1997), Special Issue on Formal Methods in Co-operative Information Systems: Multi-Agent Systems, pp. 67-94.
  46. BRAZIER, F.M.T., JONKER, C.M., and TREUR, J. (1996). Formalisation of a co-operation model based on joint intentions. In: MÜLLER, J.-P., WOOLDRIDGE, M., and JENNINGS, N.R. (Eds.), Intelligent Agents III, Proceedings of the third international workshop on Agent Theories, Architectures and Languages, (ATAL'96). Lecture Notes in Artificial Intelligence, 1193, Springer-Verlag, pp. 141-155.
  47. BRAZIER, F.M.T., JONKER, C.M., and TREUR, J. (1998). Principles of Compositional Multi-agent System Development. In: CUENA, J. (Ed), Proceedings of the 15th IFIP World Computer Congress WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98, Chapman and Hall, pp. 347-360.
  48. BRAZIER, F.M.T., JONKER, C.M., TREUR, J., and WIJNGAARDS, N.J.E. (1998a). An Agent Architecture for Dynamic Re-design of Agents. In: RODGERS, P., and HUXOR, A. (Eds.), Proceedings of the AID'98 Workshop on Distributed Web-based Design Tools, Lisbon. Extended abstract in: DEMAZEAU, Y. (Ed.), Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98, IEEE Computer Society Press, pp. 401-402.
  49. BRAZIER, F.M.T., JONKER, C.M., TREUR, J., and WIJNGAARDS, N.J.E. (1998b). On the role of abilities of agents in redesign. In: (Gaines and Musen, 1998), pp. 16.
  50. BRAZIER, F.M.T., JONKER, C.M., TREUR, J., and WIJNGAARDS, N.J.E. (1998c). Compositional Design of a Generic Design Agent. In: LUGER, G. and INTERRANTE, L. (Eds.), Proceedings of the AAAI Workshop on Artificial Intelligence and Manufacturing: State of the Art and Practice, AAAI Press, pp. 30-39.
  51. BRAZIER, F.M.T., JONKER, C.M., TREUR, J., and WIJNGAARDS, N.J.E. (1999a). Deliberate Evolution in Multi- Agent Systems. In: Proceedings of the third International Conference on Autonomous Agents, AGENTS'99. ACM Press, to appear.
  52. BRAZIER, F.M.T., JONKER, C.M., TREUR, J., and WIJNGAARDS, N.J.E. (1999b). On the Use of Shared Task Models in Knowledge Acquisition, Strategic User Interaction and Clarification Agents. International Journal of Human-Computer Studies. In press. Specific versions on shared task models and strategic user interaction appeared in (Brazier, Treur and Wijngaards, 1996a) and (Brazier, Treur and Wijngaards, 1996b).
  53. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, and TREUR, J. (1996). Logical theory of design. In: (Gero, 1996), pp. 243-266.
  54. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, and TREUR, J. (1997a). Modelling conflict management in design: an explicit approach. In: SMITH, I.F.C. (Ed.), AIEDAM, Special issue on conflict management in design, 9(4), pp. 355-366.
  55. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, and TREUR, J. (1997b). A compositional approach to modelling design rationale. In: CHUNG, P.W.H., and BANARES-ALCANTARA, R., (Eds.), Artificial Intelligence for Engineering Design, Analysis and Manifacturing (AIEDAM), Special Issue on Representing and Using Design Rationale, 11(2), pp. 125-139.
  56. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, and TREUR, J. (1998). Strategic Knowledge in Compositional Design Models. In: GERO, J.S., and SUDWEEKS, F. (Eds.), Proceedings of the Fifth International Conference on Artificial Intelligence in Design (AID'98), Kluwer Academic Publishers, Dordrecht, in press, pp. 18.
  57. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, and TREUR, J. (1999). Generic model of design. Technical report. Department of Artificial Intelligence, Faculty of Sciences, Vrije Universiteit Amsterdam, The Netherlands.
  58. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, RUTTKAY ZS., and TREUR, J. (1994). On formal specification of design tasks. In GERO, J.S., and SUDWEEKS, F. (Eds.), Artificial Intelligence in Design (AID'94), Kluwer Academic Publishers, Dordrecht, pp. 535-552.
  59. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, TREUR, J., and WIJNGAARDS, N.J.E. (1996). Redesign and reuse in compositional knowledge-based systems. In WOGNUM, P.M., and SMITH, I.F.C. (Eds.), Knowledge Based Systems, Special issue on models and techniques for reuse of designs, 9, pp. 105-118.
  60. BRAZIER, F.M.T., LANGEN, P.H.G. VAN, TREUR, J., WIJNGAARDS, N.J.E., and WILLEMS, M. (1996). Modelling an elevator design task in DESIRE: the VT example. In: (Schreiber and Birmingham, 1996), pp. 469-520.
  61. BRAZIER, F.M.T., TREUR, J. (1994). User centered knowledge-based system design: a formal modelling approach. In: STEELS, L., SCHREIBER, G., and VAN DE VELDE, W. (Eds.), Proceedings of the 8th European Knowledge Acquisition Workshop, Lecture Notes in Artificial Intelligence, 867, Springer- Verlag, pp. 283-302.
  62. BRAZIER, F.M.T., TREUR, J., and WIJNGAARDS, N.J.E. (1996a). The Elicitation of a Shared Task Model. In: SHADBOLT, N., O'HARA, K., and SCHREIBER, A.TH. (Eds), Advances in Knowledge Acquisition. 9th European Knowledge Acquisition Workshop, EKAW'96. Lecture Notes in Artificial Intelligence, 1076, pp. 278-289.
  63. BRAZIER, F.M.T., TREUR, J., and WIJNGAARDS, N.J.E. (1996b). Interaction with experts: the role of a shared task model. In: WAHLSTER, W. (Ed.), Proceedings European Conference on AI (ECAI'96), Wiley and Sons, Chichester, pp. 241-245.
  64. BRAZIER, F.M.T., TREUR, J., WIJNGAARDS, N.J.E., and WILLEMS, M. (1995). Formal specification of hierarchically (de)composed tasks. In (Gaines and Musen, 1995), pp. 25/1-25/20.
  65. BRAZIER, F.M.T., TREUR, J., WIJNGAARDS, N.J.E., and WILLEMS, M. (1999). Temporal semantics of compositional task models and problem solving methods. In: Data and Knowledge Engineering, 29, pp. 17-42.
  66. BREUKER, J. (1994). Components of Problem Solving and Types of Problems. In: STEELS, L., SCHREIBER, G., and VAN DE VELDE, W. (Eds.), Proceedings of the 8th European Knowledge Acquisition Workshop, Lecture Notes in Artificial Intelligence, 867, Springer-Verlag, pp. 118-136.
  67. BREUKER, J.A. (1997). Problems in indexing problem solving methods. In: FENSEL, D. (Ed.), Proceedings of the Problem Solving Methods for Knowledge Based Systems workshop (IJCAI'97), pp. 19-35.
  68. BROWN, D., and CHANDRASEKARAN, B. (1989). Design problem solving: knowledge structures and control strategies, San Mateo, CA, Morgan Kaufmann.
  69. BROWN, D.C., and BIRMINGHAM, W.P. (1997). Understanding the Nature of Design. In: IEEE Expert, 12(2), pp. 14-16.
  70. BRUMSEN, H.A., PANNEKEET, J.H.M., and TREUR, J. (1992). A compositional knowledge-based architecture modelling process aspects of design tasks, Proceedings of the 12th International Conference on Artificial Intelligence, Expert systems and Natural Language (Avignon'92), EC2, Nanterre, 1, pp. 283-293.
  71. CARBONELL, J.G. (1983). Derivational Analogy and its Role in Problem Solving. In: Proceedings of the 5th National Conference on Artificial Intelligence (AAAI'83), Morgan Kaufmann Publisers, Inc., pp. 64-69.
  72. CETNAROWICZ, K., KISIEL-DOROHINICKI, M., and NAWARECKI, E. (1996). The Application of Evolution Process in Multi-Agent World to the Prediction System. In: TOKORO, M., (Ed.), Proceedings of the Second International Conference on Multi-Agent Systems (ICMAS'96), MIT/AAAI Press, Menlo Park CA, pp. 26-32.
  73. CHANDRASEKARAN, B. (1986). Generic Tasks in Knowledge-Based Reasoning: High Level Building Blocks for Expert System Design. In: IEEE Expert, pp. 23-30.
  74. CHANDRASEKARAN, B. (1990). Design problem solving: a task analysis. In: AI Magazine, 11(4), 59-71.
  75. COMPTON, P., RAMADAN, Z., PRESTON, P., LE-GIA, T., CHELLEN, V., MULHOLLAND, M., HIBBERT, D.B., HADDAD, P.R., and KANG, B. (1998). A trade-off between domain knowledge and problem-solving method power. In: (Gaines and Musen, 1998), pp. 19.
  76. CONSOLE, L., and TORASSO, P. (1990). Hypothetical reasoning in causal models. In: International Journal of Intelligent Systems, 5(1), pp. 83-124.
  77. CORNELISSEN, F., JONKER, C.M., and TREUR, J. (1997). Compositional Verification of Knowlegde-Based Systems: A Case-Study for Diagnostic Reasoning. In: PLAZA, E., and BENJAMINS, R. (Eds.), Knowledge Acquisition, Modeling and Management, proceedings of the 10th European workshop, EKAW'97, Lecture Notes in Artificial Intelligence, 1319, Springer, Berlin, pp. 65-80.
  78. COYNE, R.D., ROSENMAN, M.A., RADFORD, A.D., BALACHANDRAN M., and GERO, J.S. (1990), Knowledge- based design systems, Addison-Wesley Publishing Company, Reading.
  79. DAUBE, F., and HAYES-ROTH, B. (1989). A Case-Based Mechanical Redesign System. In: Proceedings of the 11th IJCAI, pp. 1402-1407.
  80. DAVIS, A.M. (1993). Software Requirements: objects, functions, and states. Prentice Hall PTR, New Jersey.
  81. DEARDEN, A.M., and HARRISON, M.D. (1993). Using previous experience in similarity assessment for CBR: A formal treatment. In: Proceedings of the IJCAI'93.
  82. DENNETT, D.C. (1987). The Intentional Stance. MIT Press, Cambridge.
  83. DIXON, J.R. (1989), On research methodology towards a scientific theory of engineering design. In NEWSOME, S.L., SPILLERS, W.R., and FINGERS, S. (Eds.) Design Theory '88 , Springer Verlag, N.Y., pp. 316-337.
  84. DUFFY, A.H.B. (1997). The "What" and "How" of Learning in Design. In: IEEE Expert, 12(3), pp. 71-76.
  85. DUNSKUS, B.V., GRECU, D.L., BROWN, D.C., and BERKER, I. (1995). Using Single Function Agents to Investigate Conflict. In: Artificial Intelligence in Engineering Design and Manufacturing (AIEDAM), Special Issue: Conflict Management in Design, 9(4), pp. 299-312.
  86. EDMONDS, E.A., CANDY, L., JONES, R., and SOUFI, B. (1994). Support for Collaborative Design: Agents and Emergence. In: Communications of the ACM, 37(7), pp. 41-47.
  87. ELST, J. VAN DEN, HARMELEN, F. VAN, SCHREIBER, G., and THONNAT, M. (1995). A functional specification of reusing software components. In: Proceedings of the sixth international conference on software engineering and knowledge engineering, Knowledge Science Institute, pp. 374-381.
  88. ENGELFRIET J., and TREUR J. (1994). Temporal Theories of Reasoning, In: MACNISH, C., PEARCE, D., PEREIRA, L.M. (Eds.), Logics in Artifical Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence (JELIA'94), Lecture Notes in AI, 838, Springer Verlag, pp. 279-299.
  89. ERIKSSON, H., PUERTA, A.R., GENNARI, J.H., ROTHENFLUH, T.E., TU, S.W., and MUSEN, M.A. (1995). Custom-Tailored Development Tools for Knowledge-Based Systems. In: (Gaines and Musen, 1995), pp. 26/1-26/19.
  90. FALKENHAINER, B., and FORBUS, K.D. (1991). Compositional modeling: finding the right model for the job. In: Artificial Intelligence, 51(1-3), pp. 95-143.
  91. FALKENHAINER, B., and FORBUS, K.D. (1992). Composing task-specific models. In: Automated Modelling, DSV 41, ASME, pp. 1-9.
  92. FENSEL, D. (1995). The Knowledge Acquisition and Representation Language KARL. Kluwer Academic Publisher, Boston, 1995.
  93. FENSEL, D. (1997). The Tower-of-Adapters Method for Developing and Reusing Problem-Solving Methods. In: PLAZA, E., and BENJAMINS, R. (Eds.), Knowledge Acquisition, Modeling and Management, proceedings of the 10th European workshop (EKAW'97), Lecture Notes in Artificial Intelligence, 1319, Springer, Berlin, pp. 97-112.
  94. FENSEL, D., and HARMELEN, F. VAN (1994). A comparison of languages which operationalise and formalise KADS models of expertise. In: The Knowledge Engineering Review, 9, pp. 105-146.
  95. FENSEL, D., and MOTTA, E. (1998). Structured development of problem solving methods. In: (Gaines and Musen, 1998), pp. 20.
  96. FENSEL, D., and STRAATMAN, R. (1998). The Essence of Problem-Solving Methods: Making Assumptions to Gain Efficiency. In: International Journal of Human-Computer Studies (IJHCS), 48(2), pp. 181-215.
  97. FENSEL, D., MOTTA, E., DECKER, S., and ZDRAHAL, Z. (1997). Using Ontologies for Defining Tasks, Problem-Solving Methods and their Mappings. In: PLAZA, E., and BENJAMINS, R. (Eds.), Knowledge Acquisition, Modeling and Management, proceedings of the 10th European workshop (EKAW'97), Lecture Notes in Artificial Intelligence, 1319, Springer, Berlin, pp. 113-128.
  98. FISCHER, G., and LEMKE, A.C. (1988). Construction kits and design environments: steps toward human problem-domain communication. In: Human-Computer Interaction, 3, pp. 179-222.
  99. FISCHER, G., and STEVENS, C. (1991). Information Access in Complex, Poorly Structured Information Spaces. In: Communications of the ACM, 4, pp. 63-70.
  100. FISCHER, G., HENNINGER, S., and REDMILES, D. (1991). Intertwining Query Construction and Relevance Evaluation. In: Communications of the ACM, pp. 55-62.
  101. FISHER, M. (1993). Concurrent MetateM -a language for modelling reactive systems. In: Parallel architectures and languages in Europe (PARLE), Munich, Germany, Springer Verlag, Lecture Notes in Computer Science, 694.
  102. FISHER, M. (1994). A survey of Concurrent MetateM -the language and its applications. In: Proceedings of the first international conference on temporal logic, Springer Verlag, Lecture Notes in Computer Science, 827. FORBUS, K.D. (1988). Intelligent Computer Aided Engineering. In: AI Magazine, pp. 23-36.
  103. FORD, K.M., BRADSHAW, J.M., ADAMS-WEBBER, J.R., and AGNEW, N.M. (1993). Knowledge acquisition as a constructive modeling activity. In FORD, K.M., and BRADSHAW, J.M. (Eds), Int. J. Intelligent Systems, Special Issue on Knowledge Acquisition as Modeling, 8(1), pp. 9-23.
  104. FRENCH, R., and MOSTOW, J. (1985). Toward Better Models of the Design Process. In: AI Magazine, 6(1), pp. 44-57.
  105. GAINES, B.R., and MUSEN, M.A. (1995) (Eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop (KAW'95), Calgary: SRDG Publications, Department of Computer Science, University of Calgary.
  106. GAINES, B.R., MUSEN, M.A. (1998) (Eds.). Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop (KAW'98) , Calgary: SRDG Publications, Department of Computer Science, University of Calgary.
  107. GALSEY, A., SCHWABACHER, M., and SMITH, D. (1996). Using Modelling Knowledge to Guide Design Space Search. In: GERO, J.S., and SUDWEEKS, F. (Eds.), Artificial Intelligence in Design (AID'96), Kluwer Academic Publishers, pp. 367-385.
  108. GAMMA, E., HELM, R., JOHNSON, R., and VLISSIDES, J. (1994). Design Patterns: Elements of reusable object- oriented software. Addison Wesley Longman, Reading, Massachusetts.
  109. GARLAN, D., ALLEN, R., and OCKERBLOOM, J. (1994). Exploiting Style in Architectural Design Environments. In: Proceedings of the ACM SIGSOFT'94 Symposium on Foundations of Software Engineering, New Orleans, LA, pp. 14.
  110. GARLAN, D., ALLEN, R., and OCKERBLOOM, J. (1995). Architectural Mismatch or Why it's hard to build systems out of existing parts. In: Proceedings of the seventh international conference on software engineering, Seatlle WA, pp. 179-185.
  111. GARLAN, D., and SHAW, M. (1994). An Introduction to Software Architecture. Technical Report CMU-CS-94- 166, Carnegie Mellon University.
  112. GAVRILA I.S., and TREUR J. (1994). A formal model for the dynamics of compositional reasoning systems. In: COHN, A.G. (Ed.), Proc. 11th European Conference on Artificial Intelligence (ECAI'94), Wiley and Sons, pp. 307-311.
  113. GEBHARDT, F. (1997). Survey on structure-based case retrieval. In: The Knowledge Engineering Review, 12(1), pp. 41-58.
  114. GEELEN, P.A., and KOWLCZYK, W. (1992). A knowledge-based system for the routing of international blanc payment orders. In: Proceedings of the Twelfth International Conference on Artificial Intelligence, Expert Systems and Natural Language (Avignon'92), Nanterre: EC2, 1, pp. 669-677.
  115. GEELEN, P.A., RUTTKAY, Zs., and TREUR, J. (1991). Logical Analysis and specification of an office assignment task. Technical report IR-283, Amsterdam: Vrije Universiteit, Department of Mathematics and Computer Science, AI Group.
  116. GENNARI, J.H., ALTMAN, R.B., and MUSEN, M.A. (1994). Reuse with PROTÉGÉ-II: From Elevators to Ribosomes. Knowledge systems laboratory, KSL-94-71, Stanford University School of Medicine.
  117. GERO, J.S. (1990). Design prototypes: a knowledge representation schema for design. In: AI Magazine, 11(4), 26-36.
  118. GERO, J.S. (Ed.) (1996). Advances in formal design methods for CAD. Chapman and Hall, London, 299 pp.
  119. GIL, Y., and TALLIS, M. (1995). Transaction-Based Knowledge Acquisition: Complex Modifications Made Easier. In: (Gaines and Musen, 1995), pp. 28/1-29/18.
  120. GOEL, A., and CHANDRASEKARAN, C. (1989). Functional representation of design and redesign problem solving. In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89), Detroit MI, Morgan Kaufmann Publishers, Los Altos CA, pp. 1388-1394.
  121. GRUBER, T.R. (1990). Acquiring strategic knowledge from experts. In: BOOSE, J.H., and GAINES, B.R. (Eds.), The Foundations of Knowledge Acquisition, Knowledge Based Systems, 4, Academic Press Limited, pp. 115-133.
  122. GRUBER, T.R. (1993). A translation approach to portable ontology specifications. In: Knowledge Acquisition, 5(2), pp. 199-220.
  123. GRUBER, T.R., and OLSEN, G.R. (1994). An Ontology for Engineering Mathematics. In: DOYLE, J., TORASSO, P., and SANEWALL, E. (Eds.), Fourth International Conference on Principles of Knowledge Representation and Reasoning, Gustav Stresemann Institut, Bonn, Germany, Morgan Kaufmann, pp. 241-245.
  124. HARMELEN, F. VAN, and BALDER, J. (1992). (ML) 2 : A formal language for KADS models of expertise. In: Knowledge Acquisition, 4, pp. 127-161.
  125. HARMELEN, F. VAN, and FENSEL, D. (1995). Formal methods in knowledge engineering. In: The Knowledge Engineering Review, 10(4), pp. 345-360.
  126. HARMELEN, F. VAN, and TEIJE, A. TEN (1998). Characterising Problem Solving Methods by gradual requirements: overcoming the yes/no distinction. In: (Gaines and Musen, 1998), pp. 15.
  127. HARMELEN, F. VAN, WIELINGA, B., BREDEWEG, B., SCHREIBER, G., KARBACH, W., REINDERS, M., VOß, A., AKKERMANS, H., Bartsch-Spörl, B., and Vinkhuyzen, E. (1992). Knowledge-level reflection. In: LE PAPE, B., and STEELS, L. (Eds.), Enhancing the knowledge engineering process -contributions from ESPRIT, Elsevier Science, Amsterdam, pp. 175-204.
  128. HÄUSLEIN, A., and PAGE, B. (1991). Knowledge-Based Approaches to Modelling and Simulation Support. In: Systematic Analysis of Modeling Simulation, 8(4/5), pp. 257-272.
  129. HEIJST, G. VAN, TERPSTRA, P., WIELINGA, B., and SHADBOLT, B. (1992). Using generalised directive models in knowledge acquisition. In: WETTER, TH., ALTHOFF, K.D., BOOSE, J., GAINES, B.G., LINSTER, M., and SCHMALHOFER, F. (Eds.), Current Developments in Knowledge Acquisition: EKAW'92, Berlin/Heidelberg, Springer Verlag, pp. 112-132.
  130. HEITMEYER, C.L., JEFFORDS, R.D., and LABAW, B.G. (1996). Automated Consistency Checking of Requirements Specifications. In: ACM Transactions on Software Engineering and Methodology, 5(3), pp. 231-261.
  131. HOOG, R. DE, MARTIL, R., WIELINGA, B.J., TAYLOR, R., BRIGHT, C., and VELDE, W. VAN DE (1994). The CommonKADS model set. Technical Report KADS-II/M1/DM1.1b/UvA/018/6.0/FINAL, SWI, University of Amsterdam.
  132. HORI, K. (1997). Where is, What is, and How can we use Strategic Knowledge?. In: CANDY, L., and HORI, K. (Eds.), Proceedings of the First International Workshop on Strategic Knowledge and Concept Formation, Lutchi Research Centre, pp. 35-42.
  133. HUNT, J., and MILES, R. (1994). Hybrid case-based reasoning. In: The Knowledge Engineering Review, 9(4), pp. 383-397.
  134. JACKSON, M.A. (1975). Principles of Program Design, Academic Press.
  135. JENNINGS, N.R., and WOOLDRIDGE, M.J. (1998) (Eds.). Agent Technology; Foundations, Application, and Markets. Springer Verlag.
  136. JONKER, C.M., and TREUR, J. (1997). Modelling an Agent's Mind and Matter. In: BOMAN, M., VELDE, W. VAN DE, (Eds.), Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Lecture Notes in AI, 1237, Springer Verlag, pp. 210-233.
  137. JONKER, C.M., and TREUR, J. (1998a). A Generic Architecture for Broker Agents. In: NWANAM H.S., and NDUMU, D.T. (Eds.), Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98), The Practical Application Company Ltd, pp. 623-624.
  138. JONKER, C.M., and TREUR, J. (1998b). Compositional design and maintenance of broker agents. In: CUENA, J. (Ed.), Proceedings of the 15th IFIP World Compter Congress, WCC'98 Conference on Information Technology and Knowledge Systems (IT&KNOWS'98), Chapman and Hall, to appear, pp. 361-374.
  139. JONKER, C.M. and TREUR, J. (1998c). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: ROEVER, W.P. DE, LANGMAACK, H., and PRUELI, A. (Eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97, Springer Verlag. Lecture Notes in Computer Science, 1536, pp. 350-380.
  140. JONKER, C.M., and TREUR, J. (1999). Generic model of Diagnosis. Technical Report. Department of Artificial Intelligence, Faculty of Sciences, Vrije Universiteit Amsterdam, The Netherlands.
  141. JONKER, C.M., KREMER, R., LEEUWEN, P. VAN, PAN D., and TREUR, J. (1998). Mapping Visual to Textual Representation of Knowledge in DESIRE. In: (Gaines and Musen, 1998), pp. 20.
  142. KANG, B.H., COMPTON, P., and PRESTON, P. (1998). Simulated Expert Evaluation of Multiple Classification Ripple Down Rules. In: (Gaines and Musen, 1998), pp. 19.
  143. KAUTZ, H.A., SELMAN, B., and COEN, M. (1994). Bottom-Up Design of Software Agents. In: Communications of the ACM, 37(7), pp. 143-146.
  144. KLINKER, G., GENETET, S., and MCDERMOTT, J. (1990). Knowledge Acquisition for evaluation systems. In: BOOSE, J.H., GAINES, B.R. (Eds.), The foundations of knowledge acquisition, knowledge based systems, Academic Press Limited, 4, pp. 269-285.
  145. KNOBLOCK, C.A., and AMBITE, J.L. (1997). Agents for Information Gathering. In: (Bradshaw, 1997), pp. 347- 373.
  146. KOLLER, R. (1985). Für den Machinenbau. Springer-Verlag, Berlin.
  147. KOLODNER, J. (1993). Case-based Reasoning. Morgan Kaufmann Publishers, San Mateo, Ca.
  148. KORF, R.E. (1980). Toward a Model of Representation Changes. In: Artificial Intelligence, 14, pp. 41-78.
  149. KOWALCZYK, W., and TREUR, J. (1990). On the use of a formalised generic task model in knowledge acquisition. In: WIELINGA, B.J., BOOSE, J., GAINES, B., SCHREIBER, G., and VAN SOMEREN, M. (Eds.), Proceedings of the 4th European Knowledge Acquisition Workshop EKAW'90, IOS Press Amsterdam, pp. 198-221.
  150. KRUEGER, C.W. (1992). Software Reuse. In: ACM Computing Surveys, 24(2), pp. 131-183.
  151. KUMAR, A.N. (1994). Function based reasoning. In: The Knowledge Engineering Review, 9(3), pp. 301-304.
  152. LANDER, S.E. (1997). Issues in Multi-agent Design Systems. In: IEEE Expert, 12(2), pp. 18-26.
  153. LANGEN, P.H.G. VAN, and J. TREUR (1989). Representing World Situations and Information States by Many- Sorted Partial Models. Technical Report PE8904, University of Amsterdam, Department of Mathematics and Computer Science.
  154. LANGEVELDE, I.A. VAN, PHILIPSEN, A.W., and TREUR, J. (1992). Formal specification of compositional architectures. In NEUMANN, B. (Ed.), Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), Wiley and Sons, pp. 272-276. Extended version: Technical Report IR-282, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1991.
  155. LANGHOLM, T. (1988). Partiality, Truth and Persistence. CSLI Lecture Notes, No. 15. Stanford University, Stanford.
  156. LEE, J. (1997). Design Rationale Systems: Understanding the Issues. In: IEEE Expert, 12(3), pp. 78-85.
  157. LEVY, A.Y., SAGIV, Y., and SRIVASTAVA, D. (1994). Towards efficient information gathering agents. In: Software Agents, proceedings of the AAAI 1994 spring symposium, AAAI Press, pp. 64-70.
  158. LÖCKENHOFF, C., and MESSER, T. (1994). Configuration. In: BREUKER, J.A., and VELDE, W. VAN DE (Eds.), The CommonKADS Library for Expertise Modelling, IOS Press, Amsterdam, chapter 9, pp. 197-212.
  159. LOGAN, B., and SMITHERS, T. (1992). Creativity and Design as Exploration. Technical Report, DAI research paper no. 597. Revision of paper which appeared in: GERO, J.S., and MAHER, M.L. (Eds.), modelling creativity and knowledge based creative design., Lawrence Earlbaum, 1992.
  160. LUCAS, P. (1996). Structures in Diagnosis from theory to medical application. PhD thesis, Free University, Amsterdam, The Netherlands.
  161. MAHER, M.L., and DE SILVA GARZA, A.G. (1997). Case-Based Reasoning in Design. In: IEEE Expert, 12(2), pp. 34-41.
  162. MARCUS, S., and MCDERMOTT, J. (1989). SALT: A Knowledge-Acquisition Language for Propose and Revise Systems. In: Journal of Artificial Intelligence, 39(1), pp. 1-37.
  163. MARIR, F., and WATSON, I. (1994). Case-based reasoning: a categorized bibliography. In: The Knowledge Engineering Review, 9(4), pp. 355-381.
  164. MAZZA, C., FAIRCLOUGH, J., MELTON, B., DE PABLO, D., SCHEFFER, A., and STEVENS, R. (1994). Software Engineering Standards, Prentice Hall, Hertfordshire, UK.
  165. MINTON, S. (1990). Quantitative Results Concerning the Utility of Explanation-Based Learning. In: Artificial Intelligence, 42, pp. 363-392.
  166. MORAN, T.P., and CARROLL, J.M. (1996). Overview of design rationale. In: MORAN, T.P., and CARROLL, J.M. (Eds.), Design rationale: concepts, techniques, and use. Lawrence Erlbaum Associates, Mahwah, New Jersey, pp. 1-19.
  167. MOSTOW, J. (1989). Design by Derivational Analogy: Issues in the Automated Replay of Design Plans. In: Artificial intelligence, 40, pp. 119-184.
  168. MOTTA, E., and ZDRAHAL, Z. (1998). A principled approach to the construction of a task-specific library of problem solving components. In: (Gaines and Musen, 1998), pp. 20.
  169. MOTTA, E., STUTT, A., ZDRAHAL, Z., O'HARA, K., and SHADBOLT, N. (1996). Solving VT in VITAL: a study in model construction and knowledge reuse. In: (Schreiber and Birmingham, 1996), pp. 333-371.
  170. MULDER, M., TREUR, J., and FISHER, M. (1997). Agent Modelling in METATEM and DESIRE. In: SINGH, M.P., RAO, A.S., and WOOLDRIDGE, M.J. (Eds.), Preproceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages. Providence, Rhode Island, USA, pp. 183-197.
  171. MURRAY, K.J., and SHEPPARD, S.V. (1988). Knowledge-based simulation model specification. In: Simulation, 50(3), pp. 112-119.
  172. MUSEN, M.A. (1990). An editor for the conceptual models of interactive knowledge-acquisition tools. In: BOOSE, J.H., and GAINES, B.R. (Eds.), The Foundations of Knowledge Acquisition. Knowledge-Based Systems, Academic Press Limited, 4, pp. 135-160.
  173. NAYAK, P.P., and JOSKOWICZ, L. (1996). Efficient Compositional Modelling for Generating Causal Explanations. In: Artificial Intelligence, 83(2), pp. 193-227.
  174. NEWELL, A. (1982). The Knowledge Level. In: Artificial Intelligence, 18, pp. 87-127.
  175. NORMAN, D.A. (1994). How Might People Interact with Agents. In: Communications of the ACM, 37(7), pp. 68-71.
  176. NUMAOKA, C. (1996). Bacterial Evolution Algorithm for Rapid Adaptation. In: VAN DE VELDE, W., and PERRAM, J.W., (Eds.), Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), Lecture Notes in Artificial Intelligence, 1038, Springer Verlag, pp. 139-148.
  177. NWANA, H.S. (1996). Software agents: an overview. In: The Knowledge Engineering Review, Cambridge University Press, 11(3), pp. 205-244.
  178. OHSUGA, S. (1997). Strategic Knowledge Makes Knowledge Based Systems Truly Intelligent. In: CANDY, L., and HORI, K. (Eds.), Proceedings of the First International Workshop on Strategic Knowledge and Concept Formation. Lutchi Research Centre, pp. 1-24.
  179. ORSVÄRN, K. (1996). Knowledge Modelling with Libraries of Task Decopmosition Methods. PhD Thesis, Royal Institute of Technology & Swedish Institute of Computer Science, SICS dissertation series 22, Kista, Sweden.
  180. PAHL, G., and BEITZ, W. (1984). Engineering Design. Springer Verlag, New York. Originally: Konstruktionslehre, 1977, in German.
  181. PEÑA-MORA, F., and VADHAVKAR, S. (1996). Design Rationale and Design Patterns in Reusable Software Design. In: GERO, J.S., and SUDWEEKS, F. (Eds.), Artificial Intelligence in Design (AID'96), Kluwer Academic Publishers, pp. 251-268.
  182. PIERRET-GOLBREICH, C. (1993). Task Model Perspective of Knowledge Engineering. In: Proceedings of the 7th European Knowledge Acquisition Workshop (EKAW'93), Springer-Verlag.
  183. PIERRET-GOLBREICH, C. (1994). Task Model, a framework for the design of Models of Expertise and their operationalization. In GAINES, B.R., and MUSEN, M.A. (Eds.), Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'94, 2, pp. 37/1-37/22. Calgary: SRDG Publications, Department of Computer Science, University of Calgary.
  184. PIERRET-GOLBREICH, C., and TALON, X. (1997). Specification of Flexible Knowledge-Based Systems. In: PLAZA, E., and BENJAMINS, R. (Eds.), Knowledge acquisition, modeling and management, Proceedings of the 10th European Workshop (EKAW'97), Springer Berlin, pp. 190-204.
  185. PIRLEIN, T., and STUDER, R. (1995). An Environment for reusing ontologies within a knowledge engineering approach. In: International Journal of Human-Computer Studies, 43, pp. 945-965.
  186. POECK, K., FENSEL, D., LANDES, D., and ANGELE, J. (1996). Combining KARL and CRLM for designing vertical transportation systems. In: (Schreiber and Birmingham, 1996), pp. 435-467.
  187. Pos, A., and AKKERMANS, H., (1996). 007: A system for automated model revision. In: JAVAR, A., LEHMANN, A., and MOLNAR, I. (Eds.), Proceedings of the 10th European Simulation Multiconference (ESM'96), Budapest, Hungary, pp. 50-54.
  188. POS, A., AKKERMANS, H., and STRAATMAN, R. (1997). Problem Solving for Re-design. In: PLAZA, E., and BENJAMINS, R. (Eds.), Knowledge acquisition, modeling and management, Proceedings of the 10th European Workshop (EKAW'97), Springer Berlin, pp. 205-220.
  189. PRESSMAN, R.S. (1997). Software Engineering: A practitioner's approach. Fourth Edition, McGraw-Hill Series in Computer Science, McGraw-Hill Companies Inc., New York.
  190. PUERTA, A.R., EGAR, J.W., TU, S.W., and MUSEN, M.A. (1992). A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools. In: Knowledge Acquisition, 4, pp. 171- 196.
  191. RASMUSSEN, S., and BARRETT, C.L. (1995). Elements of a Theory of Simulation. In: Proceedings of the European Conference on Artificial Life (ECAL'95), Lecture Notes in Computer Science, Springer Verlag.
  192. REICH, Y. (1993). The development of Bridger: a methodological study of research on the use of machine learning in design. In: Artificial Intelligence in Engineering, 8(3), pp. 217-231.
  193. REICH, Y., and FENVES, S.J. (1995). A system that learns to design cable-stayed bridges. In: Journal of structural Engineering, ASCE, 21(7), pp. 1090-1100.
  194. REITER, R. (1987). A Theory of Diagnosis from First Principles. In: Artificial Intelligence, 32, pp. 57-95.
  195. REVISE (project) (1996). A Purpose Driven Method for Language Comparison. In: SHADBOLT, N., O'HARA, K., and SCHREIBER, A.TH. (Eds.), Advances in Knowledge Acquisition. 9th European Knowledge Acquisition Workshop (EKAW'96). Lecture Notes in Artificial Intelligence, 1076, pp. 66 -81.
  196. RICH, C.R., and SHROBE, H.E. (1986). Initial Report on a LISP Programmer's Apprentice. In: BARSTOW, D.R., SHROBE, H.E., and SANDEWALL, E. (Eds.), Interactive Programming Environments. B & Jo Enterprise Pte LTD, Singapore, pp. 443-463. Reprint from IEEE Transactions on Software Engineering, 1978, 4(6), pp. 456-467.
  197. RIEL, A.J. (1996). Object-Oriented Design Heuristics. Addison Wesley Publishing Company, Reading Massechusetts.
  198. RIST, R.S. (1995). Program structure and design. In: Cognitive Science, 19, pp, 507-562.
  199. SAGE, A.P., and PALMER, J.D. (1990). Software Systems Engineering. John Wiley and Sons, New York.
  200. SCHÖN, D.A. (1983). The reflective practitioner: how professionals think in action. Temple Smith, London.
  201. SCHREIBER, A.TH., and BIRMINGHAM, W.P. (1996) (Eds.). Special Issue on Sisyphus-VT. In: International Journal of Human-Computer Studies (IJHCS), 44.
  202. SCHREIBER, A.TH., and TERPSTRA, P. (1996). Sisyphus-VT: A CommonKADS solution. In: (Schreiber and Birmingham, 1996), pp. 303-332.
  203. SCHREIBER, A.TH., WIELINGA, B.J., AKKERMANS, J.M., VELDE, W. VAN DE, and HOOG, R. de (1994). CommonKADS: A comprehensive methodology for KBS development. In: IEEE Expert, 9(6).
  204. SCHUBERT, F. (1997). A reflective architecture for an adaptable object-oriented operating system based on C++. In: Proceedings of the ECOOP'97 workshop on object-orientation and operating systems, Springer Verlag, Lecture notes in Computer Science, 1357.
  205. SHADBOLT, N., MOTTA, E., and ROUGE, A. (1993). Constructing Knowledge-Based Systems. In: IEEE Software, November, pp. 34-38.
  206. SHAW, M.L.G., and GAINES, B.R. (1995). Knowledge and Requirements Engineering. In: (Gaines and Musen, 1995), pp. 44/1-44/22.
  207. SHOHAM, Y. (1993). Agent-oriented programming. Artificial Intelligence, 60, pp. 51-92.
  208. SLOOF, M. (1998). Automated Modelling of Physiological Processes during Postharvest Distribution of Agricultural Products. In: Artificial Intelligence Review Journal, special volume on Artificial Intelligence for Biology and Agriculture, 12, pp. 39-70.
  209. SMITH, D.R. (1990). KIDS: A Semi-Automatic Program Development System. In: IEEE Transactions on Software Engineering, Special Issue on Formal Methods, 16, pp. 1024-1043.
  210. SMITH, D.R. (1991). KIDS -A Knowledge-Based Software Development System. In: Lowry, M., and McCartney, R. (Eds.), Automating Software Design, AAAI/MIT Press, pp. 483-514.
  211. SMITHERS, T. (1992). Design as Exploration: Puzzle-Making and Puzzle-Solving. In: Proceedings of the workshop on exploration-based models of design and search-based models of design at second international conference on AI in Design.
  212. SMITHERS, T. (1996). On Knowledge Level Theories of Design Process. In: GERO, J.S., and SUDWEEKS, F. (Eds.), Artificial Intelligence in Design (AID'96), Kluwer Academic Publishers, pp. 561-579.
  213. SMITHERS, T., and TROXELL, W. (1990). Design is intelligent behaviour, but what's the formalism? In: AIEDAM, 4(2), pp. 89-98.
  214. SMITHERS, T., CORNE, D., and ROSS, P. (1994). On Computing Exploration and Solving Design Problems. In: Proceedings of the IFIP WG5.2 international workshop on formal methods for CAD 1993, published by North Holland.
  215. SOMMERVILLE, I., and RODDEN, T. (1994). Requirements Engineering for Cooperative Systems. Technical Report CSCW/1/1994, University of Lancaster.
  216. SOMMERVILLE, I., and SAWYER, P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England.
  217. STEIER, D. (1991). Automating Algorithm Design within a General Architecture for Intelligence. In: LOWRY, M.R., and MCCARTNEY, R.D. (Eds.), Automating Software Design, AAAI Press, pp. 577-602.
  218. STRAATMAN, R. (1997). Kids for Kads. In. PLAZA, E., and BENJAMINS, R. (Eds). Proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling, and Management (EKAW'97). Sant Feliu de Guixols, Catalania, Lecture Notes in Artificial Intelligence, 1319, Springer Verlag, pp. 371-376.
  219. STRELNIKOV, Y.N., and DMITREVICH, G.D. (1991). Formal description and comparison of interactive design strategies. In: Artificial Intelligence in Engineering, 6(4), pp. 186-195.
  220. STROULIA, E., and GOEL, A.K. (1994a). Reflective, Self-Adaptive Problem Solvers. In: STEELS, L., SCHREIBER, G., and VAN DE VELDE, W. (Eds.), A future for knowledge acquisition, proceedings of the 1994 European Conference on Knowledge Acquisition (EKAW'94), Lecture Notes in Artificial Intelligence, 867, Springer-Verlag, pp. 394-413.
  221. STROULIA, E., and GOEL, A.K. (1994b). Learning Problem-Solving Concepts by Reflecting on Problem Solving. In: BERGADANO, and DE RAEDT, L. (Eds.), Proceedings of ECML-94, Springer-Verlag, pp. 287-306.
  222. STUTT, A., and MOTTA, E. (1995). Recording the design decisions of knowledge engineers to facilitate re-use of design models. In: (Gaines and Musen, 1995), pp. 33/1-33/19.
  223. SUMI, Y. (1997). Supporting the Acquisition and Modelling of Requirements in Software Design. In: CANDY, L., and HORI, K. (Eds.), Proceedings of the First International Workshop on Strategic Knowledge and Concept Formation, Lutchi Research Centre, pp. 205-216.
  224. SYCARA, K., and ZENG, D. (1996). Multi-agent integration of information gathering and decision support. In: WAHLSTER, W. (Ed), Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96), Wiley and Sons, pp. 549-553.
  225. TAKAHASHI, M., OONO, J., SAITOH, K., and MATSUMOTO, S. (1995). Reusing makes it easier: Manufacturing Process Design by CBR with KnowledgeWare. In: IEEE Expert, pp. 74-80.
  226. TAKEDA, H., VEERKAMP, P.J., TOMIYAMA, T., and YOSHIKAWA, H. (1990), Modelling Design Processes. In: AI Magazine, 11(4), 37-48.
  227. TALON, X., and PIERRET-GOLBREICH, C. (1996a). TASK, a framework for the different steps of a KBS construction. In: Proceedings of the 6th European Workshop on Knowledge Engineering Methods and Languages (KEML'96), Gif sur Yvette.
  228. TALON, X., and PIERRET-GOLBREICH, C. (1996b). TASK: from the specification to the implementation. In: 8th IEEE International Conference on Tools with Artificial Intelligence, IEEE Computer Society Press, pp. 80-88.
  229. TEIJE, A. TEN, and HARMELEN, F. VAN (1994). An extended spectrum of logical definitions for diagnostic systems. In: Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis, New Paltz, New York, pp. 334-342.
  230. TEIJE, A. TEN, and Harmelen, F. VAN (1996). Using reflection techniques for flexible problem solving. In: Future Generation Computer Systems, 12, special issue Reflection and Meta-level AI Architectures, pp. 217-234.
  231. TEIJE, A. TEN, HARMELEN, F. VAN, SCHREIBER, A.Th., WIELINGA, B.J. (1998). Construction of problem- solving methods as parametric design. International Journal of Human-Computer Studies, Special issue on problem-solving methods, 49(4).
  232. TEITELMAN, W. (1986a). A Display-Oriented Progammer's Assistant. In: BARSTOW, D.R., SHROBE, H.E., and SANDEWALL, E. (Eds.), Interactive Programming Environments. B & Jo Enterprise Pte LTD, Singapore, pp. 240-287 (reprint).
  233. TEITELMAN, W. (1986b). Automated Programmering: The Programmer's Assistant. In: BARSTOW, D.R., SHROBE, H.E., and SANDEWALL, E. (Eds.), Interactive Programming Environments. B & Jo Enterprise Pte LTD, Singapore, pp. 232-239. Reprint from AFIPS: Fall Joint Computer Conference Proceedings, 1972, AFIPS, 41, pp. 917-921.
  234. TERVEEN, L.G., and MURRAY, L.T. (1996). Helping Users Program Their Personal Agents. In: TAUBER, M.J. (Ed.), Proceedings of the conference of Human Factors in Computing Systems (CHI'96), pp. 355-361.
  235. THAM, K W., and GERO, J.S. (1992). PROBER -A design system based on design prototypes. In: GERO, J.S. (Ed.), Artificial Intelligence in Design (AID'92), Kluwer, Dordrecht, pp. 657-675.
  236. TOMIYAMA, T., and YOSHIKAWA, H. (1987). Extended General Design Theory. In: H. YOSHIKAWA and E.A. WARMAN (Eds.), Proceedings of the IFIP WG 5.2 Working Conference on Design Theory for CAD, North-Holland, pp. 95-125.
  237. TREUR, J. (1989). A logical analysis of design tasks for expert systems. In: International Journal of Expert Systems, 2, 233-253.
  238. TREUR, J. (1993). Heuristic reasoning and relative incompleteness. In: Journal of Approximate Reasoning, 8, pp. 51-87.
  239. TREUR, J. (1994). Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. In: FRIBOURG, L., and TURINI, F. (Eds.), Logic Program Synthesis and Transformation-Meta-Programming in Logic, Proceedings of the Fourth International Workshop on Meta-Programming in Logic (META'94). Springer Verlag, Lecture Notes in Computer Science, 883, pp. 353-376.
  240. TREUR, J., AKKERMANS, J.M., MARS, N.J.I., and WIELINGA, B.J. (1992). Research proposal: Evolutionary Design in Knowledge-Based Systems. NWO/SION Project Number 612-322-316, The Netherlands.
  241. TREUR, J., and WETTER Th. (1993) (Eds.). Formal Specification of Complex Reasoning Systems, Ellis Horwood, 282 pp.
  242. UMEDA, Y., and TOMIYAMA, T. (1997). Functional Reasoning in Design. In: IEEE Expert, 12(2), pp. 42-48.
  243. VANWELKENHUYSEN, J. (1995). Embedding non-functional requirements analyses in conceptual knowledge system designs. In: (Gaines and Musen, 1995), pp. 45/1-45/15.
  244. VANWELKENHUYSEN, J., and MIZOGUCHI, R. (1995). Workplace-Adapted Behaviors: Lessons Learned for Knowledge Reuse. In: Proceedings of Second International Conference on Building and Sharing Very Large-Scale Knowledge Bases, Enschede, Netherlands.
  245. VESCOVI, M., and IWASAKI, Y. (1993), Device design as functional and structural refinement. In: FALTINGS, B. (Ed.), Working Notes of the IJCAI'93 Workshop on AI in Design , Chambéry, pp. 55-60.
  246. VLIET, J.C. VAN (1993). Software Engineering: Principles and Practice. John Wiley & Sons, Chicester.
  247. Voß, A. (1997). Case reusing systems -survey, framework and guidelines. In: The Knowledge Engineering Review, 12(1), pp. 59-89.
  248. Voß, A., and Oxman, R. (1996). A stury od case adaptation systems. In: GERO, J.S., and SUDWEEKS, F. (Eds.), Artificial Intelligence in Design (AID'96), Kluwer Academic Publishers, pp. 173-189.
  249. WANG, Q., RAO, M., and ZHOE, J. (1995). Intelligent systems approach to conceptual design. In: International journal of inteillgent systems, 10, pp. 259-293.
  250. WATERS, R.C. (1986). The Programmer's Apprentice: Knowledge-Based Progam Editing. In: BARSTOW, D.R., SHROBE, H.E., and SANDEWALL, E. (Eds.), Interactive Programming Environments. B & Jo Enterprise Pte LTD, Singapore, pp. 464-486. Reprint from IEEE Transactions on Software Engineering, 1982, 8(1), pp. 1-12.
  251. WATSON, I., and MARIR, F. (1994). Case-based reasoning: A review. In: The Knowledge Engineering Review, 9(4), pp. 327-354.
  252. WIELINGA, B.J., and SCHREIBER, A.Th. (1997). Configuration design problem solving. In: IEEE Expert, 12(2), Special issue on AI and design, pp. 49-56.
  253. WIELINGA, B.J., SCHREIBER, A.TH., and BREUKER, J.A. (1992). KADS: a modelling approach to knowledge engineering. In: Knowledge Acquisition, 4, pp. 5-53.
  254. WIERINGA, R.J. (1996). Requirements Engineering: Frameworks for Understanding. Wiley and Sons.
  255. WILLIAMS, B.C., and NAYAK, P.P. (1996). A Model-Based Approach to Reactive Self-Configuring Systems. In: Proceedings of the AAAI-96, 2, pp. 971-978.
  256. WINSOR, J., and MACCALLUM, K. (1994). A review of functionality modelling in design. In: The Knowledge Engineering Review, 9(2), pp. 163-199.
  257. WOOLDRIDGE, M.J., and JENNINGS, N.R. (1995). Intelligent Agents: Theory and Practice. In: Knowledge Engineering Review, 10(2), pp. 115-152.
  258. ZAFF, B.S., MCNEESE, M.D., and SNYDER, D.E. (1993). Capturing multiple perspectives: a user centered approach to knowledge and design acquisition. In: Knowledge Acquisition, 5, pp. 79-116.
  259. ZDRAHAL, Z., and MOTTA, E. (1995). An In-Depth Analysis of Propose & Revise Problem Solving Methods. In: (Gaines and Musen, 1995), pp. 38/1-38/20. 1998 98-1 Johan van den Akker (CWI) DEGAS -An Active, Temporal Database of Autonomous Objects Promotor: prof.dr. M.L. Kersten (CWI/UvA)
  260. Co-promotor: dr. A.P.J.M. Siebes (CWI) Promotie: 30 maart 1998 98-2 Floris Wiesman (UM) Information Retrieval by Graphically Browsing Meta-Information Promotores: prof.dr.ir. A. Hasman (UM) prof.dr. H.J. van den Herik (UM/RUL) prof.dr.ir. J.L.G. Dietz (TUD)
  261. Promotie: 7 mei 1998 98-3 Ans Steuten (TUD) A Contribution to the Linguistic Analysis of Business Conversations within the Language/Action Perspective Promotores: prof.dr.ir. J.L.G. Dietz (TUD) prof.dr. P.C. Hengeveld (UvA)
  262. Promotie: 22 juni 1998 98-4 Dennis Breuker (UM) Memory versus Search in Games Promotor: prof.dr. H.J. van den Herik (UM/RUL)
  263. Promotie: 16 oktober 1998 98-5 E.W.Oskamp (RUL) Computerondersteuning bij Straftoemeting Promotores: prof.mr. H. Franken prof.dr. H.J. van den Herik Promotie: 13 mei 1998
  264. 1999 99-1 Mark Sloof (VU) Physiology of Quality Change Modelling; Automated modelling of Quality Change of Agricultural Products Promotor: prof.dr. J. Treur Co-promotor: dr.ir. M. Willems Promotie: 11 mei 1999 99-2 Rob Potharst (EUR) Classification using decision trees and neural nets Promotor: prof.dr. A. de Bruin Co-promotor: dr. J.C. Bioch Promotie: 4 juni 1999 99-3
  265. Don Beal (Queen Mary and Westfield College) The Nature of Minimax Search Promotor: prof.dr. H.J.van den Herik Promotie: 11 juni 1999 99-4 Jacques Penders (KPN Research) The practical Art of Moving Physical Objects Promotor: prof.dr. H.J. van den Herik Co-promotor: dr. P.J. Braspenning Promotie: 11 juni 1999 99-5 Aldo de Moor (KUB) Empowering Communities: A Method for the Legitimate User-Driven Specification of Network Information Systems Promotor: prof.dr. R.A. Meersman Co-promotor: dr. H. Weigand Promotie: 1 oktober 1999 99-6 Niek J.E. Wijngaards (VU) Re-design of compositional systems Promotor: prof.dr. J. Treur Co-promotor: dr. F.M.T. Brazier Promotie: 30 september 1999

Related papers

Compositional Design Methodology with Constraint
Benoît Caillaud

2010

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

View PDFchevron_right
Compositional Systems: Overview and Applications
Liduino Pitombeira

MusMat - Brazilian Journal of Music and Mathematics, 2020

In this paper the theory of compositional systems is described in detail, taking as a starting point the theoretical framework inherent to systems science. The origins of this science and the definitions of its fundamental concepts are provided in the first part of the article, illustrated with musical examples. The central part of the article contains the definition of the concept of compositional system, its typology, and a series of tools that are useful for implementations. Finally, the design of three types of systems (open, semi-open and feedback) are carried out in order to produce small illustrative musical fragments.

View PDFchevron_right
Compositional Design Methodology with Constraint Markov Chains
Benoit Caillaud

2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

View PDFchevron_right
From systems analysis to systems composition Photo credit: Pixabay
Herbert Weinreich

Internal working paper, 2017

Contents: The aim of this description is to highlight the basic elements of a pragmatic problem-solving approach, which can lead to a final problem-solving result in any requirement-oriented arrangement and number. The second focus lies in the recognizing, creative language game between analysis and synthesis as the basis of systems composition. The third deals with the creation of symbolic composition tools and shows the development path to the class of symbolic working machines (composition engines), on the basis of which virtual and artificial assistants will enrich our living and working world in the future.

View PDFchevron_right
Portfolio of compositions and technical commentary
Marcos Dario

2019

You are free to copy, distribute and transmit the work Under the following conditions:  Attribution: You must attribute the work in the manner specified by the author (but not in any way that suggests that they endorse you or your use of the work).  Non Commercial: You may not use this work for commercial purposes.  No Derivative Works-You may not alter, transform, or build upon this work. Any of these conditions can be waived if you receive permission from the author. Your fair dealings and other rights are in no way affected by the above. The copyright of this thesis rests with the author and no quotation from it or information derived from it may be published without proper acknowledgement.

View PDFchevron_right

Related topics

  • Computer Science
    • 580 California St., Suite 400
    San Francisco, CA, 94104
    © 2025 Academia. All rights reserved