A model making automation process (MMAP) using a graph grammar Formalism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1764, Issue , 2000, Pages 442-454

  Hrischuk, Curtis E ^a  

^a UNIVERSITY OF ALBERTA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES;

ATTRIBUTED GRAPHS; AUTOMATION PROCESS; CAUSE-AND-EFFECT RELATIONSHIPS; CONCURRENT SOFTWARE SYSTEMS; HIGH-LEVEL MODELS; MODEL DOMAINS; MODEL TRANSFORMATION; SYSTEM BEHAVIORS;

GRAPH THEORY;

EID: 84949971529     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46464-8_31     Document Type: Conference Paper

References (24)

1. 1 Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Don Mills, Ontario, Canada, 1999.
2. 2 D. Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97-107, February 1992.
3. 3 Martin Glinz. An integrated formal model of scenarios based on statecharts. In Wilhelm Schafer and Pere Botella, editors, European Software Engineering Conference ESEC ’95, pages 254-271, September 1995.
4. 4 James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. The Java Series. Addison-Wesley, 1997.
5. 5 Frederick Hayes-Roth and D.A. Waterman. Principles of pattern-directed inference systems. In D.A. Waterman and Frederick Hayes-Roth, editors, Pattern-Directed Inference Systems, pages 577-601. Academic Press, 1978.
6. 6 L. Hess and B. Mayoh. The four musicians: Analogies and experts systems - a graphic approach. In H. Erhig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Grammars and Their Application to Computer Science, number 532 in Lecture Notes in Computer Science, pages 430-445. Springer-Verlag, 1990.
7. 7 C. Hrischuk, J. Rolia, and C. M. Woodside. Automatic generation of a software performance model using an object-oriented prototype. In International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS’95), pages 399-409, 1995.
8. 8 C. Hrischuk, C. M. Woodside, J. Rolia, and Rod Iversen. Trace-based load characterization for generating software performance models. Technical Report SCE- 97-05, Dept. of Systems and Computer Engineering, Carleton University, Ottawa, Canada K1S 5B6, 1997. To appear in IEEE Trans, on Software Engineering.
9. 9 Curtis Hrischuk and Murray Woodside. Logical clock requirements for reverse engineering scenarios from a distributed system. Technical report, Department of Electrical and Computer Engineering, University of Alberta, Edmonton, Canada, 1999. Submitted to IEEE Trans. on Soft. Eng.
10. 10 Curtis E. Hrischuk. Trace-based Load Characterization for the Automated Development of Software Performance Models. PhD thesis, Carleton University, Ottawa, Canada, 1998.
11. 11 Manfred Jackel. Ada-concurrency specified by graph grammars. In H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors, Graph Grammars and Their Application to Computer Science, volume 291 of Lecture Notes in Computer Science, pages 262-279, 1987.
12. 12 Dirk Janssens and Grzegorz Rozenberg. Basic notions of actor grammars. In H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors, Graph Grammars and Their Application to Computer Science, volume 291 of Lecture Notes in Computer Science, pages 280-298, 1987.
13. 13 Martin Korff. Application of graph grammars to rule-based systems. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 505-519, 1991.
14. 14 M. Nagl. Building Tightly-Integrated (Software) Development Environments: The IPSEN Approach. Number 1170 in Lecture Notes in Computer Science. Springer-Verlag, 1996.
15. 15 Object Management Group. The Common Object Request Broker: Architecture and Specification (CORBA) Revision 1.2. Object Management Group, Framingham, Mass., revision 1.2 edition, Dec. 1993. OMG TC Document 93.12.43.
16. 16 Open Software Foundation. Introduction to OSF DCE. Prentice-Hall, 1992.
17. 17 Stephen Paynter. Structuring the semantic definitions of graphical design notations. Software Engineering Journal, 10(3):105-115, May 1995.
18. 18 Sanjiva Prasad. Models for mobile computing agents. ACM Computing Surveys, 28:53, December 1996.
19. 19 V. R. Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33-71, 1986.
20. 20 Rational Software. Unified Modeling Language vl.1 Semantics, volume version 1.1. Rational Software Inc., Sept. 1997. http://www.rational.com/uml.
21. 21 Stanley J. Rosenschein. The production system: Architecture and abstraction. In D.A. Waterman and Frederick Hayes-Roth, editors, Pattern-Directed Inference Systems, pages 525-538. Academic Press, 1978.
22. 22 Andy Schurr. PROGRES: A VHL-language based on graph grammars. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Grammars and Their Application to Computer Science, volume 532 of Lecture Notes in Computer Science, pages 641-659, 1991.
23. 23 Andy Schurr, Andreas J. Winter, and Albert Zundorf. Graph grammar engineering with PROGRES. In W. Schafer and P. Botella, editors, Proceedings of the Fifth European Software Engineering Conference, volume 989 of Lecture Notes in Computer Science, pages 219-234, 1995.
24. 24 R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: in search of the Holy Grail. Distributed Computing, 7(3):149-174, 1994.