Nautilus, a Concurrent Diagrammatic Specification and Programming Language

Nautilus is a high-level specification and programming language having abstraction mechanisms not commonly found in other programming languages inspired by its semantic domain (a categorial model named Nonsequential Automata). It constitutes an elegant solution for concurrency and non-determinism as well as for synchronization of concurrent systems. The role as specification language highlights the diagrammatic syntax (it was originally text based).The diagrammatic syntax for Nautilus allows complete programs to be written using symbols and graphical diagrams. The graphical notation was elaborated in order to be able to express all the structures in the language, yet trying to improve the visualization of written programs. A brief comparison with UML is included. To support Nautilus as a programming language, a mapping to Java is constructed, setting the basis for an execution environment of Nautilus specifications.     

一个面向网络并行环境的需求规约语言

提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法,可以定义并行成分一进程,可以使用前后断言来表达用户的功能需求,允许将非经和半形式化的需求定义嵌入形式化的需求定义中。因此,ＯＯＲＳＬ语言是一个半形式化的语言,它为网络并行环境下的软件自动化和软件形式化开发提供了支持介绍了ＯＯＲＳＬ的设计思想和主要语法成分。给出了一个实例。     

一个可视化并行程序开发平台的构架及实现

并行计算已经成为当前解决许多大型科学和工程计算问题的十分有效的方式,但当前并行软件由于其技术性太强,而无法满足广大、特别是普通用户的需要。基于这一点,文章提出了一个可视化的并行程序开发平台的构架。该平台由任务描述和任务控制调度进程组成。文章还简单地说明了该系统平台的数据结构实现及该平台的运用实例。     

A Graph-Rewriting Visual Language for Database Programming

Textual database programming languages are computationally complete, but have the disadvantage of giving the user a non-intuitive view of the database information that is being manipulated. The visual languages developed in recent years have allowed naive users access to a direct representation of data, often in a graph form, but have concentrated on user interface rather than complex programming tasks. There is a need for a system which combines the advantages of both these programming methods.We describe an implementation of Spider, an experimental visual database programming language aimed at programmers. It uses a graph-rewriting paradigm as a basis for a fully visual, computationally complete language. The graphs it rewrites represent the schema and instances of a database.The unique graph-rewriting method used by Spider has syntactic and semantic simplicity. Its form of algorithmic expression allows complex computation to be easily represented in short programs. Furthermore, Spider has greater power than normally provided in textual systems, and we show that queries on the schema and associative queries can be performed easily and without requiring any additions to the language.     

可视化并行程序设计平台的研究与实现

从改善用户并行程序设计环境出发,研制了一个基于网络的可视化并行程序设计平台。该平台用一个图形表示一个并行程序,图形中的结点表示任务,弧表示任务间的数据依赖关系。用户只须将并行问题可视化地以图形方式描述出来,任务的调度、任务间通信都由系统自动完成,因而大大地方便了用户进行并行程序设计。     

String-Pattern Matching in a Visual Programming Language

Determining whether or not a pattern of characters is present within a body of text is such a fundamental problem that it has led to a number of notations for the specification of patterns. These include regular expressions, and notations found within string processing and other application-specific languages. Too often, these approaches are either overly simplistic, offering little in the way of pattern-matching capabilities, or else they are extremely cryptic and terse.In the context of visual programming, the string- pattern-matching problem is largely unaddressed; yet the benefits ascribed to such languages offer the potential for extremely powerful and intuitively meaningful pattern notations. In the CALVIN language, designed for the creation of courseware, the authors have used purely visual constructs throughout. In particular, the content of strings may be analysed by using a graphical and augmented version of regular expressions to specify patterns. This notation, and its realization within CALVIN, is described in some detail, and comparisons are made with the more conventional textual form.     

一个面向SMP的可视并行程序设计环境

本文描述了一个面向ＳＭＰ体系结构的可视并行程序设计环境。     

A Visual Syntax-directed Editor for the Descartes Specification Language

The front end of the software life cycle is an important phase in the development of quality software systems. Due to the interactive nature of the requirements specification phase, automated tools assist in capturing user concepts and conveying these concepts to the developers. This paper presents a syntax-directed editor developed for the Descartes software specification language. The editor helps in constructing the specifications by detecting and preventing syntactic and static semantic errors. The editor uses the visual notation of Nassi–Shneiderman charts for the external representation of Descartes specifications. The specifications are edited in their visual form directly within the editor. Use of a syntax-directed editor for the construction of Descartes specifications is expected to reduce specification errors, enhance constructibility, and in turn increase productivity. © 1997 John Wiley & Sons, Ltd.     

CC$:一种面向分布式众核平台的并行编程语言

CC$是一种并行编程语言,目的是解决分布式众核并行计算机的编程困难。CC$的编程模型以Multi BSP 模型为基础,将分布式众核并行计算机的硬件架构抽象为3层。数据按照存储的层次和共享范围分为5类,以便在不 同层次上提供共享。LL$还提出一类虚拟指令来解决不同层次之间的数据交换,实现数据访问的逻辑化描述。并行 程序按照3层Multi BSP超步嵌套执行。CC$具有统一的编程风格、内建的多层会共地址空间、数据访问请求的表达 式描述和数据传输编译优化4大特点。测试表明,CC$程序的运行效率高,易学易用,大幅地缩短了开发周期。     

A Visual Programming Language for Expressing Rhythmic Visuals

Sonnet+Imager is an object-based toolkit for creating instruments that produce abstract graphics in real-time. It is implemented as a visual programming language of the component-circuit variety. It was designed by identifying and addressing some of the principle limitations in the Max-based graphics engine, Imager. Beyond that, we wanted to address rhythm directly. This required us to make time a first-class element of the language. The model of time relies for its power on the notion of functors, an encapsulation of mathematical functions that can be related to the dimensions of rhythm. All the elements of time manifest themselves directly in the visual language, as components and data packets, thereby creating natural flows that describe rhythmic structures. The resulting design is modular, intuitive, interactive and extensible.     

Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols

SPANNER is a software package for the specification, analysis, and evaluation of protocols. It is based on a mathematical model of coordinating processes called the selection/resolution model.     

面向儿童的图形化编程语言和工具

针对现有的面向儿童的编程工具在图形化表示、交互设计等方面存在的不足,以及没有专门面向中国儿童的编程工具的问题,提出一种面向儿童的图形化编程范式和图形语言的描述方式,设计实现了适合8～14岁中国儿童使用的图形化编程语言和编程工具.以儿童用户的特点为核心,设计了10类图形化编程块,从逻辑层、物理层和数据接口层对编程块的属性进行多元组描述;根据图形化编程块的形状语义和功能定义图形化编程语言的语法规则,采用笔式交互技术为儿童设计实现了一个简单易用的编程工具,最后通过2个实例并结合初步用户评估实验,验证了该图形化编程工具的可用性.     

Omega—A Data Flow Analysis Tool for the C Programming Language

This paper describes Omega, a prototype system designed to analyze data flow in C programs. Omega is capable of detecting certain types of common programming errors, or assuring their absence. Omega also addresses the problems of analyzing pointer variables.     

FORTRAN M - A Language for Modular Parallel Programming

FORTRAN M is a small set of extensions to FORTRAN 77 that supports a modular approach to the design of message-passing programs. It has the following features. (1) Modularity. Programs are constructed by using explicitly declared communication channels to plug together program modules called processes. A process can encapsulate common data, subprocesses, and internal communication. (2) Safety. Operations on channels are restricted so as to guarantee deterministic execution, even in dynamic computations that create and delete processes and channels. Channels are typed, so a compiler can check for correct usage. (3) Architecture Independence. The mapping of processes to processors can be specified with respect to a virtual computer with size and shape different from that of the target computer. Mapping is specified by annotations that influence performance but not correctness. (4) Efficiency. FORTRAN M can be compiled efficiently for uniprocessors, shared-memory computers, distributed-memory computers, and networks of workstations. Because message passing is incorporated into the language, a compiler can optimize communication as well as computation.     

并行面向对象可视化程序设计环境的设计与实现

将可视化和面向对象技术引入并行程序设计将大大提高并行程序的开发效率，文章介绍了基于并行C＋＋的并行面向对象可视化开发环境的设计思想和组成结构。     

并行面向对象可视化开发环境的研究与实现

提出了基于并行对象的可视化开发环境,该环境充分体现了C 语言面向对象的程序设计思想和特点,将对象机制和并行机制有机结合起来,大大降低并行软件开发难度。片同时借助于可视化开发方法,用可视语法来解决实现的复杂性,使问题求解的难度进一步降低。     

并行嵌入式系统可视化性能分析工具的设计与实现

随着并行计算在军用、工业技术等领域的广泛应用,更多的用户开始应用并行处理技术解决问题,针对嵌入式多核多处理器平台的并行程序开发也更加普及。并行调试技术是并行程序开发的一个重要环节,调试实时应用程序的过程十分复杂,但是,并行调试环境却相对比较薄弱。文章研究设计了一种基于并行嵌入式实时系统的性能分析工具,只需使用极少的资源便可对应用程序进行跟踪分析,具有较高的性能。