Computer-aided formal specification for concurrent engineering platforms

被引:0
作者
Guetari, R
Nguyen, GT
机构
来源
ADVANCED IT TOOLS | 1996年
关键词
concurrent engineering; formal specification; object-oriented design; cooperative engineering systems;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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 out 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.
引用
收藏
页码:217 / 224
页数:8
相关论文
empty
未找到相关数据