In the present work, two asymmetric polymer membranes based on polyvinylidene fluoride (PVDF) and polyvinylpyrrolidone (PVP) with chitin and chitosan (as extractive agents) were synthesized through the phase inversion technique. The mechanisms of oriented process for the facilitated extraction of blue P3R dye across the as-prepared membranes were elucidated through different experiments. Furthe...

Sheet and film processes pose a challenging identification and control problem due to high complexity, poor conditioning, and limited input output data. The interaction between model accuracy and closed-loop performance is explored for sheet and film processes using a model decomposition in terms of two static orthogonal matrices in series with a diagonal transfer--function matrix. It is shown ...

The field of requirements engineering (RE) for business processes has grown during the last several years. As business processes are needed to fulfil organizational goals, the information captured in goal models provides a basis for designing business processes. Although research has started to explore how to transform goal models into business process models, current transformation methods nee...

The economic situation in the European construction industry demands efficient project execution and shorter planning times. Integrated information technologies are thus essential to optimise all process logistics to improve the designing, building and managing process. Integration is therefore a core aspect of the Nemetschek business philosophy. Thanks to the company’s extensive, wide-ranging ...

A holistic view is essential for quality initiatives such as Total Quality Management (TQM), Standard No. ISO 9001:1994 (International Organization for Standardization [ISO], 1994), Concurrent Engineering, Business Reengineering, and Business Process Improvement. The challenge is knowing how to transition from this theoretical concept to implementation. The relationship between quality interest...

Refactoring is a method for improving the structure of programs/specifications as to enhance readability, modularity and reusability. Refactorings are required to be behaviour-preserving in that – to an external observer – no difference between the program before and after refactoring is visible. In this paper, we develop refactorings for an object-oriented specification formalism combining a s...

We report on the development of a knowledge representation model, which is based on the SHARED object model reported in [33, 34]. Our current model is implemented as a layered scheme, that incorporates both an evolving artifact and its associated design process. To represent artifacts as they evolve, we define objects recursively without a pre-defined granularity on this recursive decomposition...

A methodology for integrating model checking into object-oriented software development processes is defined, developed, and demonstrated. Model checking is applied to object-oriented analysis(OOA) models that have executable semantics specified as state machines rather than as programs in conventional programming languages. The complexity level of an OOA model yields a manageable state space fo...

The stability of process is certainly one of the most important aspects to fulfill the task. Now, it is still a challenge to put forward a model to deal with the stability of manufacturing process mathematically. Aiming at solving the problem, this paper discusses the issues by the notion of manufacturing process reliability and its sensitivity. Based on state space model, the process performan...

Recent years have witnessed a tremendous growth in information and communication technologies that facilitate the design and implementation of complex inter-enterprise business processes. One of the major innovations is the concept of service-oriented architectures which considers software systems as being made up with autonomous, dynamic, loosely coupled and service-based components. This pape...