Formal specification and simulation of software through graph grammars: a general but minimal approach

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI:10.1109/CMPSAC.1998.716650

R. Freund, C. Stary, Herbert Pötzl, Tatjana Svizensky

{"title":"Formal specification and simulation of software through graph grammars: a general but minimal approach","authors":"R. Freund, C. Stary, Herbert Pötzl, Tatjana Svizensky","doi":"10.1109/CMPSAC.1998.716650","DOIUrl":null,"url":null,"abstract":"High quality software components require a representation that allows the implementation-independent description of the structure and behavior of software components. Hence, the static as well as the dynamic structure of the system has to be represented in a structured way. Graph transformation systems support static and dynamic modeling through a single computational framework for the sake of correctness, maintainability, and integrity. The framework introduced along with the corresponding tool, UPGraDE (Universal Programmed Graph Grammar Development Environment), which is based on the universal graph language GRASP (GRAph grammar with Set Productions). Any type of system can be specified through a minimal set of operations (syntax) and rules to specify the behavior of any type of software (semantics). The UPGraDE Environment, consisting of several totally transparent interconnected modules, performing well defined tasks, is a highly modular and extensible environment suited for nearly every GRASP development purpose.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1998.716650","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

High quality software components require a representation that allows the implementation-independent description of the structure and behavior of software components. Hence, the static as well as the dynamic structure of the system has to be represented in a structured way. Graph transformation systems support static and dynamic modeling through a single computational framework for the sake of correctness, maintainability, and integrity. The framework introduced along with the corresponding tool, UPGraDE (Universal Programmed Graph Grammar Development Environment), which is based on the universal graph language GRASP (GRAph grammar with Set Productions). Any type of system can be specified through a minimal set of operations (syntax) and rules to specify the behavior of any type of software (semantics). The UPGraDE Environment, consisting of several totally transparent interconnected modules, performing well defined tasks, is a highly modular and extensible environment suited for nearly every GRASP development purpose.

查看原文本刊更多论文

通过图形语法对软件进行正式规范和模拟:一种通用但最小的方法

高质量的软件组件需要允许对软件组件的结构和行为进行独立于实现的描述的表示。因此，系统的静态和动态结构必须以结构化的方式表示。图转换系统通过单个计算框架支持静态和动态建模，以保证正确性、可维护性和完整性。该框架以及相应的工具UPGraDE(通用编程图语法开发环境)是基于通用图语言GRASP(集合生成图语法)开发的。任何类型的系统都可以通过一组最小的操作(语法)和规则来指定任何类型软件的行为(语义)。升级环境由几个完全透明的相互连接的模块组成，执行定义良好的任务，是一个高度模块化和可扩展的环境，适合几乎所有的GRASP开发目的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)

自引率

0.00%

发文量