Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001
Workflow management techniques are aiming at supporting business process across organization boun... more Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze workflows in a large scale. And current WFMSs do not have the ability to react to the response of another WFMS dynamically. Using Petri Nets as the modeling tools, we present the concept of Standard Workflow Structure and a set of standard workflow blocks are designed. We prove that modeling a workflow process in Standard Workflow Structures can guarantee the soundness of a workflow network defined by Aalst [1]. We also presented the decomposing method of a large scaled workflow network into sub-networks. From our analysis and prove, we draw a very good conclusion that the workflow network composed by self-loop connected sub-networks maintains soundness under proper structure conditions. The methods presented are not only a design language for the specification of complex workflows, but also powerful analysis techniques to verify the workflow procedures.
The International Standards Organization (ISO) will release in 1993 the rst version of the STEP s... more The International Standards Organization (ISO) will release in 1993 the rst version of the STEP standard, which is dedicated to the exchange of product model data, and is seen as the basis of the next generation of enterprise information modeling tools. Almost in the same time frame ANSI will release the Information Resource Dictionary System (IRDS) Conceptual Schema standard 1], which recommends the conceptual graphs (CGs) or other representation languages based on logic to be used for enterprise information modeling and integration. In this paper we develop the foundations for the utilization of conceptual structures (CS) in combination with EXPRESS and STEP Application Protocols in the eld of Computer Integrated Manufacturing (CIM). The most important result described here is a mapping of EXPRESS into CGs. Around it we develop the architecture of a system able to analyze and translate some of the semantics of information models. Our overall strategy consists of representing the semantics of the language, including the informal meanings represented in the EXPRESS manual in plain English, in a systematic way in CS, and then use this block of knowledge, that can be processed by a machine, for the increasingly automatic analysis, translation and integration of enterprise information models. The work here described is one of the components of a prototype of a model management system under development at IBM, Kingston NY, coordinated by the CIM Architecture group.
Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001
Workflow management techniques are aiming at supporting business process across organization boun... more Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze workflows in a large scale. And current WFMSs do not have the ability to react to the response of another WFMS dynamically. Using Petri Nets as the modeling tools, we present the concept of Standard Workflow Structure and a set of standard workflow blocks are designed. We prove that modeling a workflow process in Standard Workflow Structures can guarantee the soundness of a workflow network defined by Aalst [1]. We also presented the decomposing method of a large scaled workflow network into sub-networks. From our analysis and prove, we draw a very good conclusion that the workflow network composed by self-loop connected sub-networks maintains soundness under proper structure conditions. The methods presented are not only a design language for the specification of complex workflows, but also powerful analysis techniques to verify the workflow procedures.
The International Standards Organization (ISO) will release in 1993 the rst version of the STEP s... more The International Standards Organization (ISO) will release in 1993 the rst version of the STEP standard, which is dedicated to the exchange of product model data, and is seen as the basis of the next generation of enterprise information modeling tools. Almost in the same time frame ANSI will release the Information Resource Dictionary System (IRDS) Conceptual Schema standard 1], which recommends the conceptual graphs (CGs) or other representation languages based on logic to be used for enterprise information modeling and integration. In this paper we develop the foundations for the utilization of conceptual structures (CS) in combination with EXPRESS and STEP Application Protocols in the eld of Computer Integrated Manufacturing (CIM). The most important result described here is a mapping of EXPRESS into CGs. Around it we develop the architecture of a system able to analyze and translate some of the semantics of information models. Our overall strategy consists of representing the semantics of the language, including the informal meanings represented in the EXPRESS manual in plain English, in a systematic way in CS, and then use this block of knowledge, that can be processed by a machine, for the increasingly automatic analysis, translation and integration of enterprise information models. The work here described is one of the components of a prototype of a model management system under development at IBM, Kingston NY, coordinated by the CIM Architecture group.
Uploads
Papers by Alex Bejan