Abstract
In this paper we discuss how tools for conceptual design in civil engineering can be developed using graph transformation specifications. These tools consist of three parts: (a) for elaborating specific conceptual knowledge (knowledge engineer), (b) for working out conceptual design results (architect), and (c) automatic consistency analyses which guarantee that design results are consistent with the underlying specific conceptual knowledge. For the realization of such tools we use a machinery based on graph transformations.
In a traditional PROGRES tool specification the conceptual knowledge for a class of buildings is hard-wired within the specification. This is not appropriate for the experimentation platform approach we present in this paper, as objects and relations for conceptual knowledge are due to many changes, implied by evaluation of their use and corresponding improvements.
Therefore, we introduce a parametric specification method with the following characteristics: (1) The underlying specific knowledge for a class of buildings is not fixed. Instead, it is built up as a data base by using the knowledge tools. (2) The specification for the architect tools also does not incorporate specific conceptual knowledge. (3) An incremental checker guarantees whether a design result is consistent with the current state of the underlying conceptual knowledge (data base).
Work supported by Deutsche Forschungsgemeinschaft (NA 134/9-1)
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexander, C., Ishikawa, S., Silverstein, M., Jacobson, M., Fiksdahl-King, I., Angel, S.: A Pattern Language. Oxford University Press, New York (1977)
Böhlen, B., Jäger, D., Schleicher, A., Westfechtel, B.: UPGRADE: A framework for building graph-based interactive tools. In: Mens, T., Schürr, A., Taentzer, G. (eds.) Electronic Notes in Theoretical Computer Science, Barcelona, Spain, October 2002. Electronical Notes in Theoretical Computer Science, vol. 72, Elsevier Science Publishers, Amsterdam (2002)
Borkowski, A., Grabska, E., Nikodem, E.: Floor layout design with the use of graph rewriting system progres. In: Schnellenbach-Held and Denk [15], pp. 149–157
Borkowski, A., Grabska, E., Szuba, J.: On graph based knowledge representation in design. In: Songer, A.D., John, C.M. (eds.) Proceedings of the International Workshop on Information Technology in Civil Engineering, Washington (2002)
Eschenfelder, D., Stumme, R.: Ein Erkundungssystemzum Baurecht: Methoden und Entwicklung eines TOSCANA Systems. In: Stumme and Wille, G. [18], pp. 254–272
Flemming, U.: More than the Sum of Parts: the Grammar of Queen Anne Houses, Environment and Planning B. Planning and Design (14) (1987)
Gatzemeier, F.: Patterns, Schemata, and Types — Author support through formalized experience. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 27–40. Springer, Heidelberg (2000)
Gips, J., Stiny, G.: Shape grammars and the generative specification of painting and sculpture. In: Proceeding of the IFIP Congressn 71, pp. 1460–1465 (1972)
Göttler, H., Günther, J., Nieskens, G.: Use of graph grammars to design cadsystems. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol. 532, pp. 396–409. Springer, Heidelberg (1991)
Jäger, D., Schleicher, A., Westfechtel, B.: AHEAD: A graphbased system for modeling and managing development processes. In: Münch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 325–339. Springer, Heidelberg (2000)
Kraft, B.: Conceptual design tools for civil engineering. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 434–439. Springer, Heidelberg (2004)
Kraft, B., Meyer, O., Nagl, M.: Graph technology support for conceptual design in civil engineering. In: Schnellenbach-Held and Denk [15], pp. 1–35
Marburger, A., Herzberg, D.: E-CARES research project: Understanding complex legacy telecommunication systems. In: Proceedings of the 5th European Conference on Software Maintenance and Reengineering, Lisbon, Portugal, pp. 139–147. IEEE Computer Society Press, Los Alamitos (2001)
Nagl, M. (ed.): IPSEN 1996. LNCS, vol. 1170. Springer, Heidelberg (1996)
Schnellenbach-Held, M., Denk, H. (eds.): Advances in Intelligent Computing in Engineering, Proceedings of the 9th International EG-ICE Workshop, Darmstadt, Germany (2002)
Schürr, A.: Operationales Spezifizieren mit programmierten Graphersetzungssystemen. PhD thesis, RWTH Aachen, DUV (1991)
Sowa, F.J. (ed.): Conceptual Structures. Addison-Wesley, Reading (1984)
Stumme, R., Wille, E.G. (eds.): Begriffliche Wissensverarbeitung. Springer, Berlin (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kraft, B., Nagl, M. (2004). Parameterized Specification of Conceptual Design Tools in Civil Engineering. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2003. Lecture Notes in Computer Science, vol 3062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25959-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-25959-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22120-3
Online ISBN: 978-3-540-25959-6
eBook Packages: Springer Book Archive