Formalizing Manufacturing Process Modeling Using Composition Trees
نویسندگان
چکیده
منابع مشابه
Formalizing Manufacturing Process Modeling Using Composition Trees
Optimizing manufacturing process modeling is critical to improving the efficiency and quality of manufacturing. However, manufacturing processes in general can be very complicated. A manufacturing process may involve (a) transforming a material into a new form, (b) combining different materials to form a new object, and (c) retrieving a certain part from a material as a new entity. All those ac...
متن کاملManufacturing Process Modeling and Simulation
This paper presents a methodology to be employed in the whole process design phase including first and second processing. This methodology consists of a set of steps which are characterised by an independent model. This paper’s objective is to analyse the coherence between the different models and the coherence between the model and the objectives of each step. The final stage is to develop the...
متن کاملUsing Composition Trees to Model and Compare Software Process
Software processes described by natural languages are frequently ambiguous and it is usually difficult to compare the similarity and difference between one process defined in one standard and its counterpart defined in another standard. This paper proposes Composition Tree (CT) as a graphic language to model software process based on its purpose and expected outcomes. CT is a formal graphic not...
متن کاملFormalizing Business Process Using Hybrid Programs
A semantic annotation of business processes with concepts from ontology has become necessity in service provisioning. There have been few work on semantically labeling business processes in terms of ontology that formalizes business process structure, business domains etc. However, dynamic behavior of a process cannot be captured by such means as ontology languages are not suitable for specifyi...
متن کاملFormalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL busines...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advanced Materials Research
سال: 2011
ISSN: 1662-8985
DOI: 10.4028/www.scientific.net/amr.399-401.1852