The Ontological Stance for a Manufacturing Scenario

2011 ◽  
pp. 22-42
Author(s):  
Michael Gruninger
Keyword(s):  
Semantic Integration ◽  
Specification Language ◽  
Software Systems ◽  
Shared Understanding ◽  
Inference System ◽  
Software Application ◽  
Software Applications ◽  
Process Specification ◽  
Additional Challenge ◽  
Manufacturing Software

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.

The Ontological Stance for a Manufacturing Scenario

2009 ◽  
Vol 11 (4) ◽  
pp. 1-25 ◽  
Author(s):  
Michael Gruninger
Keyword(s):  
Semantic Integration ◽  
Specification Language ◽  
Software Systems ◽  
Shared Understanding ◽  
Inference System ◽  
Software Application ◽  
Software Applications ◽  
Process Specification ◽  
Additional Challenge ◽  
Manufacturing Software

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.

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

1999 ◽  
Author(s):  
Craig Schlenoff ◽  
Mihai Ciocoiu ◽  
Don Libes ◽  
Michael Gruninger
Keyword(s):  
Manufacturing Process ◽  
Specification Language ◽  
Process Information ◽  
Software Applications ◽  
Process Specification ◽  
Discrete Manufacturing ◽  
Manufacturing Information ◽  
Semantic Concepts ◽  
Pilot Implementation ◽  
Share Information

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.

A Review of Software Architecture for Collaborative Software’s

2012 ◽  
Vol 433-440 ◽  
pp. 2372-2376 ◽  
Author(s):  
Mehdi Bahrami ◽  
Mohammad Bahrami
Keyword(s):  
Software Engineering ◽  
Software Architecture ◽  
System Application ◽  
Development Process ◽  
System Development ◽  
Shared Understanding ◽  
Collaborative Systems ◽  
Future Directions ◽  
Software Application ◽  
Software Applications

Software architecture has emerged as an important sub-discipline of software engineering; particularly in the realm of large system development. Collaboration software applications are inherently cooperative, requiring many software applications to coordinate their efforts to produce a software system application. Integral to this effort is developing shared understanding surrounding multiple artifacts, each artifact embodying its own model, over the entire development process. This focus on model collaboration embedded within a larger process is what distinguishes collaboration research in software engineering from broader collaboration research. This article first review a list of goals for software architecture, then collaboration software application, several possible future directions for collaboration in software engineering is presented. The article concludes by noting a problem in performing research on collaborative systems.

ANALYZING AND IMPROVING WEB APPLICATION QUALITY USING DESIGN PATTERNS

2012 ◽  
Vol 2 (2) ◽  
pp. 112-116
Author(s):  
Shikha Bhatia ◽  
Mr. Harshpreet Singh
Keyword(s):  
Web Application ◽  
Design Pattern ◽  
Design Patterns ◽  
Web Applications ◽  
Past Research ◽  
Software Systems ◽  
Interactive Software ◽  
Web Based ◽  
Software Application ◽  
Execution Speed

With the mounting demand of web applications, a number of issues allied to its quality have came in existence. In the meadow of web applications, it is very thorny to develop high quality web applications. A design pattern is a general repeatable solution to a generally stirring problem in software design. It should be noted that design pattern is not a finished product that can be directly transformed into source code. Rather design pattern is a depiction or template that describes how to find solution of a problem that can be used in many different situations. Past research has shown that design patterns greatly improved the execution speed of a software application. Design pattern are classified as creational design patterns, structural design pattern, behavioral design pattern, etc. MVC design pattern is very productive for architecting interactive software systems and web applications. This design pattern is partition-independent, because it is expressed in terms of an interactive application running in a single address space. We will design and analyze an algorithm by using MVC approach to improve the performance of web based application. The objective of our study will be to reduce one of the major object oriented features i.e. coupling between model and view segments of web based application. The implementation for the same will be done in by using .NET framework.

scholarly journals Multimodal Affective Computing to Enhance the User Experience of Educational Software Applications

2018 ◽  
Vol 2018 ◽  
pp. 1-10 ◽  
Author(s):  
Jose Maria Garcia-Garcia ◽  
Víctor M. R. Penichet ◽  
María Dolores Lozano ◽  
Juan Enrique Garrido ◽  
Effie Lai-Chong Law
Keyword(s):  
User Experience ◽  
Affective Computing ◽  
Educational Software ◽  
Control Group ◽  
Emotional States ◽  
Emotion Detection ◽  
Software Application ◽  
Software Applications ◽  
Learning Progress ◽  
The One

Affective computing is becoming more and more important as it enables to extend the possibilities of computing technologies by incorporating emotions. In fact, the detection of users’ emotions has become one of the most important aspects regarding Affective Computing. In this paper, we present an educational software application that incorporates affective computing by detecting the users’ emotional states to adapt its behaviour to the emotions sensed. This way, we aim at increasing users’ engagement to keep them motivated for longer periods of time, thus improving their learning progress. To prove this, the application has been assessed with real users. The performance of a set of users using the proposed system has been compared with a control group that used the same system without implementing emotion detection. The outcomes of this evaluation have shown that our proposed system, incorporating affective computing, produced better results than the one used by the control group.

A Temporal Process Specification Language for Virtual Manufacturing Engineering

1998 ◽  
Author(s):  
David E. Lee ◽  
H. Thomas Hahn
Keyword(s):  
Manufacturing Process ◽  
Specification Language ◽  
Virtual Manufacturing ◽  
Process Definition ◽  
Virtual Factory ◽  
Process Specification ◽  
Temporal Relationships ◽  
Temporal Process ◽  
Definition Of ◽  
Virtual Process

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.

Optimal Operating Point of a Hydrogen Fueled SOFC Models Using Al-Nour Software

2021 ◽  
Vol 5 (2) ◽  
Author(s):  
Abdullatif Musa ◽  
Ramadan Arfa ◽  
Adel Agina
Keyword(s):  
Operating Temperature ◽  
Electrical Power ◽  
Cell Voltage ◽  
Simulation Software ◽  
Operating Pressure ◽  
Software Application ◽  
Software Applications ◽  
Electrical Power Output ◽  
User Friendly ◽  
Previous Training

The solid oxide fuel cell (SOFC) is considered extremely suitable for electrical power plant application. Both high temperature (HT) and intermediate temperature (IT) SOFC performances are investigated using models which are built in Aspen customer modeller. Moreover, this paper introduces a new simulation software, called Al-Nour V.1.0-2012 software application. The interface of Al-Nour V.1.0-2012 software was mainly implemented based on the educational theory of User’s Split Attention, that is; the entire software works with only one screen for all operations without any scrolling (user-friendly interface). This application reflects the fact that Al-Nour software does not require the user to have any previous training. The performance of HT-SOFC and IT-SOFC models is evaluated and compared using both software applications . The simulation results show that, the cell voltage value increases by raising the operating pressure, operating temperature, and hydrogen partial pressure. The electrical power output value from the SOFC is increased simultaneously by increasing the current density . Furthermore, the IT-SOFC has a higher cell voltage than the HT-SOFC.

T-Way Testing Strategies

2017 ◽  
pp. 2011-2024
Author(s):  
Kamal Z. Zamli ◽  
AbdulRahman A. Alsewari ◽  
Mohammed I Younis
Keyword(s):  
Operating System ◽  
Software Systems ◽  
Sudden Increase ◽  
Input Output ◽  
Profound Impact ◽  
Software Applications ◽  
Testing Strategies ◽  
Current State ◽  
Actual Use ◽  
Testing Techniques

In line with the advancement of hardware technology and increasing consumer demands for new functionalities and innovations, software applications grew tremendously in term of size over the last decade. This sudden increase in size has a profound impact as far as testing is concerned. Here, more and more unwanted interactions among software systems components, hardware, and operating system are to be expected, rendering increased possibility of faults. To address this issue, many useful interaction-based testing techniques (termed t-way strategies) have been developed in the literature. As an effort to promote awareness and encourage its usage, this chapter surveys the current state-of-the-art and reviews the state-of-practices in the field. In particular, unlike earlier work, this chapter also highlights the different possible adoptions of t-way strategies including uniform interaction, variable strength interaction, and input-output-based relation, that is, to help test engineers make informed decision on the actual use of t-way strategies.

Supporting Model-Driven Development

2017 ◽  
pp. 396-432
Author(s):  
Rita Suzana Pitangueira Maciel ◽  
Ana Patrícia F. Magalhães Mascarenhas ◽  
Ramon Araújo Gomes ◽  
João Pedro D. B. de Queiroz
Keyword(s):  
Software Engineering ◽  
Process Models ◽  
Software Systems ◽  
Model Driven Development ◽  
Model Driven ◽  
Process Specification ◽  
Process Enactment ◽  
Support Tools ◽  
Important Approach ◽  
Engineering Environment

The adoption of Model-Driven Development (MDD) is increasing and it is widely recognized as an important approach for building software systems. In addition to traditional development process models, an MDD process requires the selection of metamodels and mapping rules for the generation of the transformation chain which produces models and application code. However, existing support tools and transformation engines for MDD do not address different kinds of software process activities, such as application modeling and testing, to guide the developers. Furthermore, they do not enable process modeling nor the (semi) automated execution of activities during process enactment. MoDErNE (Model Driven Process-Centered Software Engineering Environment) uses process-centered software engineering environment concepts to improve MDD process specification and enactment by using a metamodeling foundation. This chapter presents model driven development concept issues and the MoDErNE approach and environment. MoDErNE aims to facilitate MDD process specification and enactment.

Building High Quality Big Data-Based Applications in Supply Chains

2018 ◽  
pp. 1-24 ◽  
Author(s):  
Kamalendu Pal
Keyword(s):  
Quality Assurance ◽  
Big Data ◽  
Supply Chain ◽  
Supply Chain Management ◽  
Data Quality ◽  
Software Systems ◽  
Data Governance ◽  
Chain Management ◽  
Software Applications ◽  
Retail Business

Global retail business has become diverse and latest Information Technology (IT) advancements have created new possibilities for the management of the deluge of data generated by world-wide business operations of its supply chain. In this business, external data from social media and supplier networks provide a huge influx to augment existing data. This is combined with data from sensors and intelligent machines, commonly known as Internet of Things (IoT) data. This data, originating from the global retail supply chain, is simply known as Big Data - because of its enormous volume, the velocity with which it arrives in the global retail business environment, its veracity to quality related issues, and values it generates for the global supply chain. Many retail products manufacturing companies are trying to find ways to enhance their quality of operational performance while reducing business support costs. They do this primarily by improving defect tracking and better forecasting. These manufacturing and operational improvements along with a favorable customer experience remain crucil to thriving in global competition. In recent years, Big Data and its associated technologies are attracting huge research interest with academics, industry practitioners, and government agencies. Big Data-based software applications are widely used within retail supply chain management - in recommendation, prediction, and decision support systems. The spectacular growth of these software systems has enormous potential for improving the daily performance of retail product and service companies. However, there are increasingly data quality problems resulting in erroneous tesing costs in retail Supply Chain Management (SCM). The heavy investment made in Big Data-based software applications puts increasing pressure on management to justify the quality assurance in these software systems. This chapter discusses about data quality and the dimensions of data quality for Big Data applications. It also examines some of the challenges presented by managing the quality and governance of Big Data, and how those can be balanced with the need of delivery usable Big Data-based software systems. Finally, the chapter highlights the importance of data governance; and it also includes some of the Big Data managerial practice related issues and their justifications for achieving application software quality assurance.

Sign in / Sign up

Export Citation Format

Share Document