Process Specification Language (PSL): Results of the First Pilot Implementation

1999 ◽  
Author(s):  
Craig Schlenoff ◽  
Mihai Ciocoiu ◽  
Don Libes ◽  
Michael Gruninger

Abstract In all types of communication, the ability to share information is often hindered because the meaning of information can be drastically affected by the context in which it is viewed and interpreted. This is especially true in manufacturing because of the growing complexity of manufacturing information and the increasing need to exchange this information among various software applications. Different manufacturing functions may use different terms to mean the exact same concept or use the exact same term to mean very different concepts. Often, the loosely defined natural language definitions associated with the terms contain so much ambiguity that they do not make the differences evident and/or do not provide enough information to resolve the differences. A solution to this problem is the development of a taxonomy, or ontology, of manufacturing concepts and terms along with their respective formal and unambiguous definitions. This paper focuses on the Process Specification Language (PSL) effort at the National Institute of Standards and Technology whose goal is to identify, formally define, and structure the semantic concepts intrinsic to the capture and exchange of discrete manufacturing process information. Specifically, it describes the results of the first pilot implementation, where PSL was successfully used as an interlingua to exchange manufacturing process information between the IDEF3-based ProCAP1 process modeling tool and the C++ based ILOG Scheduler.

Author(s):  
Craig Schlenoff ◽  
Peter Denno ◽  
Rob Ivester ◽  
Simon Szykman ◽  
Don Libes

Abstract In all types of communication, the ability to share information is often hindered because the meaning of information can be drastically affected by the context in which it is viewed and interpreted. This is especially true in manufacturing because of the growing complexity of manufacturing information and the increasing need to exchange this information among various software applications. Different manufacturing functions may use different terms to mean the exact same concept or use the exact same term to mean very different concepts. Often, the loosely defined natural language definitions associated with the terms contain so much ambiguity that they do not make the differences evident and/or do not provide enough information to resolve the differences. A solution to this problem is the development of a taxonomy, or ontology, of manufacturing concepts and terms along with their respective formal and unambiguous definitions. This paper focuses on an effort at the National Institute of Standards and Technology to identify, formally define, and structure the semantic concepts intrinsic to the capture and exchange of manufacturing information. Specifically, this paper documents the results of the first phase of this project — that of analyzing existing ontological systems to determine which is most appropriate for the manufacturing domain. In particular, this phase involved the exploration of efforts that are studying both the uses of ontologies in the general sense and those that are using ontologies for domain-specific purposes.


Author(s):  
David E. Lee ◽  
H. Thomas Hahn

Abstract A process specification language is being developed for virtual manufacturing that provides a structured portable definition of a given manufacturing process as well as the ability to specify the temporal relationships between individual operation steps that compose a process. Based on the concepts embodied in markup languages such as HTML, SGML and XML, a portable process definition structure is defined. This structure provides a template from which virtual process specifications can be created. Subsequently, these structures can be exchanged between development environments for virtual process engineering and the actualized manufacturing facilities where processes are implemented. In addition, dependencies in time between the operation steps of a process such as common start times and operation serialization can be represented to allow for a complete specification of temporal behavior of a given manufacturing process. By providing this explicit mechanism for representing temporal constraints, a virtual manufacturing process can be viewed and utilized both in a localized application on a single virtual factory floor as well as distributed across multiple, interlinked virtual environments.


2009 ◽  
Vol 11 (4) ◽  
pp. 1-25 ◽  
Author(s):  
Michael Gruninger

The semantic integration of software systems can be supported through a shared understanding of the terminology in their respective ontologies. In practice, however, the author is faced with the additional challenge that few applications have an explicitly axiomatized ontology. To address this challenge, we adopt the Ontological Stance, in which we can model a software application as if it were an inference system with an axiomatized ontology, and use this ontology to predict the set of sentences that the inference system determines to be entailed or satisfiable. This chapter gives an overview of a deployment of the Process Specification Language (PSL) Ontology as the interchange ontology for the semantic integration of three manufacturing software applications currently being used in industry -- a process modeller, a process planner, and a scheduler.


Author(s):  
Michael Gruninger

The semantic integration of software systems can be supported through a shared understanding of the terminology in their respective ontologies. In practice, however, the author is faced with the additional challenge that few applications have an explicitly axiomatized ontology. To address this challenge, we adopt the Ontological Stance, in which we can model a software application as if it were an inference system with an axiomatized ontology, and use this ontology to predict the set of sentences that the inference system determines to be entailed or satisfiable. This chapter gives an overview of a deployment of the Process Specification Language (PSL) Ontology as the interchange ontology for the semantic integration of three manufacturing software applications currently being used in industry—a process modeller, a process planner, and a scheduler.


1997 ◽  
Vol 5 (1) ◽  
pp. 27-35 ◽  
Author(s):  
Ahmed H. S. Al-Ashaab ◽  
Robert I. M. Young

2014 ◽  
Vol 607 ◽  
pp. 89-94
Author(s):  
Ai Ming Xu ◽  
Jian Min Gao ◽  
Kun Chen ◽  
Fu Min Chen ◽  
Zhao Wang

Workshop is gathered place and exchange centre of product manufacturing process information (PMPI), which is divided by enterprise heterogeneous systems. This led to the integration and sharing difficulty of PMPI and constrains the information system application in workshop, like MES. To solve this problem an information integration method based on semantic BOM was proposed. Firstly, a global ontology model USBOM of PMPI was constructed which given the unified semantic description of PMPI. Based on USBOM a PMPI integration framework was proposed. Finally, a workshop product manufacturing monitoring system was used as an example to verify the feasibility of this approach.


2014 ◽  
Vol 556-562 ◽  
pp. 4248-4254 ◽  
Author(s):  
Long Tuo ◽  
Lu Dai ◽  
Xiong Chen

Rotor machining is a traditional discrete manufacturing process, among which large amount of non-essential energy is being wasted. The machining process belongs to pipeline production, so a flow-shop scheduling model is built to optimize it. But when there are over three machines, this will be an NP-hard problem. We introduce an improved ant-colony algorithm to find the best solution and then use the real machining data to test it. The total energy consumption is reduced by over 10% and this shows the model and intelligent algorithm work well.


Sign in / Sign up

Export Citation Format

Share Document