Abstract
Formal methods, techniques and tools are, at the present time, an active research topic in different areas of computer science (knowledge representation, real-time systems, algorithms, etc.). These formal techniques are intended to help users specify consistently their needs and verify them. Only mathematical techniques are able to prove or to verify the coherence of the specification of a given system or algorithm, etc. However, there is an enormous difficulty to put into use the mathematical techniques and concepts. This difficulty stems from the fact that these mathematical techniques and concepts are accessible only by a minority of specialists. To solve this problem, we have to develop tools and methods to help users to make the most out of formal approaches, without the apparent complexity of mathematical problems.
This paper presents a tool, called CAST (Computer-Aided Specification Tool) dedicated to help users specify communicating processes and systems in concurrent engineering environments. CAST is a graphical tool which provides a friendly user interface. At the present time, CAST allows users to specify design processes by representing them in the form of automata and provides an SCCS (Synchronous Calculus of Communicating Systems) specification. This tool is developed in the SHOOD project which aims at providing tools and methods for the integration of engineering design systems.
Chapter PDF
Similar content being viewed by others
Keywords
References
Berry, G. and Gonthier, G. (1992) The ESTEREL synchronous programming language: design, semantics, implementation. In: Science of computer programming. 19(2).
Boudol, G. (1985) Le calcul MEIJE,Parallélisme, communication et synchronisation, CNRS report. Bounaas, F. (1995) Using rules for object and schema evolution in an object-oriented system. Proc. of 17th International Conference TOOLS’95. Santa Barbara (USA).
Brown, D. R. et al (1992) Next-Cut: a second generation framework for concurrent engineering. In: Entreprise Modeling and Integration. C. Petrie (ed ). McGraw-Hill.
Cutkosky, M. R. et al. (1993) PACT: an experiment in integrated concurrent engineering systems. IEEE Computer. 26 (1).
Dertouzos, M. et al. (1989) Made in America. The MIT Press. Cambridge MA.
Genesereth, M. R. (1992 a) An agent-based framework for software interportability. Proc. DARPA Software technology conference. Arlington (USA).
Genesereth, M. R. et al. (1992 b) Knowledge interchange format. Version 3.0 reference manual. Computer Science Dept. Stanford University. Tech. Report Logic-92–1.
Gero, J. S. (1993) Proceedings of the IFIP WG 5.2 Workshop on “Formal Design Methods for Computer-Aided Design”. Tallinn (Estonia).
Guetari, R. (1995) Conception Orientee-Objet de Systèmes d’Information et de Decision. PhD Thesis, Université de Savoie (France).
Guetari, R. and Nguyen, G. T. (1996) A Class-Based Object-Oriented Model for Parallel Programming. The 1996 Parallel Object-Oriented Methods and Application, Santa Fe, New Mexico (USA).
Jourdan, M. (1994) Etude d’un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils. PhD thesis, Université Joseph Fourier, Grenoble (France). Maraninchi, F. (1992) Operational and compositional semantics of synchronous automaton compositions. CONCUR. LNCS 630, Springer Verlag.
McGuire, J. et al. (1994) SHADE: technology for knowledge-based collaborative engineering. In: Journal of Concurrent Engineering. 1 (2).
Milner, R. (1989) Communication and concurrency - Prentice Hall.
Newell, A. (1982) The knowledge level. Artificial Intellignece, 18 (1).
Nguyen, G. T. et al. (1991) Representing design objects. In: Artificial Intelligence in Design’91. Butterworth-Heinemann. J.S Gero (ed).
Nguyen, G. T. et al. (1992 a) Multiple object representations. Proc. 20th ACM Computer Science Conference. Kansas City (USA).
Nguyen, G. T. et al. ( 1992 b) SHOOD: a design object model. In: Artificial Intelligence in Design’92. Kluwer Academic Publ. J.S Gero (ed).
Nguyen, G. T. (1993) SHOOD: plate-forme pour la conception assistée. In Ingénierie des systèmes d’information, Hermès (ed) Vol. 1, N° 3.
Nguyen, G. T. (1995) A Reactive Object Model for Concurrent Engineering Design. Research Report INRIA
Nguyen, G. T. and Guetari, R. (1996) A Reactive Object Model for Concurrent Engineering Platforms. Proc. 9th Intl. Symp. on Methodologies for Intelligent Systems. Zakopane (Poland).
Patil, F. et al. (1992) The DARPA knowledge sharing effort: progress report. Proc. 3rd International Conference on Principles of knowledge representation and reasonning. Morgan-Kaufmann.
Paul, A. J. and Sobolewski, M. (1995) Proceedings of the “Concurrent Engineering: a global perspective” ‘85 Conference. A. J. Paul, M. Sobclewski (eds). Concurrent Technologies Corp. Washington D.C.
Piard, F. (1994) Spécification et Conception de Systèmes d’Information Dynamiques. PhD Thesis, Université de Savoie, France.
Pnueli, A. and Shalev, M. (1991) What is in a step: on the semantics of Statecharts. In: Lecture Notes in Computer Science, n° 526. Springer Verlag.
Tenenbaum, J. et al. (1992) Lessons from SHADE and PACT. In Entreprise Modelling and Integration. C. Petrie (ed). McGraw-Hill.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Guetari, R., Nguyen, G.T. (1996). Computer-Aided Formal Specification for Concurrent Engineering Platforms. In: Terashima, N., Altman, E. (eds) Advanced IT Tools. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34979-4_25
Download citation
DOI: https://doi.org/10.1007/978-0-387-34979-4_25
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4416-3
Online ISBN: 978-0-387-34979-4
eBook Packages: Springer Book Archive