发布求助
文献互助 智能选刊 最新文献

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)最新文献

筛选
英文 中文
Integrating UML and OUN for specification of open distributed systems 将UML和OUN集成到开放分布式系统规范中
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995249
Wenhui Zhang, Olaf Owe, E. Johnsen, D. Aredo
{"title":"Integrating UML and OUN for specification of open distributed systems","authors":"Wenhui Zhang, Olaf Owe, E. Johnsen, D. Aredo","doi":"10.1109/HCC.2001.995249","DOIUrl":"https://doi.org/10.1109/HCC.2001.995249","url":null,"abstract":"Convenience in specification and possibility for formal analysis are important aspects in the specification of software systems. An approach that combines UML and OUN (specification languages), is proposed for such a purpose. The approach is demonstrated by a case study of an open distributed system.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134458348","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Visualizing graphical and textual formalisms 可视化图形和文本形式
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995248
R. Castelló, R. Mili
{"title":"Visualizing graphical and textual formalisms","authors":"R. Castelló, R. Mili","doi":"10.1109/HCC.2001.995248","DOIUrl":"https://doi.org/10.1109/HCC.2001.995248","url":null,"abstract":"The purpose of this work is to combine the advantages of using visual formalisms for the specification of reactive systems with that of using formal verification and program transformation tools developed for textual formalisms. We have developed a tool suite called ViSta that automatically produces statechart layouts based on information extracted from an informal specification. In this paper, we discuss how ViSta is augmented with a tool that automatically translates statecharts to Z specifications. The informal, statechart and Z specifications are inter-related. This ensures consistency between the different representations, and therefore facilitates the verification and validation effort.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124301791","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A dancing programmer in an immersive virtual environment 沉浸式虚拟环境中的舞蹈程序员
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995290
Noritaka Osawa, K. Asai, Yuji Y. Sugimoto, F. Saito
{"title":"A dancing programmer in an immersive virtual environment","authors":"Noritaka Osawa, K. Asai, Yuji Y. Sugimoto, F. Saito","doi":"10.1109/HCC.2001.995290","DOIUrl":"https://doi.org/10.1109/HCC.2001.995290","url":null,"abstract":"Our immersive programming system allows programs to be edited and controlled by direct manipulation and hand gestures in an immersive virtual environment utilizing multimodal interfaces. It lets beginners focus on learning the essence of programming without requiring familiarity with the keyboard and the commands of a conventional editor.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121352578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Reasoning in higraphs with loose edges 用松散边缘的图形推理
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995229
S. Anderson, J. Power, Konstantinos Tourlas
{"title":"Reasoning in higraphs with loose edges","authors":"S. Anderson, J. Power, Konstantinos Tourlas","doi":"10.1109/HCC.2001.995229","DOIUrl":"https://doi.org/10.1109/HCC.2001.995229","url":null,"abstract":"Harel (1988) introduces the notion of zooming out as a useful operation in working with higraphs. Zooming out allows one to consider less detailed versions of a higraph by dropping some detail from the description in a structured manner. Although this is a very useful operation it seems it can be misleading in some circumstances by allowing the user of the zoomed out higraph to make false inferences given the usual transition system semantics for higraphs. We consider one approach to rectifying this situation by following through Harel's suggestion that, in some circumstances, it may be useful to consider higraphs with edges that have no specific origin or destination. We call these higraphs loose higraphs and show that an appropriate definition of zooming on loose higraphs avoids some of the difficulties arising from the use of zooming. We also consider a logic for connectivity in loose higraphs.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116750261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Towards a formalization of constraint diagrams 朝向约束图的形式化
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995241
J. Gil, J. Howse, S. Kent
{"title":"Towards a formalization of constraint diagrams","authors":"J. Gil, J. Howse, S. Kent","doi":"10.1109/HCC.2001.995241","DOIUrl":"https://doi.org/10.1109/HCC.2001.995241","url":null,"abstract":"Geared to complement UML and to the specification of large software systems by non-mathematicians, constraint diagrams are a visual language that generalizes the popular and intuitive Venn diagrams and Euler circles, and adds facilities for quantifying over elements and navigating relations. The language design emphasizes scalability and expressiveness while retaining intuitiveness. Spider diagrams form a subset of the notation, leaving out universal quantification and the ability to navigate relations. Spider diagrams have been given a formal definition. This paper extends that definition to encompass the constraint diagram notation. The formalization of constraint diagrams is nontrivial: it exposes subtleties concerned with the implicit ordering of symbols in the visual language, which were not evident before a formal definition of the language was attempted. This has led to an improved design of the language.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134142871","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 47
AutoHAN: an architecture for programming the home AutoHAN:一个为家庭编程的架构
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995253
A. Blackwell, R. Hague
{"title":"AutoHAN: an architecture for programming the home","authors":"A. Blackwell, R. Hague","doi":"10.1109/HCC.2001.995253","DOIUrl":"https://doi.org/10.1109/HCC.2001.995253","url":null,"abstract":"AutoHAN is a networking and software architecture that enables user programmable specification of the interaction between appliances in a domestic house. This concept represents an immense challenge for End-User Programming. The characteristics of the potential user population are far broader than any other population of end-user programmers. It is therefore essential to approach the design of the programming environment from a well founded perspective of cognitive ergonomics and user modelling. We have created a novel programming language, Media Cubes, which is aimed at the same user population as existing domestic remote controls. Moreover, we have applied a cognitive model of programming behaviour in order to specify a language that gives the advantages of direct manipulation as well as the power of more conventional languages.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132358113","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 104
New paradigm for developing software for E-business 开发电子商务软件的新范例
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995269
A. Ginige
{"title":"New paradigm for developing software for E-business","authors":"A. Ginige","doi":"10.1109/HCC.2001.995269","DOIUrl":"https://doi.org/10.1109/HCC.2001.995269","url":null,"abstract":"When developing software, the very first step is to convert the user requirements into a complete specification. We put a lot of emphasis in getting this specification right. When we develop software using a traditional approach, we know that if we have to change the specifications at a later date it is going to be expensive. The business organisations are not static, but they are evolving. Thus their need to store, access, share and process information is also changing. This is making it hard for a business organisation to fully specify the software requirement to integrate their information-based processes.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114747534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Component interface description using HyperMSCs and connectors 使用hypermsc和连接器的组件接口描述
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995244
Peter Graubmann, Ekkart Rudolph, J. Grabowski
{"title":"Component interface description using HyperMSCs and connectors","authors":"Peter Graubmann, Ekkart Rudolph, J. Grabowski","doi":"10.1109/HCC.2001.995244","DOIUrl":"https://doi.org/10.1109/HCC.2001.995244","url":null,"abstract":"Modelling of complex systems with message sequence charts requires several extensions in order to arrive at sufficiently transparent and manageable descriptions. Two extensions of major importance are introduced in this paper: 1) extended high level MSCs denoted as HyperMSCs are allowed to contain MSC references with hypertext-like inscriptions or in expanded form as detailed MSCs; and 2) MSC connectors are introduced in form of MSCs representing high level communication patterns between MSC components. The introduction of MSC connectors may be viewed as a generalisation of the gate concept and as a completion of the MSC language for communicating operator expressions. Moreover, MSC connectors can be employed quite generally as a communication description on a higher level of abstraction - a structural language construct which is still missing in the MSC standard. These new concepts allow a system modelling based on stepwise refinement starting with HyperMSCs, decomposed instances and MSC connector communication.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128365487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Shapely hierarchical graph transformation 形状分层图变换
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995230
B. Hoffmann
{"title":"Shapely hierarchical graph transformation","authors":"B. Hoffmann","doi":"10.1109/HCC.2001.995230","DOIUrl":"https://doi.org/10.1109/HCC.2001.995230","url":null,"abstract":"Diagrams can be represented by graphs, and the animation and transformation of diagrams can be modeled by graph transformation. This paper studies extensions of graphs and graph transformation that are important for programming with graphs: /spl middot/ We extend graphs by a notion of hierarchy that supports value composition, and define hierarchical graph transformation in an intuitive way that resembles term rewriting. /spl middot/ We require that admissable shapes for hierarchical graphs are specified by context free graph grammars, in order to set up a type discipline for shapely hierarchical graph transformation. The resulting computational model shall be the basis of the visual language DIAPLAN for programming with graphs that represent diagrams.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131134084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
A timed automata semantics for real-time UML specifications 实时UML规范的定时自动机语义
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI: 10.1109/HCC.2001.995243
H. Toetenel, Ella E. Roubtsova, J. Katwijk
{"title":"A timed automata semantics for real-time UML specifications","authors":"H. Toetenel, Ella E. Roubtsova, J. Katwijk","doi":"10.1109/HCC.2001.995243","DOIUrl":"https://doi.org/10.1109/HCC.2001.995243","url":null,"abstract":"We introduce extensions of the UML class, object and statechart diagrams and define the semantics of the UML extensions by means of extended timed graphs (XTG), a timed automata variant. This approach opens the possibility to specify properties of the UML specifications using the timed computation tree logic. The transformation of the UML-specification into XTG allows the verification the system by model checking using the LPMC model checker tool, which uses XTG as its input language.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123883077","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信