A view-oriented approach to system modelling based on graph transformation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A view-oriented approach to system modelling based on graph transformation

Full text

Pdf (1.35 MB)

Source

Foundations of Software Engineering archive
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering table of contents

Zurich, Switzerland

Pages: 327 - 343

Year of Publication: 1997

ISBN:3-540-63531-9

Also published in ...

Authors

Gregor Engels	Leiden University, Dept. of Computer Science, P.O. Box 9512, NL-2300 RA Leiden, The Netherlands
Reiko Heckel	Technical University of Berlin, Dept. of Computer Science, Franklinstrasse 28/29, D-10587 Berlin, Germany
Gabi Taentzer	Technical University of Berlin, Dept. of Computer Science, Franklinstrasse 28/29, D-10587 Berlin, Germany
Hartmut Ehrig	Technical University of Berlin, Dept. of Computer Science, Franklinstrasse 28/29, D-10587 Berlin, Germany

Sponsors

University of Zurich : University of Zurich
CEPIS : Council of European Professional Informatics Societies
SIGSOFT: ACM Special Interest Group on Software Engineering
Swiss Informaticians Society : Swiss Information Society

Publisher

Springer-Verlag New York, Inc. New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 15, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/267895.267919 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AE96	M. Andries and G. Engels. A hybrid query language for the extended entity relationship model. Journal of Visual Languages and Computing, 7(3):321- 352, 1996. Special Issue on Visual Query Systems.
	Bal96	R. Balzer. Current state and future perspectives of software process tcchnology. Keynote Speech, Software Process (SP 96), Brighton, 2-6 December 1996.
	BLN86	C. Batini , M. Lenzerini , S. B. Navathe, A comparative analysis of methodologies for database schema integration, ACM Computing Surveys (CSUR), v.18 n.4, p.323-364, Dec. 1986 [doi>10.1145/27633.27634]
	CEL+96	Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Julia Padberg, The Category of Typed Graph Grammars and its Adjunctions with Categories, Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, p.56-74, November 13-18, 1994
	Dat79	C. J. Date, An introduction to database systems: vol. I (4th ed.), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	FKN+92	A. Finkelstein, J. Kramer, B. Nuseibeh, M. Goedicke, and L. Finkelstein. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31-58, March 1992.
	HCEL96	R. Heckel, A. Corradini, H. Ehrig, and M. Liiwe. Horizontal and vertical structuring of typed graph transformation systems. Math. Strut. in Comp. Science, 6(6):613-648, 1996. Also techn. report no 9622, TU Berlin.
	HEWC97	Reiko Heckel , Hartmut Ehrig , Uwe Wolter , Andrea Corradini, Integrating the Specification Techniques of Graph Transformation and Temporal Logic, Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, p.219-228, August 25-29, 1997
	Jac95	Daniel Jackson, Structuring Z specifications with views, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.4, p.365-389, Oct. 1995 [doi>10.1145/226241.226249]
	LB93	Michael Löwe , Martin Beyer, AGG - An Implementation of Algebraic Graph Rewriting, Proceedings of the 5th International Conference on Rewriting Techniques and Applications, p.451-456, June 16-18, 1993
	LRP+96	T. Lewis, L. Rosenstein, W. Pree, A. Weinand, E. Gamma, P. CaIdLr, G. Andert, J. VIissides, and K. Schmucker. Object-oriented Application Frameworks. Prentice-Ha& 1996.
	Nag96	Manfred Nagl, Building tightly integrated software development environments: the IPSEN approach, Springer-Verlag New York, Inc., New York, NY, 1996
	Rib96	L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, TU Berlin, 1996.
	Roz97	Grzegorz Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, World Scientific Publishing Co., Inc., River Edge, NJ, 1997
	Sch91	Andy Schürr, PROGRESS: A VHL-Language Based on Graph Grammars, Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science, p.641-659, March 05-09, 1990
	SWZ95	Andy Schürr , Andreas J. Winter , Albert Zündorf, Graph Grammar Engineering with PROGRES, Proceedings of the 5th European Software Engineering Conference, p.219-234, September 25-28, 1995
	Tae96	G, Taentzer. Modeling dynamic distributed object structures by graph transformation. Object Currents, 1(12), Dec. 1996.
	Wag97	http://www.sigs.com/publications/docs/oc/9612/oc97Ol.f.taentzer.html. A. Wagner. A Formal Object SpeciJcation Technique Using Rule-Based Transformation of Partial Algebras. PhD thesis, TU Berlin, 1997.
	Wes91	Bernhard Westfechtel, Structure-oriented merging of revisions of software documents, Proceedings of the 3rd international workshop on Software configuration management, p.68-79, June 12-14, 1991, Trondheim, Norway [doi>10.1145/111062.111071]
	Zam96	Andreas Zamperoni, GRIDS—graph-based, integrated development of software: integrating different perspectives of software engineering, Proceedings of the 18th international conference on Software engineering, p.48-59, March 25-29, 1996, Berlin, Germany

CITED BY 3

	Frank Drewes , Berthold Hoffmann , Detlef Plump, Hierarchical graph transformation, Journal of Computer and System Sciences, v.64 n.2, p.249-283, March 2002
	Martin Große-Rhode , Francesco Parisi Presicce , Marta Simeoni, Formal software specification with refinements and modules of typed graph transformation systems, Journal of Computer and System Sciences, v.64 n.2, p.171-218, March 2002
	Jorg Becker , Christian Janiesch , Ralf Knackstedt , Tobias Rieke, Facilitating change management with configurative reference modelling, International Journal of Information Systems and Change Management, v.2 n.1, p.81-99, June 2007