The Experts below are selected from a list of 121848 Experts worldwide ranked by ideXlab platform

Michael Gruninger - One of the best experts on this subject based on the ideXlab platform.

  • a first order cutting Process ontology for sheet metal parts
    Formal Ontologies Meet Industry, 2009
    Co-Authors: Michael Gruninger, Arnaud Delaval
    Abstract:

    The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing Processes and resources. In this paper we present a cutting Process ontology for 2D shapes such as sheet metal parts, axiomatized in first-order logic. This ontology is an extension of the ontology of ISO 18629 (Process Specification Language) and an earlier shape ontology first used to support object recognition. The full ontology consists of an axiomatization of all possible ways to change a surface as the result of a cutting Process and a taxonomy of cutting Processes. All component ontologies are verified using representation theorems.

  • manufacturing knowledge sharing in plm a progression towards the use of heavy weight ontologies
    International Journal of Production Research, 2007
    Co-Authors: Robert I M Young, A G Gunendran, Annefrancoise Cuttingdecelle, Michael Gruninger
    Abstract:

    The drive to maximize the potential benefits of decision support systems continues to increase as industry is continually driven by the competitive needs of operating in dynamic global environments. The more extensive information support tools which are becoming available in the PLM world appear to have great potential but require a substantial overhead in their configuration. However, sharing information and knowledge in cross-disciplinary teams and across system and company boundaries is not straightforward and there is a clear need for more effective frameworks for information and knowledge sharing if new product development Processes are to have effective ICT support. This paper presents a view of the current status of manufacturing information sharing using light-weight ontologies and goes on to discuss the potential for heavyweight ontological engineering approaches such as the Process Specification Language (PSL). It explains why such languages are needed and how they provide an important step towards Process knowledge sharing. Machining examples are used to illustrate how PSL provides a rigorous basis for Process knowledge sharing and subsequently to illustrate the value of linking foundation and domain ontologies to provide a basis for multi-context knowledge sharing.

  • ontology of the Process Specification language
    Handbook on Ontologies, 2004
    Co-Authors: Michael Gruninger
    Abstract:

    The Process Specification Language (PSL) has been designed to facilitate correct and complete exchange of Process information among manufacturing systems. We give an overview of the PSL Ontology, including its formal characterization as a set of theories in first-order logic and the concepts that are axiomatized in these theories.

  • the Process Specification language psl theory and applications
    Ai Magazine, 2003
    Co-Authors: Michael Gruninger, Christopher Menzel
    Abstract:

    The Process Specification LANGUAGE (PSL) has been designed to facilitate correct and complete exchange of Process information among manufacturing systems, such as scheduling, Process modeling, Process planning, production planning, simulation, project management, work flow, and business-Process reengineering. We give an overview of the theories within the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of Process Specifications that are based on the ontology.

  • Process Specification language for project scheduling information exchange
    International Journal of IT in Architecture Engineering and Construction (IT-AEC) Volume 1 Issue 4 Rotterdam: Millpress Science Publishers, 2003
    Co-Authors: J Cheng, Michael Gruninger, Sriram R D, Law K H
    Abstract:

    Many project scheduling and management software systems are being employed in the construction industry. Standards-based translation is one way to achieve interoperability. This study discusses the applicability of the Process Specifi cation Language (PSL) for exchanging project scheduling information among different applications. PSL was initiated by the National Institute of Standards and Technology (NIST) and is emerging as a standard exchange language for Process information in the manufacturing industry. This paper explores how PSL can be used for exchanging project scheduling information among software programs in project management. Furthermore, we investigate how PSL could be utilized to reason about potential confl icts and to perform consistency checking on project scheduling information. Process Specifi cation Language (PSL), information exchange, consistency checking, project management

Hyoung Do Kim - One of the best experts on this subject based on the ideXlab platform.

  • metadata schema design for integrated registry of b2b business Processes
    The e-Business Studies, 2007
    Co-Authors: Jong Woo Kim, Hyoung Do Kim
    Abstract:

    B2B registries provide spaces to register and retrieve information which is necessary to support B2B transactions among business partners or potential business partners. Business Process Specifications are one of important contents in B2B registries, and there is high complexity of representation due to complex and dynamic characteristics of business Processes. Also, currently there exist several competing Specification frameworks such as ebXML BPSS, WSBPEL, BPMN, and so on. This paper proposes a metadata schema to register business Process Specifications which are represented by different Specification frameworks. The proposed schema has extensibility to register business Process Specifications which are represented by various different Specification frameworks. Also, it extends reuse level from whole business Specification Processes to their components. To show the usefulness of the proposed schema, this paper demonstrates metadata extraction from business Process Specifications which are represented by two representative XML-based business Process Specification languages, ebXML BPSS and WSBPEL.

  • Semantic constraint Specification and verification of ebXML business Process Specifications
    Expert Systems with Applications, 2004
    Co-Authors: Jong Woo Kim, Hyoung Do Kim
    Abstract:

    Abstract Electronic Business using eXtensible Markup Language (ebXML) Business Process Specification Schema (BPSS) supports the Specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations; a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, the current ebXML BPSS Specification is insufficient to formally specify semantic constraints of modeling elements. In this study, we propose a classification scheme for BPSS semantic constraints, and describe how to represent those semantic constraints formally using Object Constraint Language. As a way to verify a particular Business Process Specification (BPS) with formal semantic constraint modeling, we suggest a rule-based approach to represent the formal semantic constraints, and describe a detail mechanism to apply the rule-based specified constraints to the BPS in a prototype implementation.

Jong Woo Kim - One of the best experts on this subject based on the ideXlab platform.

  • metadata schema design for integrated registry of b2b business Processes
    The e-Business Studies, 2007
    Co-Authors: Jong Woo Kim, Hyoung Do Kim
    Abstract:

    B2B registries provide spaces to register and retrieve information which is necessary to support B2B transactions among business partners or potential business partners. Business Process Specifications are one of important contents in B2B registries, and there is high complexity of representation due to complex and dynamic characteristics of business Processes. Also, currently there exist several competing Specification frameworks such as ebXML BPSS, WSBPEL, BPMN, and so on. This paper proposes a metadata schema to register business Process Specifications which are represented by different Specification frameworks. The proposed schema has extensibility to register business Process Specifications which are represented by various different Specification frameworks. Also, it extends reuse level from whole business Specification Processes to their components. To show the usefulness of the proposed schema, this paper demonstrates metadata extraction from business Process Specifications which are represented by two representative XML-based business Process Specification languages, ebXML BPSS and WSBPEL.

  • Semantic constraint Specification and verification of ebXML business Process Specifications
    Expert Systems with Applications, 2004
    Co-Authors: Jong Woo Kim, Hyoung Do Kim
    Abstract:

    Abstract Electronic Business using eXtensible Markup Language (ebXML) Business Process Specification Schema (BPSS) supports the Specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPSS is available in two stand-alone representations; a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, the current ebXML BPSS Specification is insufficient to formally specify semantic constraints of modeling elements. In this study, we propose a classification scheme for BPSS semantic constraints, and describe how to represent those semantic constraints formally using Object Constraint Language. As a way to verify a particular Business Process Specification (BPS) with formal semantic constraint modeling, we suggest a rule-based approach to represent the formal semantic constraints, and describe a detail mechanism to apply the rule-based specified constraints to the BPS in a prototype implementation.

Jörg Becker - One of the best experts on this subject based on the ideXlab platform.

  • Workflow Process Definition Language - Development and Directions of a Meta-Language for Workflow Processes
    1999
    Co-Authors: Jörg Becker
    Abstract:

    Meta-Languages for the definition of Processes serve several purposes. They can be employed as an integration platform for the exchange of Process models that are specified in prop rietary languages, their expressiveness can serve as a benchmark for the selection of a application specific modeling language and they can be used for the application-independent Specification of Process models that can then be transformed into the language relevant for the domain-specific context. In this paper we outline several approaches of meta -languages for Process Specification and compare them to the Workflow Process Definition Language as defined by the Workflow Management Coalition.

  • Workflow Process Definition Language –- Development and Directions of a Meta-Language for Workflow Processes
    1999
    Co-Authors: Michael Zur Muehlen, Jörg Becker
    Abstract:

    Meta-Languages for the definition of Processes serve several purposes. They can be employed as an integration platform for the exchange of Process models that are specified in proprietary languages, their expressiveness can serve as a benchmark for the selection of a application specific modeling language and they can be used for the application-independent Specification of Process models that can then be transformed into the language relevant for the domain-specific context. In this paper we outline several approaches of meta-languages for Process Specification and compare them to the Workflow Process Definition Language as defined by the Workflow Management Coalition

Alper Okcan - One of the best experts on this subject based on the ideXlab platform.

  • Collaborative Business Process Support in eHealth: Integrating IHE Profiles Through ebXML Business Process Specification Language
    IEEE Transactions on Information Technology in Biomedicine, 2008
    Co-Authors: Asuman Dogac, Yildiray Kabak, Tuncay Namli, Alper Okcan
    Abstract:

    Integrating healthcare enterprise (IHE) specifies integration profiles describing selected real world use cases to facilitate the interoperability of healthcare information resources. While realizing a complex real-world scenario, IHE profiles are combined by grouping the related IHE actors. Grouping IHE actors implies that the associated business Processes (IHE profiles) that the actors are involved must be combined, that is, the choreography of the resulting collaborative business Process must be determined by deciding on the execution sequence of transactions coming from different profiles. There are many IHE profiles and each user or vendor may support a different set of IHE profiles that fits to its business need. However, determining the precedence of all the involved transactions manually for each possible combination of the profiles is a very tedious task. In this paper, we describe how to obtain the overall business Process automatically when IHE actors are grouped. For this purpose, we represent the IHE profiles through a standard, machine-Processable language, namely, Organization for the Advancement of Structured Information Standards (OASIS) ebusiness eXtensible Markup Language (ebXML) Business Process Specification (ebBP) Language. We define the precedence rules among the transactions of the IHE profiles, again, in a machine-Processable way. Then, through a graphical tool, we allow users to select the actors to be grouped and automatically produce the overall business Process in a machine-Processable format.