SIMPLE:一种新型多范型程序设计语言

为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。     

Timed Concurrent Constraint Programming for Analysing Biological Systems

In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information constructs in ntcc can provide a suitable language for such systems. We also illustrate how ntcc may provide a unified framework for the analysis of biological systems, as they can be described, simulated and verified using the elements provided by the calculus.     

一种系统生物学建模语言的开发

本文设计并实现了一种用于系统生物学研究的交互式解释型语言——B语言及其运行环境。根据系统生物学标记语言(SBML)的标准定义设计B语言的建模语法，介绍了B语言解释器和运行环境的开发过程，最后通过仿真实例对B语言与Matlab语言的仿真方式进行了比较，结果表明B语言可更快速获得仿真结果。     

面向限定领域问答系统的自然语言理解方法综述

领域无关的自然语言理解(NLU)技术在最近的十年中取得了长足的进步,然而由于基础研究与现实应用之间存在着强烈的实际需求与当前处理能力不足的矛盾,因此很多通用技术还不能在现实的问答系统中得到有效使用。针对现有的需求,开发面向领域的自然语言理解技术显得非常必要。首先对开放领域与限定领域问答系统进行了比较,并对一些典型的面向限定领域问答系统的自然语言理解技术进行了分析,然后介绍了面向限定领域问答系统的自然语言理解技术的评测标准,最后总结了目前限定领域问答系统研究存在的主要问题及未来发展方向。     

Stochastic Constraint Programming: A Scenario-Based Approach

To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs contain both decision variables, which we can set, and stochastic variables, which follow a discrete probability distribution. We provide a semantics for stochastic constraint programs based on scenario trees. Using this semantics, we can compile stochastic constraint programs down into conventional (non-stochastic) constraint programs. This allows us to exploit the full power of existing constraint solvers. We have implemented this framework for decision making under uncertainty in stochastic OPL, a language which is based on the OPL constraint modelling language [Van Hentenryck et al., 1999]. To illustrate the potential of this framework, we model a wide range of problems in areas as diverse as portfolio diversification, agricultural planning and production/inventory management.     

PETRI网描述的VPML语义

企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础,用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础,利用PETRI网描述VPML的所有语义,证明其语义的正确性与完备性。利用二者之间建立的映射关系,将VPML建立的模型转换为PETRI网描述,借助于PETRI网工具可进行系统性能分析,提高产品开发的可靠性。     

一种机器人程序设计语言

本文论述我们自己设计和实现的机器人语言 ZDRL。这是一种面向运动的语言,用户程序采用解释执行的方式。语言系统提供了一个良好的程序开发环境,用户可进行对程序的编辑、调试、执行和存取操作。该系统已在 IBMPC 微机上实现。并已应用到 Rhino 机器人的控制上。     

面向并行程序设计的扩展UML建模

为了解决并行软件开发复杂及维护困难的问题,提出一种并行软件建模的方法。利用统一建模语言(UML)的扩展机制建立了一系列模型,描述了分布式共享内存的基本程序结构建模,通过组合这些基本模型,创建新的模型来适应具体应用。该建模方法保留了UML易理解、易扩展和易于指导工程实践的特点,便于从串行建模扩展到并行建模。通过对一个并行应用的描述,表明该方法对实际的并行程序设计具有指导意义。     

Communication Port: A Language Concept for Concurrent Programming

A new language concept–communication port (CP), is introduced for programming on distributed processor networks. Such a network can contain an arbitrary number of processors each with its own private storage but with no memory sharing. The processors must communicate via explicit message passing. Communication port is an encapsulation of two language properties: "communication non-determinism" and "communication disconnect time." It provides a tool for progranmers to write well-structured, modular, and efficient concurrent programs. A number of examples are given in the paper to demonstrate the power of the new concepts.     

Concurrent C: A programming language for distributed multiprocessor systems

Recent advances in hardware technology have made the construction of multiprocessor systems economically feasible. This paper describes a new programming language (Concurrent C) suitable for distributed systems which are networks of loosely connected processors, each with its own local storage. Concurrent C is the extended version of the programming language C, incorporating features for parallel processing and interprocess communications.     

Ann: A domain-specific language for the effective design and validation of Java annotations

This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are not conceived in isolation, but in groups, with dependency and integrity constraints between them. However, the native support provided by Java for expressing this design is very limited.To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annotations, we propose a domain-specific modelling language. The proposal has been implemented as an Eclipse plug-in, including an editor and an integrated code generator that synthesises annotation processors. The environment also integrates a model finder, able to detect unsatisfiable constraints between different annotations, and to provide examples of correct annotation usages for validation. The language has been tested using a real set of annotations from the Java Persistence API (JPA). Within this subset we have found enough rich semantics expressible with Ann and omitted nowadays by the Java language, which shows the benefits of Ann in a relevant field of application.     

GSML:一种面向交互和协同的用户端编程语言

现有面向服务的编程语言往往强调服务的组合和使用,而忽略用户端的表现和协作．文章定义了一种语言GSML来描述灵活多变的网格应用逻辑,并实现了相关工具集以支持网格环境中用户端的“按需”编程．GSML包括启发自π演算的若干概念,并使用这些概念统一描述用户端组件和网格资源之间的交互关系,把它们连接成为完整的网格应用,并且还对GSML描述的网格应用进行了递归定义,不同用户可以通过在各自的GSML浏览器中互相包含对方的应用来实现协同工作．     

非计算机专业C语言程序设计实验教学模式

本文就C语言程序设计的实验教学,针对非计算机专业学生的特点,通过多个实验教学实践,提出激发学生学习兴趣、与理论授课老师保持良好沟通、合理安排实验教学内容的教学思路,并就具体实现方法进行探讨。     

Eclipse Support for Using Eli and Teaching Programming Languages

This demonstration will show Eclipse plugins developed at Macquarie and Colorado to support the Eli Language Processor Generation system and to enhance teaching of programming language concepts and implementation techniques. The plugins support exploration of programming language semantics, integrated development in the Eli system, and high-level observations of compiler execution.     

Parallel programming with logic languages: A survey

Formal properties of logic languages are largely studied; however, their impact on the practice of software design and programming is currently minimal. In this paper we survey some interesting representatives of the family of logic languages aiming at comparing the different capabilities they offer for designing and programming parallel systems. The logic languages Prolog, Aurora, Flat Concurrent Prolog, Parlog, GHC, and DeltaProlog were chosen, because a suitable set of relevant examples has been published, mostly by the language designers themselves. A number of sample programs is used to expose and compare the languages with respect to their object oriented programming capabilities for multiprocess coordination, interprocess communication, and resource management. Special attention is devoted also to metaprogramming as well, seen as a useful technique for specifying and building the operating environments of the languages themselves. The paper ends with a discussion on positive and negative features found comparing these languages, and indicates some guidelines to be followed in the design of new logic languages.     

UML面向对象建模在网上图书销售系统中的应用

文章首先简要介绍了基于面向对象思想的统一建模语言UML的基本概念,然后阐述了UML建模机制与RUP相结合的生命周期迭代化建模思想,最后以网上图书销售系统的UML建模为背景,探索了基于UML的管理信息系统建模及UML中多种模型图的使用方法.     

Giotto:与平台无关的嵌入式时序触发语言

Gitto语言是一种能适用于硬实时控制应用的高级编程语言。介绍了Giotto语言的编程方法,以自主航模的设计为例,说明了Giotto语言如何在实际设计中应用,由于Giotto设计过程中将时序程序与功能程序分离的特点,使Giotto程序与具体的运行平台无关,提高了程序的健壮性、稳定性及代码的复用性。     

支持即时构造的业务端编程语言VINCA

提出一种支持Web服务组合、面向业务用户的可视化编程语言VINCA,基于VINCA的应用即时构建方法——业务端编程,帮助业务用户即时构造应用．实现了一个支撑环境,并进行了初步的应用验证。     

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

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

Monaco—A domain-specific language solution for reactive process control programming with hierarchical components

In this paper, we present Monaco – a domain-specific language for developing event-based, reactive process control programs – and its visual interactive programming environment. The main purpose of the language is to bring process control programming closer to domain experts. Important design goals have therefore been to keep the language concise and to allow programs to be written that reflect the perceptions of domain experts. Monaco is similar to Statecharts in its expressive power, but adopts an imperative notation. Moreover, Monaco uses a state-of-the-art component approach with interfaces and polymorphic implementations, and enforces strict hierarchical component architectures that support hierarchical abstraction of control functionality. We present the main design goals, the essential programming elements, the visual interactive programming environment, results from industrial case studies, and a formal definition of the semantics of the reactive behavior of Monaco programs in the form of labeled transition systems.