SCOPUS 정보 검색 플랫폼

Data and Knowledge Engineering

Volumn 41, Issue 1, 2002, Pages 1-27

Principles of component-based design of intelligent agents

(3) Brazier, Frances M T a Jonker, Catholijn M a Treur, Jan a

a VU UNIVERSITY AMSTERDAM (Netherlands)

Author keywords

Agent; Component based; Design; Generic model; Reuse

Indexed keywords

KNOWLEDGE ENGINEERING; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

GENERIC MODELS; KNOWLEDGE ABSTRACTION;

INTELLIGENT AGENTS;

EID: 0036535145 PISSN: 0169023X EISSN: None Source Type: Journal
DOI: 10.1016/S0169-023X(01)00058-1 Document Type: Article

Times cited : (78)

References (45)

1
- 0027342022
- Composing specifications
- (1993) ACM Transactions on Programming Languages and Systems , vol.15 , Issue.1 , pp. 73-132
- Abadi, M.¹ Lamport, L.²

2
- 0031190329
- Plangent: An approach to making mobile agents intelligent
- (1997) IEEE Internet Computing , vol.1 , Issue.2
- Akihik, O.¹ Yasuo, N.² Yutaka, H.³ Masaonri, H.⁴ Shinichi, H.⁵

3
- 0003718668
- Oxford University Press, Oxford
- (1977) A Pattern Language
- Alexander, C.¹

4
- 0031700834
- Agent design patterns: Elements of agent application design
- ACM Press, New York
- (1998) Proceedings of the Second Annual Conference on Autonomous Agents, Agents'98 , pp. 108-115
- Aridor, Y.¹ Lange, D.B.²

5
- 0003434834
- Addison-Wesley, Reading, MA
- (1994) Object-Oriented Analysis and Design, second ed.
- Booch, G.¹

6
- 52649152797
- Compositional design and verification of a multi-agent system for one-to-many negotiation
- IEEE Computer Society Press, Silver Spring, MD
- (1998) Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98 , pp. 49-56
- Brazier, F.M.T.¹ Cornelissen, F.² Gustavsson, R.³ Jonker, C.M.⁴ Lindeberg, O.⁵ Polak, B.⁶ Treur, J.⁷

7
- 0002582257
- Formal specification of multi-agent systems: A real-world case
- MIT Press, Cambridge, MA
- (1995) Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95 , pp. 25-32
- Brazier, F.M.T.¹ Dunin-Keplicz, B.² Jennings, N.R.³ Treur, J.⁴ Lesser, V.⁵

8
- 0001990453
- Formal methods in cooperative information systems: Multi-agent systems
- special issue
- (1997) International Journal of Cooperative Information Systems , vol.6 , pp. 67-94
- Huhns, M.¹ Singh, M.²

9
- 71649093895
- Modelling the internal behaviour of BDI-agents
- J.-J.Ch. Meyer, P.Y. Schobbes (Eds.), Formal Models of Agents (Selected papers from final ModelAge Workshop), Springer, Berlin
- (1999) Lecture Notes in AI , vol.1760 , pp. 36-56
- Brazier, F.M.T.¹ Dunin-Keplicz, B.² Treur, J.³ Verbrugge, L.C.⁴

10
- 84926358591
- Formalisation of a cooperation model based on joint intentions
- J.P. Müller, M.J. Wooldridge, N.R. Jennings (Eds.), Intelligent Agents III (Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, ATAL'96), Springer, Berlin
- (1997) Lecture Notes in AI , vol.1193 , pp. 141-155
- Brazier, F.M.T.¹ Jonker, C.M.² Treur, J.³

11
- 0034414332
- (2000) International Journal of Cooperative Information Systems , vol.9 , pp. 171-207

12
- 0002493414
- On formal specification of design tasks
- J.S. Gero, F. Sudweeks (Eds.), Kluwer Academic Publishers, Dordrecht
- (1994) Artificial Intelligence in Design '94 , pp. 535-552
- Brazier, F.M.T.¹ Van Langen, P.H.G.² Ruttkay, Zs.³ Treur, J.⁴

13
- 0008786626
- Strategic knowledge in compositional design models
- J.S. Gero, F. Sudweeks (Eds.), Kluwer Academic Publishers, Dordrecht
- (1998) Proceedings of the Fifth International Conference on Artificial Intelligence in Design, AID'98 , pp. 129-147
- Brazier, F.M.T.¹ Van Langen, P.H.G.² Treur, J.³

14
- 84958752797
- The acquisition of a shared task model
- N. Shadbolt, K. O'Hara, G. Schreiber (Eds.), Advances in Knowledge Acquisition, Proceedings of the 9th European Knowledge Acquisition Workshop, EKAW'96, Springer, Berlin
- (1996) Lecture Notes in AI , vol.1076 , pp. 278-289
- Brazier, F.M.T.¹ Treur, J.² Wijngaards, N.J.E.³

15
- 0002237148
- Modelling interaction with experts: The role of a shared task model
- W. Wahlster (Ed.), Wiley, Chichester
- (1996) Proceedings of the 12th European Conference on AI, ECAI'96 , pp. 241-245
- Brazier, F.M.T.¹ Treur, J.² Wijngaards, N.J.E.³

16
- 0003432878
- IEEE Computer Society Press, Silver Spring, MD
- (1996) Component-Based Software Engineering
- Brown, A.W.¹

17
- 84942843814
- Deliberative normative agents: Principles and architecture
- N.R. Jennings, Y. Lesperance (Eds.), Intelligent Agents VI. Proceedings of the Sixth International Workshop on Agent Theories, Architectures and Languages, ATAL'99, Springer, Berlin
- (2000) Lecture Notes in AI , vol.1757 , pp. 364-378
- Castelfranchi, C.¹ Dignum, F.² Jonker, C.M.³ Treur, J.⁴

18
- 0003691163
- Prentice-Hall International, Hempel Hempstead, England
- (1994) Object-Oriented Development: The FUSION method
- Coleman, D.¹ Arnold, P.² Bodoff, S.³ Dollin, C.⁴ Gilchrist, H.⁵ Hayes, F.⁶ Jeremaes, P.⁷

19
- 84957871808
- Compositional verification of knowledge-based systems: A case study for diagnostic reasoning
- E. Plaza, R. Benjamins (Eds.), Knowledge Acquisition, Modelling and Management, Proceedings of the 10th EKAW, Springer, Berlin
- (1997) Lecture Notes in AI , vol.1319 , pp. 65-80
- Cornelissen, F.¹ Jonker, C.M.² Treur, J.³

20
- 0027574423
- Goal-directed requirements acquisition
- (1993) Science in Computer Programming , vol.20 , pp. 3-50
- Dardenne, A.¹ Van Lamsweerde, A.² Fickas, S.³

21
- 0030393604
- Formal refinement patterns for goal-driven requirements elaboration
- (1996) Proceedings of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4) , pp. 179-190
- Darimont, R.¹ Van Lamsweerde, A.²

22
- 0003336226
- A formal requirements engineering method for real-time, concurrent, and distributed systems
- (1995) Proceedings of the Real-Time Systems Conference, RTS'95
- Dubois, E.¹ Du Bois, P.² Zeippen, J.M.³

23
- 84949440882
- Representing and executing agent-based systems
- M. Wooldridge, N. Jennings (Eds.), Intelligent Agents - Proceedings of the International Workshop on Agent Theories, Architectures, and Languages, ATAL'94, Springer, Berlin
- (1995) Lecture Notes in Artificial Intelligence , vol.890
- Fisher, M.¹

24
- 0003880013
- Addison-Wesley/Longman, Reading, MA/New York
- (1994) Desing Patterns: Elements of Reusable Object-Oriented Software
- Gamma, E.E.¹ Helm, R.² Johnson, R.³ Vlissides, J.⁴

25
- 70350442830
- Specification of behavioural requirements within compositional multi-agent system design
- F.J. Garijo, M. Boman (Eds.), Multi-Agent System Engineering, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99, Springer, Berlin
- (1999) Lecture Notes in AI , vol.1647 , pp. 8-27
- Herlea, D.E.¹ Jonker, C.M.² Treur, J.³ Wijngaards, N.J.E.⁴

26
- 0028399569
- Compositional verification of a distributed real-time arbitration protocol
- (1994) Real-Time Systems , vol.6 , pp. 173-206
- Hooman, J.¹

27
- 0000442222
- Component primer
- (2000) Communications of the ACM , vol.43 , Issue.1 , pp. 27-30
- Hopkins, J.¹

28
- 0029326031
- Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
- (1995) Artificial Intelligence Journal , vol.74 , Issue.2
- Jennings, N.R.¹

29
- 0002056695
- Applications of intelligent agents
- N.R. Jennings, M. Wooldridge (Eds.), Springer, Berlin
- (1998) Agent Technology: Foundations, Applications, and Markets , pp. 3-28
- Jennings, N.R.¹ Wooldridge, M.²

30
- 84949205205
- Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness
- W.P. de Roever, H. Langmaack, A. Pnueli (Eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1536 , pp. 350-380
- Jonker, C.M.¹ Treur, J.²

31
- 0008783718
- (2002) International Journal of Cooperative Information Systems

32
- 0008765066
- ACM press, New York
- (1998) Proceedings of the Second Annual Conference on Autonomous Agents, Agents'98
- Kendall, E.A.¹ Murali Krisna, P.V.² Pathak, C.V.³ Suresh, C.B.⁴

33
- 84883596939
- A methodology and technique for systems of BDI agents
- W. van der Velde, J.W. Perram (Eds.), Agents Breaking Away, Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'96, Springer, Berlin
- (1996) Lecture Notes in AI , vol.1038 , pp. 56-71
- Kinny, D.¹ Georgeff, M.P.² Rao, A.S.³

34
- 0003499649
- John Wiley and Sons, New York
- (1998) Requirements Engineering: Processes and Techniques
- Kontonya, G.¹ Sommerville, I.²

35
- 0008755988
- Composition of reactive system components
- Zurich
- (1997) Proceedings of the Workshop on Foundations of Component-Based Systems (FoCBS '97)
- Lano, K.¹ Bicarregui, J.² Maibaum, T.³ Fiadeiro, J.⁴

36
- 0002091149
- A formal framework for agency and autonomy
- V. Lesser (Ed.), AAAI Press
- (1995) Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95 , pp. 254-260
- Luck, M.¹ D'Inverno, M.²

37
- 0032805927
- The open agent architecture: A framework for building distributed software systems
- (1999) Applied Artificial Intelligence , vol.13 , pp. 91-128
- Martin, D.L.¹ Cheyer, A.J.² Moran, D.B.³

38
- 84891114148
- Agent modelling in MetateM and DESIRE
- M.P. Singh, A.S. Rao, M.J. Wooldridge (Eds.), Intelligent Agents IV, Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, ATAL'97, Springer, Berlin
- (1998) Lecture Notes in AI , vol.1365 , pp. 193-207
- Mulder, M.¹ Treur, J.² Fisher, M.³

39
- 0032639517
- ZEUS: A tool-kit and approach for building distributed multi-agent systems
- (1999) Proceedings of the Third International Conference on Autonomous Agents '99 , pp. 360-361
- Nwana, H.S.¹ Ndumu, D.T.² Lee, L.C.³ Collis, J.⁴

40
- 0002572155
- Modeling rational agents within a BDI architecture
- R. Fikes, E. Sandewall (Eds.), Morgan Kaufman, Los Altos, CA
- (1991) Proceedings of the Second Conference on Knowledge Representation and Reasoning , pp. 473-484
- Rao, A.S.¹ Georgeff, M.P.²

41
- 0008755122
- Architectural issues in component-based software engineering
- Zurich
- (1997) Proceedings of the Workshop on Foundations of Component-Based Systems (FoCBS '97)
- Rice, M.D.¹ Seidman, S.B.²

42
- 0003511049
- Prentice-Hall, Eaglewoods Clifs, NJ
- (1991) Object-Oriented Modelling and Design
- Rumbaugh, J.¹ Blaha, M.² Pelerlani, W.³ Eddy, F.⁴ Lorensen, W.⁵

43
- 4244137554
- Department of Computer Science, Imperial College, University of London
- (1999) Component-based agent construction
- Skarmeas, N.¹ Clark, K.²

44
- 0002865960
- Lessons learned through six years of component-based development
- (2000) Communications of the ACM , vol.43 , Issue.10 , pp. 47-53
- Sparling, M.¹

45
- 84937413800
- Agent theories, architectures, and languages: A survey
- M. Wooldridge, N.R. Jennings (Eds.), Intelligent Agents, Proceedings of the First International Workshop on Agent Theories, Architectures and Languages, ATAL'94, Springer, Berlin
- (1995) Lecture Notes in AI , vol.890 , pp. 1-39
- Wooldridge, M.¹ Jennings, N.R.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.