Abstract
We present an environment supporting the flexible and application-specific construction of design plans, which avoids the insurgence of unsuccessful design plans at design time, and is thus backtracking-free. During a planning phase the collection of all complete, executable design plans is automatically synthesized on the basis of simple constraint-like specifications and the library of available tools. The designer's choice of the best alternative is eased by a user friendly graphical interface and by hypertext support for the generation and management of plans, as illustrated along a user session. Example application field is the generation of design plans in a CAD environment for hardware design.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J. Brockman, S. Director: “The Schema-Based Approach to Workflow management”, IEEE Trans. on Comp.-Aided Design Vol.14(10), Oct. 1995, pp. 1257–1267.
2. M. von der Beeck, T. Margaria, B. Steffen: “A Formal Requirements Engineering Method Combining Specification, Synthesis, and Verification,” Proc. IEEE SEE'97, Cottbus (D), April 1997, IEEE Comp. Soc. Press, pp.131–144.
M. Bushnell, S. Director: “ULYSSES — A knowledge based VLSI design environment”, Int. J. AI Eng., Vol.2, N.1, January 1987.
J. Daniell, S. Director: “An Object Oriented Approach to CAD Tool Control,” Trans. on Computer-Aided Design, Vol.10, N.6, June 1991, pp.698–713.
A. Emerson, E. Clarke: “Using branching time temporal logic to synthesize synchonization skeletons,” Sc. of Computer Progr., Vol.2, pp.241–266, 1982.
J.A. Goguen, Luqi: “Formal Methods and Social Context in Software Development,” Proc. TAPSOFT'95, Aarhus (DK), May 1995, LNCS N.915, pp.62–81.
E. Johnson, J. Brockman: “Incorporating design schedule Management into a flow management system”, Proc. 32nd ACM/IEEE DAC, June 1995.
D. Knapp, A. Parker: “A design utility manager: the ADAM planning engine”, Proc. DAC'86, IEEE, 1986, pp. 48–54.
Z. Manna, P. Wolper: “Synthesis of Communicating Processes from Temporal Logic Specifications,” ACM TOPLAS Vol.6, N.1, Jan. 1984, pp.68–93.
J. Miller, K. Groening, G. Schulz, C. White: “The object-oriented integration methodology ogf the Cadlab workstation design environment”, Proc. ACM/IEEE 26th Design Automation Conference, 1989.
“Jessi Common Frame V2.0 — Desktop User's Guide,” SNI AG, 1993.
B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration Platform: Concepts and Design, Int. Jour. on Softw. Tools for Techn. Transfer, Vol.1, Springer V., Dec. 1997. See http://eti.cs.uni-dortmund.de for informations on this service.
B. Steffen, T. Margaria, A. Cla\en: “Heterogeneous Analysis and Verification for Distributed Systems”, Software: Concepts and Tools 17(1), pp.13–25, March 1996, Springer Verl.
B. Steffen, T. Margaria, A. Cla\en, V. Braun: “Incremental Formalization: a Key to Industrial Success”, Software: Concepts and Tools 17(2), pp.78–91, Springer V., July 1996.
B. Steffen, T. Margaria, A. Cla\en, V. Braun: “The MetaFrame'95 Environment”, Proc. CAV'96, Aug. 1996, New Brunswick, NJ, USA, LNCS, Springer Verlag.
B. Steffen, T. Margaria, A. Cla\en, V. Braun, M. Reitenspie\: “An Environment for the Creation of Intelligent Network Services”, in “The Advanced Intelligent Network: A Comprehensive Report”, Int. Engin. Consort., Chicago, Dec. 1995.
P. van der Wolf, P. Bingley, P. Dewilde: “On the Architecture of a CAD Framework: The NELSIS Approach,” Proc. EDAC'90, IEEE Comp. Soc. Press, pp.29–33.
P. van der Wolf, O. ten Bosch, A. van der Hoeven: “An enhanced flow model for constraint handling in hierarchical multi-view design environments”, Proc. ICCAD'94, IEEE, Nov. 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Margaria, T., Steffen, B. (1998). Backtracking-free design planning by automatic synthesis in metaframe. In: Astesiano, E. (eds) Fundamental Approaches to Software Engineering. FASE 1998. Lecture Notes in Computer Science, vol 1382. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053591
Download citation
DOI: https://doi.org/10.1007/BFb0053591
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64303-6
Online ISBN: 978-3-540-69723-7
eBook Packages: Springer Book Archive