In this paper we illustrate the facilities for type debugging of Haskell programs in the Chameleon programming environment. Chameleon provides an extension to Haskell supporting advanced and programmable type extensio...
详细信息
ISBN:
(纸本)1581137583
In this paper we illustrate the facilities for type debugging of Haskell programs in the Chameleon programming environment. Chameleon provides an extension to Haskell supporting advanced and programmable type extensions. Chameleon maps the typing problem for a program to a system of constraints each attached to program code that generates the constraints. We use reasoning about constraint satisfiability and implication to find minimal justifications of type errors, and to explain unexpected types that arise. Through an interactive process akin to declarative debugging, a user can track down exactly where a type error occurs. The approach handles Hindley/Milner types with Haskell-style overloading. The Chameleon system provides a full implementation of our flexible type debugging scheme which can be used as a front-end to any existing Haskell system. Copyright 2003 ACM.
This paper addresses the issue of selective disclosure of verifiable content. It extends previous work relating to Content Extraction Signatures [21] to implement a more complex structure that encodes a richer, more f...
详细信息
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a *** employ a mixture of compile-time analysis and run-time testing to verify that a program conforms to ...
详细信息
Based on business processes, composite Web services combine the offerings of two or more Web services to achieve the desired business goals. Several candidate standards have been proposed, providing a foundation for c...
详细信息
Based on business processes, composite Web services combine the offerings of two or more Web services to achieve the desired business goals. Several candidate standards have been proposed, providing a foundation for composite Web service specifications. However, at a higher level, there is no framework that supports composite Web service construction and automation. We propose a framework that facilitates the visual design, validation and automation of composite Web services. The framework is based mainly on Web service composition graph (WSCG), the underlying formalism for composite Web services. Using graph grammar and graph transformation defined on WSCG, the static topological structure of a composite Web service can be described in an intuitive way and the automation of the constructed composite Web services is also facilitated with a sound formal semantic basis. We also outline the design and implementation of a prototype for the proposed framework
Architecture description languages (ADLs) are used to specify and analyze the composition of a software system. Traditionally, ADLS are used at the specification and design stages of the software development lifecycle...
详细信息
Architecture description languages (ADLs) are used to specify and analyze the composition of a software system. Traditionally, ADLS are used at the specification and design stages of the software development lifecycle. Recent developments in component-based middleware has seen the rise of configuration-oriented software development. Here, we bring ADL ideas to the world of component configuration, in the context of Microsoft's COM+ and .NET. We describe an approach to and tool for configuration of .NET components in the COM+ middleware. We consider configurations of systems built using the .NET/COM+ middleware, and architectural descriptions designed using the UML profile for enterprise distributed object computing (EDOC).
Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of resources distributed across multiple ad...
详细信息
Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of resources distributed across multiple administrative domains, organizations and enterprises. To accomplish this, Grids need infrastructure that supports various services: security, uniform access, resource management, scheduling, application composition, computational economy, and accounting. Although several initiatives are engaged in the development of Grid technologies, Grid accounting issues are yet to be addressed. To overcome this limitation, we propose a new infrastructure called GridBank that provides services for accounting. The support of computational economy and accounting services can lead to a self-regulated accountability in Grid computing. This paper presents requirements of Grid accounting and different economic models within which it can operate and proposes a Grid Accounting Services Architecture to meet them. The paper highlights implementation issues with a detailed discussion on the format for various records/databases that the GridBank needs to maintain. It also presents protocols for interaction between the GridBank and various components within Grid computing environments.
SWENET: The Network Community for softwareengineering Education is an NSF funded project to develop curriculum modules of value to faculty member's desiring to incorporate softwareengineering concepts in new or ...
详细信息
SWENET: The Network Community for softwareengineering Education is an NSF funded project to develop curriculum modules of value to faculty member's desiring to incorporate softwareengineering concepts in new or existing courses. By design, the modules are self-contained instructional units ranging from a single lecture to approximately one week of course material; in this way, instructors can adopt, adapt, and arrange modules as appropriate to their courses. The original goal was to provide appropriate coverage at the undergraduate level for the areas defined in the softwareengineering body of knowledge. Recently the focus has shifted to the more focused softwareengineering education body of knowledge developed as part of the computing curricula-softwareengineering effort. As such, SWENET is evolving to become a repository of course modules that can support a wide range of educational approaches within the general framework defined by these bodies of knowledge.
Partition method of interval is adopted in current classification based on associations (CBA), but this method cannot reflect the actual distribution of data and exists the problem of sharp boundary. Quantitative attr...
详细信息
暂无评论