Order Constraints for Multi-view Software Process Model

Jidong Ge,Hao Hu,Jian Lü

DOI: https://doi.org/10.1109/CSSE.2008.1499

2008-01-01

Abstract:All over the world software industry is facing the threatening failure rate of software projects. The scenario is worst in Pakistan having very immature software industry where projects are mostly over budgeted, over scheduled, and get low customer satisfaction. ...

What problem does this paper attempt to address?

Research on the Constraint-based Progressive Deployment Model of CDIO

Wang Zhan

2009-01-01

Abstract:CDIO common standards provide a template for engineering education reform.However,in practical application,a lot of constraints from the actual education environment and engineering environment are confronted.This paper focuses on how to implement the CDIO common standards under these constraints.Through the research of the application constraints and the intrinsic mechanism of CDIO,this paper presents CDIO progressive deployment model,and specifically describes the combination of key processes.This model will help us apply the CDIO methodology more effectively under the actual constraints.
Invariant analysis for ordering constraints of multi-view business process model

Jidong Ge,Haiyang Hu,Hao Hu,Xianglin Fei

DOI: https://doi.org/10.1007/978-3-642-29426-6_29

2012-01-01

Abstract:Workflow technology is applied in the mobile computing environment to improve the efficiency of modern business collaboration. Business process modeling language is a core element in WFMS (Workflow Management Systems). Business process model includes multiple views: activity view, artifact view and role view. Based on the similarity between multi-view business process modeling and object Petri nets, this paper proposes the MOPN-WF-net model which is a multi-view business process model based on multi-object Petri nets. To ensure the soundness of MOPN-WF-net, we propose an approach to check ordering constraints for necessary conditions of soundness property with invariant analysis.
Modeling of Multidisciplinary Views for Complex Products in MDO Environments

WU Baogui,HUANG Hongzhong,TAO Ye,ZHANG Xu

DOI: https://doi.org/10.3321/j.issn:1000-0054.2006.11.005

2006-01-01

Abstract:A design methodology was presented to resolve the difficult issues of multidisciplinary decomposition and view consistency within multidisciplinary modeling.After the central model is defined,each discipline concurrently constructs their view models.This paper describes the multidisciplinary design optimization(MDO) method and demonstrates how the different representations for the functional behaviors of design objects are the foundation for the multidisciplinary model format.The model includes a mechanism to guarantee view consistency.The modeling method is then applied to a vehicle shape design project.Design information is easily shared and dynamically altered to rapidly design the shape.
Efficient Collaborative Task Arrangement In Global Software Design Via Micro-Estimation And Pert Technique

Bin Xu,Hua Hu,Yun Ling,Xiaohu Yang,Zhijun He,Albert Ma

DOI: https://doi.org/10.1109/CSCWD.2007.4281430

2007-01-01

Abstract:Communication delay and globally task arrangement should be well considered during distributed software design. Though the software design is a kind of creative work and there are reworks almost all the cases, as a result, the duration and even the task sequence is undetermined Micro-estimation on demand, which we proposed in the former paper, refines the estimation of effort and duration for the tasks in the next short period This paper is intended to present our solution to reschedule the design tasks among distributed software design teams, which includes Multiple Component Status Transition Graph (MCSTG), Micro-estimation and PERT technique. The schedule risk in such environment will be analyzed and the solution will focus on how to improve the time-to-market. With the solution presented, the designers may fasten their collaboration in global software design.
Scheduling And Control For A Failure Prone System Of Open Shop With Job Overlaps

J Liu,Cy Song,P Li

DOI: https://doi.org/10.1109/ICSMC.2003.1244363

2003-01-01

Abstract:In most classical multi-operation scheduling and control models, an assumption that different operations of a given job cannot be processed simultaneously is usually accepted. But in real-life applications, many different circumstances exit (i.e., with job overlaps). When overlapping of jobs is permitted, the paper reduces the complex problem of scheduling production of N types of products, each with n jobs, in an open shop with m unreliable machines, into simpler problems. The paper extends the application of a flow model on infinite horizon, of a single failure prone machine to build a system model of from orders arriving to completion of productions on finite horizon. After presents an asymptotic optimal scheduling policy, based on discussing the model of the system, the optimal control production policy, etc., the paper presents the production planning of the system and its new heuristic iterative algorithm to determine the selection of setup times and the production order of products, etc..
Micro-estimation Based Global Collaborative Task Arrangement in Distributed Software Design

Hua Hu,Bin Xu,Yun Ling,Xiaohu Yang,Zhijun He,Albert Ma

DOI: https://doi.org/10.1007/978-3-540-92719-8_7

2007-01-01

Abstract:Efficient Task arrangement is difficult in global collaboration especially for distributed software design. Since the software design is a kind of creative work and there are reworks almost all the time, the duration and even the task sequence is undetermined. On the basis of Micro-estimation method, here we present our solution to reschedule the global collaborative design tasks to shorten the software development cycle. The traditional schedule methods are also analyzed in global collaborative environment. The software engineers may enhance their collaboration in global software design with the suggested solution.
Structure optimization for multi-view acquisition and stereo display system

Hao Cheng,Zhixiang You,Ping An,Zhaoyang Zhang

DOI: https://doi.org/10.1109/IVMSPW.2013.6611933

2013-01-01

Abstract:This paper introduces several models of the multi-view acquisition/stereo display system. With the use of these models, we can easily analyze the factors impacting on multi-view acquisition/stereo display system, such as stereo angle, number of views, and stereo image resolution. In order to use these factors constructing better multi-view acquisition/stereo display system, the strategy to optimize them are needed. This paper proposes a structure optimization for multi-view acquisition/stereo display system. With the structure optimization, we can adjust the factors conveniently and easily set up a real multi-view acquisition/stereo display system to achieve good effect.
A Multi-View Modeling Methodology For Modular Design Based On Relationship Constraint Network

GuoFu Luo,Yanqiu Xiao,Ma Jun,Hao Li,Sun Houfang

DOI: https://doi.org/10.1109/ICIEEM.2009.5344516

2009-01-01

Abstract:As a systematic design method, modular design requires modeling techniques to prepare information structure for construction and evolution of product system, which generally include modeling for decomposition and that for specific design and family optimization. In this paper, a multi-view modeling methodology is proposed to prepare such an information structure based on relationship constraint network. Firstly, locations of modeling techniques are given according to the whole close-loop process of modular design, and framework of this method is given. Secondly, correlative information among elements is organized in the form of constraint network, and correlative information of product is organized into a tri-view model. Then, a tri-view model of product family is established based on modular layouts, which provides a two-way channel for decomposition and optimization of modular scheme. Finally, a case is presented to illustrate the application of the proposed approach, which proved the effectiveness of this approach.
Developing and Evaluating a Framework of Total Constraint Management for Improving Workflow in Liquefied Natural Gas Construction

Jun Wang,Wenchi Shou,Xiangyu Wang,Peng Wu

DOI: https://doi.org/10.1080/01446193.2016.1227460

2016-01-01

Construction Management and Economics

Abstract:Liquefied natural gas projects are complex and full of variability. Their plan reliability is affected by constraints arising from engineering, supply chains and construction site. Effective management of these constraints is critical to reducing project uncertainties and improve workflow. However, current approaches for constraint removal are fragmented and heavily rely on human’s commitments because the underlying data for decision-making are static and outdated. In order to tackle this problem, this paper proposes a framework of total constraint management (TCM), which consists of three main parts: constraint modelling, constraint monitoring and constraint removal. Information technologies (i.e. building information modelling, radio frequency identification, barcoding, laser scanning and photogrammetry) are also discussed and incorporated into the TCM framework so as to make it more practical and effective. A laboratory-based experiment was developed to demonstrate and evaluate the framework. The results showed that successful implementation of TCM could significantly improve construction workflow and productivity.
A Measurement-Driven Process Model for Managing Inconsistent Software Requirements

Kedian Mu,Zhi Jin,Didar Zowghi

DOI: https://doi.org/10.1109/apsec.2008.24

2008-01-01

Abstract:Inconsistency is a pervasive issue in software engineering. Both general rules of inconsistency management and special case-based approaches to handling inconsistency have recently been considered. In this paper, we present a process model for handling requirements inconsistency within the viewpoints framework. In this process model, when an inconsistency among viewpoints is detected, a set of candidate proposals for handling inconsistency will be generated using techniques from multi-agent automated negotiations. The proposals are then prioritized using an integrated measurement of inconsistencies. The viewpoints involved in the inconsistency will then enter the negotiations by being presented with the candidate proposals and thus selecting an acceptable proposal based on the priorities associated with each candidate proposal. To facilitate usability, in our process, we assume that the natural language requirements statements are first translated into corresponding logical formulas using a translator software. Moreover, the candidate proposals for handling inconsistency are also translated back from formal logic into natural language before being presented for selection.
Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow

杜彦华,范玉顺

DOI: https://doi.org/10.3901/jme.2010.02.185

2010-01-01

Journal of Mechanical Engineering

Abstract:In the practical operation environment of an enterprise,there generally exist multiple parallel working processes,thus having resource conflicts among them. It is very important to model and verify dynamically the consistency of temporal constraints of multi-process with resource conflicts. Based on real time model checking technique,a dynamic checking method of temporal constraints for multi-process of workflows is proposed. Multi-process of workflows is modeled by using a time automata,and the temporal constraints to be checked are transformed as the queries of observer time automata models. When temporal constraints are checked,the models are updated according to the known temporal information,and temporal constraints are checked. The method is practicable,because it not only can deal with the modeling and analyzing of multi-process with resource constraints,but also is flexible,namely when the temporal constraints are modified,the corresponding observer time automata is changed. Furthermore,there are some tools and software of real-time model checking to support it.
Transaction management in multi-user CAD environment

Jianlin Sun,Zhijun He,Jinxiang Dong

DOI: https://doi.org/10.1109/TENCON.1993.320058

1993-01-01

Abstract:We analyse engineering design process and point out its three properties of long duration, exploration and cooperation. We survey related work of concurrency control for advanced database applications and describe our transaction management system aimed to meet the demands of design process involving many users, which contains three simple and kernel mechanisms that is, checkout/checkin, savepoint/rollback and notification.<>
Software Process Models and Analysis on Failure of Software Development Projects

Rupinder Kaur,Jyotsna Sengupta

DOI: https://doi.org/10.48550/arXiv.1306.1068

2013-06-05

Software Engineering

Abstract:The software process model consists of a set of activities undertaken to design, develop and maintain software systems. A variety of software process models have been designed to structure, describe and prescribe the software development process. The software process models play a very important role in software development, so it forms the core of the software product. Software project failure is often devastating to an organization. Schedule slips, buggy releases and missing features can mean the end of the project or even financial ruin for a company. Oddly, there is disagreement over what it means for a project to fail. In this paper, discussion is done on current process models and analysis on failure of software development, which shows the need of new research.
Event Constraint Based Software Process Validation

GU Qing,CHEN Dao-Xu

DOI: https://doi.org/10.1360/jos161735

2005-01-01

Journal of Software

Abstract:Software process is a human-centered system, with special characteristics in dynamic and continuous evolvement. The physical execution of a defined process will normally deviate from its process model. This paper uses E-CSPE (extended constraints on succeeding and proceeding events) constraints to carry out process validation and deviation measurement. The event constraints are defined based on the process model. The execution of a process instance is recorded down as an event sequence. The event sequence is analyzed to determine how much each event constraint defined is covered or violated. The result can be used to compute the EPD (event constraint based process difference metric) and EAD (event constraint based activity deviation metric) metrics. The EPD metric can reflect the difference between the process execution and its process model, while the EAD metric can provide some evidence for process evolvement.
Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models

Tao Jin,Jianmin Wang,Lijie Wen,Gen Zou

DOI: https://doi.org/10.1109/tsc.2013.19

IF: 11.019

2014-01-01

IEEE Transactions on Services Computing

Abstract:Since the behavior is the essential characteristic of business process models, and ordering relations between execution of tasks can be used to describe the behavior of process models, we need to compute the ordering relations between tasks in process models. This computation can be used for compliance checking and querying process models based on behavior. There are three basic types of ordering relations between two events in a concurrent system, i.e., causal, conflict, and concurrency. In this paper, we refine the causal and concurrency relations with uncertainty according to whether one task is always executed with the other task in the same instance. To compute the refined ordering relations with uncertainty efficiently, we propose some rules for adjacent tasks and some transitive laws for nonadjacent tasks together with their proofs. Based on these rules and laws, we propose an algorithm to compute the refined ordering relations for acyclic process models based on unfolding technology. The algorithm has a biquadrate time to the size of complete prefix unfolding of the original model.
Modeling Multi-View Software Process with Object Petri Nets.

JiDong Ge,Hao Hu,Qing Gu,Jian Lu

DOI: https://doi.org/10.1109/icsea.2006.261297

2006-01-01

Abstract:PSEE (Process-centered Software Engineering Environment) can manage and monitor software process. Software process modeling language is a core element in PSEE system. Due to the particularity and the complexity, software process model includes multi-views: activity view, product view and role view, which should be considered in modeling software process. Based on the similarity between multi-view software process modeling and object Petri nets, this paper proposes the MOPN-SP-net model which is a multi-view software process model based on multi-object Petri nets. The model includes twolevel models: system net and object net. A multi-view paradigm including activity views and product views is provided. Activity views are described by system nets and product views are described by object nets. MOPN-SP-net includes multi-views of software process model, which is characterized with clearer hierarchy, simpler structure, and more extendibility.
An Algebraic Approach For Managing Inconsistencies In Software Processes

Qiusong Yang,Mingshu Li,Qing Wang,Guowei Yang,Jian Zhai,Juan Li,Lishan Hou,Yun Yang

DOI: https://doi.org/10.1007/978-3-540-72426-1_11

2007-01-01

Abstract:To produce quality software and evolve them in an economic and timely fashion, enactable software process models are used for regulating development activities with the support of Process-Centered Software Engineering Environments (PCSEEs). However, due to the dynamically changing development environment, the developers do not always follow the process model in presence of unforeseen situations. As human with creativity and variant nature, each developer has his or her own way of doing development that may not be allowed by the process model. As a result, various inconsistencies arise in software processes and then the authority of the process model will be undermined. In this paper, we propose an algebraic approach to promote the efficient management of inconsistencies. With the approach, potential inconsistencies can be precisely detected and valuable diagnostic information is available to help process designers efficiently locate the detected inconsistencies. The effectiveness of the approach is demonstrated by experimenting it on an example process.
Transformation of BPMN to YAWL

JianHong Ye,ShiXin Sun,Lijie Wen,Wen Song

DOI: https://doi.org/10.1109/CSSE.2008.980

2008-01-01

Abstract:All over the world software industry is facing the threatening failure rate of software projects. The scenario is worst in Pakistan having very immature software industry where projects are mostly over budgeted, over scheduled, and get low customer satisfaction. ...
Research on Metrics-Based Software Process Control Optimization

XU Ru-zhi,QIAN Le-Qiu,ZHANG Jing-Zhou,ZHAO Wen-yun

DOI: https://doi.org/10.3321/j.issn:0372-2112.2003.z1.037

2003-01-01

Abstract:A process model of software process metrics is presented,and the strategies for tracking and controlling metrics-based software process are described and analyzed.Based on this and the practice of implementing CMM,a software process control optimization model and dynamic programming algorithm is developed and designed.When a schedule slip occurs,a project manager can immediately make an optimal process control decision to guarantee the success of the project by using the presented method together with the corresponding historical data stored in the process database.
Object-Oriented Modelling For Capp Open Architecture

Jlh Luo,Wck Wong,L Ma,Jq Yan

DOI: https://doi.org/10.1080/095119297131192

IF: 4.1

1997-01-01

International Journal of Computer Integrated Manufacturing

Abstract:Tremendous efforts have been made to develop computer aided process planning (CAPP) systems. However, conceptual research on theoretical models, frameworks and architecture is still insufficient. The current situation is that different CAPP systems have been developed, while research on methodology has made only limited progress. The process planning architecture continues to be more suitable to traditional CAPP than to current CAPP trends. A new modelling method for the CAPP open architecture based on the object-oriented (O-O) computing technique is presented. The hierarchical structure of the main components for the open architecture-product information model (PIM), process planning model (PMM), manufacturing capability model (MCM) and synthetic constraint model (SCM)-are discussed in detail. The aim is to contribute to expanding previous function-specific and domain-dependent CAPP to a function-driven and domain-independent innovator in terms of system integration and concurrent engineering (CE).

Order Constraints for Multi-view Software Process Model

Research on the Constraint-based Progressive Deployment Model of CDIO

Invariant analysis for ordering constraints of multi-view business process model

Modeling of Multidisciplinary Views for Complex Products in MDO Environments

Efficient Collaborative Task Arrangement In Global Software Design Via Micro-Estimation And Pert Technique

Scheduling And Control For A Failure Prone System Of Open Shop With Job Overlaps

Micro-estimation Based Global Collaborative Task Arrangement in Distributed Software Design

Structure optimization for multi-view acquisition and stereo display system

A Multi-View Modeling Methodology For Modular Design Based On Relationship Constraint Network

Developing and Evaluating a Framework of Total Constraint Management for Improving Workflow in Liquefied Natural Gas Construction

A Measurement-Driven Process Model for Managing Inconsistent Software Requirements

Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow

Transaction management in multi-user CAD environment

Software Process Models and Analysis on Failure of Software Development Projects

Event Constraint Based Software Process Validation

Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models

Modeling Multi-View Software Process with Object Petri Nets.

An Algebraic Approach For Managing Inconsistencies In Software Processes

Transformation of BPMN to YAWL

Research on Metrics-Based Software Process Control Optimization

Object-Oriented Modelling For Capp Open Architecture