Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design

The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface

Semantically Resolving Type Mismatches in Scientific Workflows

Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeling and enacting scientific experiments. Windows Workflow Foundation (WF) is a major component of Microsoft’s .NET technology which offers lightweight support for long-running workflows. It provides a comfortable graphical and programmatic environment for the development of extended BPEL-style workflows. WF’s visual features ease the syntactic composition of Web services into scientific workflows but do nothing to assure that information passed between services has consistent semantic types or representations or that deviant flows, errors and compensations are handled meaningfully. In this paper we introduce SAWSDL-compliant annotations for WF and use them with a semantic reasoner to guarantee semantic type correctness in scientific workflows. Examples from bioinformatics are presented

An integrated computer-aided modular fixture design system for machining semi-circular parts

Productivity is one of the most important factors in manufacturing processes because of the high level of market competition. In this regard, modular fixtures (MFs) play an important role in practically improving productivity in flexible manufacturing systems (FMSs) due to this technology using highly productive computer numerical control (CNC) machines. MFs consist of devices called jigs and fixtures for accurately holding the workpiece during different machining operations. The design process is complex, and traditional methods of MF design were not sufficiently productive. Computer-aided design (CAD) software has rapidly improved as a result of the development of computer technology, and has provided huge opportunities for modular fixture designers to use its 3D modelling capabilities to develop more automated systems. Computer-aided fixture design (CAFD) systems have become automated by the use of artificial intelligence (AI) technology. This study will investigate the further improvement of automated CAFD systems by using AI tools. In this research, an integrated CAFD is developed by considering four main requirements: · a 3D model of the workpiece, · an expert system, · assembly automation of MFs, · an efficient feature library. The 3D model is an important factor that can provide the appropriate specification of the workpiece; SolidWorks is used the CAD environment for undertaking the 3D modelling in this study. The expert system is applied as a tool to make right decisions about the CAFD planning process, including locating and clamping methods and their related element selection. This helps achieve a feasible fixture design layout. SolidWorks API and Visual Basic programming language are employed for the automating and simulation of the assembly process of MFs. A feature library of modular fixture elements is constructed as a means to simplify the fixture design process

Querying a regulatory model for compliant building design audit

The ingredients for an effective automated audit of a building design include a BIM model containing the design information, an electronic regulatory knowledge model, and a practical method of processing these computerised representations. There have been numerous approaches to computer-aided compliance audit in the AEC/FM domain over the last four decades, but none has yet evolved into a practical solution. One reason is that they have all been isolated attempts that lack any form of standardisation. The current research project therefore focuses on using an open standard regulatory knowledge and BIM representations in conjunction with open standard executable compliant design workflows to automate the compliance audit process. This paper provides an overview of different approaches to access information from a regulatory model representation. The paper then describes the use of a purpose-built high-level domain specific query language to extract regulatory information as part of the effort to automate manual design procedures for compliance audit

Automating the analysis of problem-solving activities in learning environments: the co-lab case study

The analysis of problem-solving activities carried out by students in learning settings involves studying the students' actions and assessing the solutions they have created. This analysis constitutes an ideal starting point to support an automatic intervention in the student activity by means of feedback or other means to help students build their own knowledge. In this paper, we present a model-driven framework to facilitate the automation of this problemsolving analysis and of providing feedback. This framework includes a set of authoring tools that enable software developers to specify the analysis process and its intervention mechanisms by means of visual languages. The models specified in this way are computed by the framework in order to create technological support to automate the problem-solving analysis. The use of the framework is illustrated thanks to a case study in the field of System Dynamics where problem-solving practices are analysed.The Ministerio de Educación y Ciencia (España) has partially supported this research under Project TIN2011-29542-C02-02. The authors would like to express their gratitude to Ton de Jong, Wouter R. van Joolingen and Sylvia van Borkulo (University of Twente), for supporting this research. The work reported here was done during Rafael Duque’s stay at the Department of Instructional Technology of the University of Twente

An overview of decision table literature 1982-1995.

This report gives an overview of the literature on decision tables over the past 15 years. As much as possible, for each reference, an author supplied abstract, a number of keywords and a classification are provided. In some cases own comments are added. The purpose of these comments is to show where, how and why decision tables are used. The literature is classified according to application area, theoretical versus practical character, year of publication, country or origin (not necessarily country of publication) and the language of the document. After a description of the scope of the interview, classification results and the classification by topic are presented. The main body of the paper is the ordered list of publications with abstract, classification and comments.

Supporting Semantically Enhanced Web Service Discovery for Enterprise Application Integration

The availability of sophisticated Web service discovery mechanisms is an essential prerequisite for increasing the levels of efficiency and automation in EAI. In this chapter, we present an approach for developing service registries building on the UDDI standard and offering semantically-enhanced publication and discovery capabilities in order to overcome some of the known limitations of conventional service registries. The approach aspires to promote efficiency in EAI in a number of ways, but primarily by automating the task of evaluating service integrability on the basis of the input and output messages that are defined in the Web service’s interface. The presented solution combines the use of three technology standards to meet its objectives: OWL-DL, for modelling service characteristics and performing fine-grained service matchmaking via DL reasoning, SAWSDL, for creating semantically annotated descriptions of service interfaces, and UDDI, for storing and retrieving syntactic and semantic information about services and service providers