SCOPUS 정보 검색 플랫폼

Science of Computer Programming

Volumn 44, Issue 2, 2002, Pages 229-252

Formal agent-oriented modeling with UML and graph transformation

(3) Depke, Ralph a Heckel, Reiko a Küster, Jochen Malte a

a UNIVERSITY OF PADERBORN (Germany)

Author keywords

Agent oriented modeling; Formal semantics; Graph transformation; UML

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; SOFTWARE AGENTS;

AGENT-ORIENTED MODELING;

OBJECT ORIENTED PROGRAMMING;

EID: 0036642796 PISSN: 01676423 EISSN: None Source Type: Journal
DOI: 10.1016/S0167-6423(02)00040-0 Document Type: Article

Times cited : (17)

References (35)

1
- 0033116147
- Graph transformation for specification and programming
- (1999) Sci. Comput. Programming , vol.34 , pp. 1-54
- Andries, M.¹ Engels, G.² Habel, A.³ Hoffmann, B.⁴ Kreowski, H.-J.⁵ Kuske, S.⁶ Plump, D.⁷ Schürr, A.⁸ Taentzer, G.⁹

2
- 4244173537
- Scheme evolution in object oriented models: A graph transformation approach
- Seattle, USA
- (1995) Proc. Workshop on Formal Methods at the ISCE'95
- Claßen, I.¹ Löwe, M.²

3
- 0003691163
- Prentice-Hall, Englewood Cliffs, NJ
- (1994) Object Oriented Development, The Fusion Method
- Coleman, D.¹ Arnold, P.² Bodof, S.³ Dollin, C.⁴ Gilchrist, H.⁵ Hayes, F.⁶ Jeremes, P.⁷

4
- 0030173077
- Graph processes
- (1996) Fund. Inform. , vol.26 , Issue.3-4 , pp. 241-266
- Corradini, A.¹ Montanari, U.² Rossi, F.³

5
- 0010606491
- Breathing life into message sequence charts
- P. Ciancarini, A. Fantechi, R. Gorrieri (Eds.), Florence, Italy, Kluwer Academic Publishers, Dordrecht
- (1999) Proc. Formal Methods for Open Object Based Distributed Systems (FMOODS'99)
- Damm, W.¹ Harel, D.²

6
- 0006074392
- Formalizing the development of agent-based systems using graph processes
- A. Corradini, R. Heckel (Eds.), Geneva, Switzerland, Carleton Scientific, July
- (2000) Proc. ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques , pp. 419-426
- Depke, R.¹ Heckel, R.²

7
- 0033714699
- Integrating visual modeling of agent-based and object-oriented systems
- Barcelona, Spain, June
- (2000) Proc. 4th Internat. Conf. Autonomous Agents (AGENTS-2000) , pp. 82-83
- Depke, R.¹ Heckel, R.² Küster, J.M.³

8
- 84959056715
- Modeling agent-based systems with graph transformation and UML: From requirement specification to object-oriented design
- H. Ehrig, G. Taentzer (Eds.), Berlin, Germany, March
- (2000) Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra'2000)
- Depke, R.¹ Heckel, R.² Küster, J.M.³

9
- 70350661997
- Agent-oriented modeling with graph transformation
- P. Ciancarini, M.J. Wooldridge (Eds.), Proc. 1st Internat. Workshop on Agent-Oriented Software Engineering, AOSE 2000, Limerick, Ireland, June, Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1957 , pp. 105-120
- Depke, R.¹ Heckel, R.² Küster, J.M.³

10
- 0034833479
- Improving the agent-oriented modeling process with roles
- Montreal, Canada, ACM Press, New York, June
- (2001) Proc. 5th Internat. Conf. Autonomous Agents (AGENTS-2001) , pp. 640-647
- Depke, R.¹ Heckel, R.² Küster, J.M.³

11
- 0006035953
- Roles in agent-oriented modeling
- (2001) Internat. J. Software Eng. Knowledge Eng. , vol.11 , Issue.3 , pp. 281-302
- Depke, R.¹ Heckel, R.² Küster, J.M.³

12
- 0003994820
- World Scientific, Singapore
- (1999) Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages, and Tools , vol.2
- Ehrig, H.¹ Engels, G.² Kreowski, H.-J.³ Rozenberg, G.⁴

13
- 0003994822
- World Scientific, Singapore
- (1999) Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency and Distribution , vol.3
- Ehrig, H.¹ Kreowski, H.-J.² Montanari, U.³ Rozenberg, G.⁴

14
- 85035052547
- Graph grammars: An algebraic approach
- IEEE
- (1973) 14th Ann. IEEE Symp. on Switching and Automata Theory , pp. 167-180
- Ehrig, H.¹ Pfender, M.² Schneider, H.J.³

15
- 0000650278
- A combined reference model- and view-based approach to system specification
- (1997) Internat. J. Software Knowledge Eng. , vol.7 , Issue.4 , pp. 457-477
- Engels, G.¹ Heckel, R.² Taentzer, G.³ Ehrig, H.⁴

16
- 0003642129
- Agent communication language
- FIPA
- (1997) FIPA 97 Specification, Version 2.0

17
- 84926306857
- Is it an agent, or just a program?: A taxonomy for autonomous agents
- J.P. Müller, M.J. Wooldridge, N.R. Jennings (Eds.), Proc. ECAI'96 Workshop on Agent Theories, Architectures, and Languages: Intelligent Agents III, Springer, Berlin, August
- (1997) Lecture Notes in Artificial Intelligence , vol.1193 , pp. 21-36
- Franklin, S.¹ Graesser, A.²

18
- 84949934945
- Refinement of graph transformation systems via rule expressions
- H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Proc. 6th Internat. Workshop on Theory and Application of Graph Transformation, TAGT'98, Paderborn, November, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1764 , pp. 368-382
- Große-Rhode, M.¹ Parisi-Presicce, F.² Simeoni, M.³

19
- 0023365727
- Statecharts: A visual formalism for complex systems
- (1987) Sci. Comput. Programming , vol.8 , pp. 231-274
- Harel, D.¹

20
- 0010536860
- Technical Report MCS99-20, Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, April
- (2000) Synthesizing state-based object systems from LSC specifications
- Harel, D.¹ Kugler, H.²

21
- 0001264698
- Horizontal and vertical structuring of typed graph transformation systems
- (1996) Math. Struct. Comput. Sci. , vol.6 , Issue.6 , pp. 613-648
- Heckel, R.¹ Corradini, A.² Ehrig, H.³ Löwe, M.⁴

22
- 0006074393
- Strengthening UML collaboration diagrams by state transformations
- H. Hußmann (Ed.), Genova, Italy, Lecture Notes in Computer Science, Springer, Berlin, April
- (2001) Proc. Fundamental Approaches to Software Engineering (FASE'2001)
- Heckel, R.¹ Sauer, St.²

23
- 84961306668
- Analysis and design of multiagent systems using MAS-CommonKADS
- M.P. Singh, A. Rao, M.J. Wooldridge (Eds.), Proc. 4th Internat. Workshop on Agent Theories, Architectures, and Languages, ATAL-97, Springer, Berlin, July 24-26
- (1998) Lecture Notes in Artificial Intelligence , vol.1365 , pp. 313-328
- Iglesias, C.A.¹ Garijo, M.² González, J.C.³ Velasco, J.R.⁴

24
- 0003503502
- ITU-TS, Geneva
- (1995) Recommendation z.120: Message sequence chart (MSC) - Annex B: Algebraic semantics of message sequence charts

25
- 0004215049
- Springer, Berlin
- (1998) Agent Technology: Foundations, Applications, and Markets
- Jennings, N.R.¹ Wooldridge, M.J.²

26
- 84974667199
- A note on modeling agent systems by graph transformation
- M. Nagl, A. Schürr, M. Münch (Eds.), Application of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, NL, September 1-3, Springer, Berlin
- (1999) Lecture Notes in Computer Science , vol.1779 , pp. 79-86
- Knirsch, P.¹ Kreowski, H.-J.²

27
- 0002274099
- An algebraic framework for the transformation of attributed graphs
- M.R. Sleep, M.J. Plasmeijer, M.C. van Eekelen (Eds.), Wiley, New York
- (1993) Term Graph Rewriting: Theory and Practice , pp. 185-199
- Löwe, M.¹ Korff, M.² Wagner, A.³

28
- 0004239712
- June
- (1999) UML specification version 1.3

29
- 0006035754
- An extension of UML for modelling the nonpurely-reactive behavior of active objects
- H. Ehrig, G. Engels, F. Orejas, M. Wirsing (Eds.), October. Also Technical Report of DISI - Universit di Genova, Italy, DISI-TR-00-28
- (2000) Dagstuhl Seminar No. 00411 on "Semi-Formal and Formal Specification Techniques for Software Systems" Dagstuhl Seminar Series , vol.288
- Reggio, G.¹ Astesiano, E.²

30
- 0004063990
- World Scientific, Singapore
- (1997) Handbook of Graph Grammars and Computing by Graph Transformation, Foundations , vol.1
- Rozenberg, G.¹

31
- 0006110310
- Towards a harmonization of UML-sequence diagrams and MSC
- R. Dssouli, G.V. Bochmann, Y. Lahav (Eds.), Elsevier Science, Amsterdam, June
- (1999) SDL '99 - The Next Millenium
- Rudolph, E.¹ Grabowski, J.² Graubmann, P.³

32
- 0003511049
- Prentice-Hall, Dordrecht
- (1991) Object-Oriented Modelling and Design
- Rumbaugh, J.¹ Blaha, M.² Premerlani, W.³ Eddy, F.⁴ Lorensen, W.⁵

33
- 0019180974
- The contract net protocol: High-level communication and control in a distributed problem solver
- (1980) IEEE Trans. Comput. , vol.C-29 , Issue.12 , pp. 1104-1113
- Smith, R.G.¹

34
- 0004231565
- MIT Press, Cambridge, MA
- (1999) Multiagent Systems
- Weiss, G.¹

35
- 0034422338
- The Gaia methodology for agent-oriented analysis and design
- (2000) J. Autonomous Agents Multi-Agent Systems , vol.3 , Issue.3 , pp. 285-312
- Wooldridge, M.J.¹ Jennings, N.R.² Kinny, D.³

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