对PUIST用户界面规范工具的扩展

Proceedings 1996 International Conference Software Engineering: Education and Practice Pub Date : 1996-01-24 DOI:10.1109/SEEP.1996.534029

Xiaosong Li, R. Mugridge

{"title":"对PUIST用户界面规范工具的扩展","authors":"Xiaosong Li, R. Mugridge","doi":"10.1109/SEEP.1996.534029","DOIUrl":null,"url":null,"abstract":"PUIST is a specification tool that is being created for software development. It assists user interface designers to specify the static form and dynamic behaviour of graphical user interfaces (GUI) using a Petri net based model. We describe extensions made to increase the modelling power of PUIST and to make it more practical. Hierarchical specifications have been introduced to PUIST which make modular design, specification reuse and top down design possible. Two special types of arc and one special type of transition have also been introduced to PUIST to extend the range of the dynamic behaviours PUIST can specify. In particular the dynamic behaviours of a menu can now be precisely specified.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Extensions to the PUIST user interface specification tool\",\"authors\":\"Xiaosong Li, R. Mugridge\",\"doi\":\"10.1109/SEEP.1996.534029\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"PUIST is a specification tool that is being created for software development. It assists user interface designers to specify the static form and dynamic behaviour of graphical user interfaces (GUI) using a Petri net based model. We describe extensions made to increase the modelling power of PUIST and to make it more practical. Hierarchical specifications have been introduced to PUIST which make modular design, specification reuse and top down design possible. Two special types of arc and one special type of transition have also been introduced to PUIST to extend the range of the dynamic behaviours PUIST can specify. In particular the dynamic behaviours of a menu can now be precisely specified.\",\"PeriodicalId\":416862,\"journal\":{\"name\":\"Proceedings 1996 International Conference Software Engineering: Education and Practice\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1996 International Conference Software Engineering: Education and Practice\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEEP.1996.534029\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1996 International Conference Software Engineering: Education and Practice","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEEP.1996.534029","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

PUIST是为软件开发创建的规范工具。它帮助用户界面设计人员使用基于Petri网的模型指定图形用户界面(GUI)的静态形式和动态行为。我们描述了为增加PUIST的建模能力和使其更实用而进行的扩展。在PUIST中引入分层规范，使模块化设计、规范重用和自顶向下设计成为可能。两种特殊类型的电弧和一种特殊类型的过渡也被引入到PUIST中，以扩展PUIST可以指定的动态行为的范围。特别是菜单的动态行为现在可以精确地指定。

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

查看原文本刊更多论文

Extensions to the PUIST user interface specification tool

PUIST is a specification tool that is being created for software development. It assists user interface designers to specify the static form and dynamic behaviour of graphical user interfaces (GUI) using a Petri net based model. We describe extensions made to increase the modelling power of PUIST and to make it more practical. Hierarchical specifications have been introduced to PUIST which make modular design, specification reuse and top down design possible. Two special types of arc and one special type of transition have also been introduced to PUIST to extend the range of the dynamic behaviours PUIST can specify. In particular the dynamic behaviours of a menu can now be precisely specified.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 1996 International Conference Software Engineering: Education and Practice

自引率

0.00%

发文量