Formal Verification of Business Process Configuration in the Cloud Souha Boubaker

Total Page:16

File Type:pdf, Size:1020Kb

Formal Verification of Business Process Configuration in the Cloud Souha Boubaker Formal verification of business process configuration in the Cloud Souha Boubaker To cite this version: Souha Boubaker. Formal verification of business process configuration in the Cloud. Software Engi- neering [cs.SE]. Université Paris-Saclay, 2018. English. NNT : 2018SACLL002. tel-01818882 HAL Id: tel-01818882 https://tel.archives-ouvertes.fr/tel-01818882 Submitted on 19 Jun 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Formal Verification of Business Process Configuration in the Cloud 2018SACLL002 : Thèse de doctorat de l'Université Paris-Saclay NNT Préparée à TELECOM SudParis École doctorale n°580 Sciences et technologies de l'information et de la communication Spécialité de doctorat : Informatique Thèse présentée et soutenue à Évry, le 14/05/2018, par Souha Boubaker Composition du Jury : M. Djamal Benslimane Professeur, Université Claude Bernard Lyon 1, France Rapporteur M. Yves Ledru Professeur, Université Grenoble Alpes, France Rapporteur Mme. Daniela Grigori Professeur, Université Paris Dauphine, France Examinateur M. Paul Gibson Maître de conférences HDR, TELECOM SudParis, France Examinateur M. Walid Gaaloul Professeur, TELECOM SudParis, France Directeur de thèse Mme. Amel Mammar Professeur, TELECOM SudParis, France Co-encadrant M. Mohamed Graiet Enseignant Chercheur HDR, ENSAI Rennes, France Co-encadrant Titre : Vérification formelle de la configuration des processus métiers dans le Cloud Mots clés : Gestion de processus métier, Vérification formelle, Allocation de ressources, Correction. Résumé : Motivé par le besoin de la Dans cette thèse, nous visons à (i) fournir de l’assistance « Conception par Réutilisation », les modèles de et de l’aide à la configuration aux analystes avec des processus configurables ont été proposés pour options correctes, et (ii) améliorer le support de la représenter de manière générique des modèles spécification et de la vérification des ressources Cloud de processus similaires. Ils doivent être dans les processus métier. Pour ce faire, nous proposons configurés en fonction des besoins d’une une approche formelle pour aider à la configuration organisation en sélectionnant des options. étape par étape en considérant des contraintes Comme les modèles de processus configurables structurelles et métier. Nous proposons ensuite une peuvent être larges et complexes, leur approche comportementale pour la vérification de la configuration sans assistance est sans doute une configuration tout en réduisant le problème bien connu tâche difficile, longue et source d'erreurs. de l'explosion d'espace d'état. Ce travail permet De plus, les organisations adoptent de plus en d'extraire les options de configuration sans blocage d’un plus des environnements Cloud pour déployer et seul coup. Enfin, nous proposons une spécification exécuter leurs processus afin de bénéficier de formelle pour le comportement d'allocation des ressources dynamiques à la demande. ressources Cloud dans les modèles de processus métier. Néanmoins, en l'absence d'une description Cette spécification est utilisée pour valider et vérifier la explicite et formelle de la perspective de cohérence de l'allocation des ressources Cloud en ressources dans les processus métier existants, fonction des besoins des utilisateurs et des capacités des la correction de la gestion des ressources du ressources. Cloud ne peut pas être vérifiée. Title : Formal verification of business process configuration in the Cloud Keywords : Business Process Management, Formal verification, Resource allocation, Correctness. Abstract: Motivated by the need for the In this thesis, we target to (i) provide guidance and “Design by Reuse”, Configurable process assistance to the analysts in process model configuration models are proposed to represent in a generic with correct options, and to (ii) improve the support of manner similar process models. They need to be Cloud resource specification and verification in configured according to an organization needs business processes. To do so, we propose a formal by selecting design options. As the configurable approach for assisting the configuration step-by-step process models may be large and complex, their with respect to structural and business domain configuration with no assistance is undoubtedly constraints. We thereafter propose a behavioral a difficult, time-consuming and error-prone approach for configuration verification while reducing task. the well-known state space explosion problem. This Moreover, organizations are increasingly work allows to extract configuration choices that satisfy adopting cloud environments for deploying and the deadlock-freeness property at one time. Finally, we executing their processes to benefit from propose a formal specification for Cloud resource dynamically scalable resources on demand. allocation behavior in business process models. This Nevertheless, due to the lack of an explicit and specification is used to formally validate and check the formal description of the resource perspective in consistency of the Cloud resource allocation in process the existing business processes, the correctness models according to user requirements and resource of Cloud resources management cannot be capabilities. verified. Université Paris-Saclay Espace Technologique / Immeuble Discovery Route de l’Orme aux Merisiers RD 128 / 91190 Saint-Aubin, France 3 To my family, to my loving husband, for their unconditional love and support. Acknowledgment G First and foremost, I thank god for giving me strength, knowledge, ability and opportunity to undertake this research work and to continue and complete it satis- factorily. Without His blessings, this achievement would not have been possible. I would like to thank all members of the jury. I thank Professor Djamal Bensli- mane and Professor Yves Ledru for accepting being my thesis reviewers and for their insightful comments and encouragement. I also thank Professor Daniela Grigori and Dr. Paul Gibson for accepting being my thesis examiners. I would like to express my deepest thanks and gratitude to my supervisor Walid Gaaloul for his continuous support, patience, motivation, and immense knowledge. His precious guidance and fruitful ideas helped me in all the time of research and writ- ing of my scientific papers as well as this manuscript. His valuable advice, enthusiasm and constant support during this thesis allowed me to acquire new understandings and extend my experiences. I deeply hope that we can continue our collaboration. I am also grateful to my supervisor Amel Mammar for her encouragement, kind- ness and wide knowledge in formal specifications. Her precious advice and support have been invaluable. She deserves also special thanks for carefully reading through early drafts of this dissertation. A special gratitude is also due to my supervisor Mohamed Graiet for his great advices and his guidance. I am thankful for the oppor- tunities he provided, and for having faith in me. Special thanks to Kais Klai for the beneficial collaboration we have had. I am deeply grateful for the great deal of time we spent discussing many technical details of our work together. I also want to give special thanks to all the members of the computer science department of Telecom SudParis, especially Djamel Belaid and Brigitte Houassine for their kind help and assistance. I am indebted to many others for comments, discussions, criticism and encouraging enthusiasm: Nour, Rami, Emna, Rania, Hayet, Kunal, Nabila, Slim, Abderrahim. Last but not least, I would like to say some words in French. Je d´ediecette th`ese`ala m´emoire de mon grand-p`ereBaba H´ediqui s'est ´eteint sans que je puisse lui dire au revoir. Je ne t'oublierai jamais, que le bon DIEU t'accueille dans son paradis. Je d´ediecette th`ese`ames chers parents, Leila et Ouanes, symbole de la bont´epar excellence et source de tendresse. Merci pour vos sacrifices, vos pri`ereset votre amour inconditionnel. Votre b´en´edictionm'a permis de devenir ce que je suis aujourd'hui. J'esp`ereavoir r´eussi`avous rendre fiers de moi. Je remercie ´egalement ma soeur Sana et mes deux fr´eresSeif et Salem, sans oublier ma belle petite ni´eceAlma. Je tiens 5 6 aussi `aremercier ma belle-famille, Tata Assia, Tonton Fethi, mes belles-soeurs Hend et Hajer ainsi que son mari Oussema et le petit adorable Layth, qui m'ont toujours encourag´eet soutenu avec grand amour. Je d´ediecette th`eseaussi `ames meilleures amies Rania, ainsi que son mari Aymen et ma belle petite Lilia, Asma et Hend, pour leurs encouragements at support. Merci d'^etretoujours l`a,dans les meilleurs comme dans les pires moments. Finalement, je r´eserve mes derniers remerciements `alui, Wael, mon meilleur ami, mon ^amesoeur et mon cher mari, pour son soutien, son grand amour et sa patience dans les moments difficiles qu'il a d^uendurer pendant cette p´eriode de th`ese. A toute ma famille et `atous ceux qui m'aiment, je vous aime tellement. Souha Boubaker Rokbani Abstract In the last decade, growing attention has been paid to the emerging concept of Cloud Computing. Especially
Recommended publications
  • Appendix B – Eco-Charrette Report
    Appendix B – Eco-Charrette Report 2010 Facility Master Plan Factoria Recycling and Transfer Station November 2010 2010 Facility Master Plan Factoria Recycling and Transfer Station November 2010 Appendix B‐1: Factoria Recycling and Transfer Station ‐ Eco‐Charrette – Final Report. June 24, 2010. Prepared for King County Department of Natural Resources and Parks‐‐ Solid Waste Division. HDR Engineering, Inc. Appendix B‐2: Initial Guidance from the Salmon‐Safe Assessment Team regarding The Factoria Recycling and Transfer Station – Site Design Evaluation. July 15, 2010. Salmon‐Safe, Inc. Appendix B‐1: Factoria Recycling and Transfer Station ‐ Eco‐Charrette – Final Report. June 24, 2010. Prepared for King County Department of Natural Resources and Parks‐‐ Solid Waste Division. HDR Engineering, Inc. Table of Contents PART 1: ECO‐CHARRETTE...................................................................................................................... 1 Introduction and Purpose ......................................................................................................................... 1 Project Background and Setting ................................................................................................................ 1 Day 1. Introduction to the Sustainable Design Process ........................................................................... 3 Day 2: LEED Scorecard Review ................................................................................................................. 4 The LEED Green Building Certification
    [Show full text]
  • Lean Process Design a Concept of Process Quality
    Lean Process Design A Concept of Process Quality David N. Card [email protected] Agenda Background and Objectives Concepts of Lean Lean Process Design Process Summary Background CMMI® requires the definition of processes that cover certain goals and practices • Requires “sufficiency” • Does not provide criteria for a “good” process – not an appraisal consideration Lean principles provide “goodness” criteria for processes Lean usually applied as a re-engineering technique, e.g., Kaizen CMMI® is a registered trademark of Carnegie Mellon University 3 Objectives Identify the process “goodness” criteria implicit in Lean principles Explain how these can be applied during the design and initial definition of processes Minimize later rework and re-engineering 4 The Lean Misconception Lean is not about “light weight” processes “Lean” refers to reducing inventory and “work in progress” Lean is accomplished through robust processes • Simple • Reliable • Standardized • Enforced Caveat: many flavors of Lean 5 Five Lean Principles Value – identify what is really important to the customer and focus on that Value Stream – ensure all activities are necessary and add value Flow – strive for continuous processing through the value stream Pull – drive production with demand Perfection – prevent defects and rework Value Stream = Business Process 6 Views of Lean Industry Five Observed Principles Domain • Value • Value Stream Language • Flow Queuing & Culture Theory • Pull • Perfection Perfection Technical Practices • Similar to Six Sigma (including
    [Show full text]
  • Design Process Visualizing and Review System with Architectural Concept Design Ontology
    INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN, ICED’07 28 - 31 AUGUST 2007, CITE DES SCIENCES ET DE L'INDUSTRIE, PARIS, FRANCE DESIGN PROCESS VISUALIZING AND REVIEW SYSTEM WITH ARCHITECTURAL CONCEPT DESIGN ONTOLOGY Sung Ah Kim and Yong Se Kim Creative Design & Intelligent Tutoring Systems (CREDITS) Research Center, Sungkyunkwan University, Korea ABSTRACT DesignScape, a prototype design process visualization and review system, is being developed. Its purpose is to visualize the design process in more intuitive manner so that one can get an insight to the complicated aspects of the design process. By providing a tangible utility to the design process performed by the expert designers or guided by the system, novice designers will be greatly helped to learn how to approach a certain class of design. Not only as an analysis tool to represent the characteristics of the design process, the system will be useful also for learning design process. A design ontology is being developed as a critical part of the system, to represent designer’s activities associated with various design information during the conceptual design process, and then to be utilized for a computer environment for design analysis and guidance. To develop the design ontology, a conceptual framework of design activity model is proposed, and then the model has been tested and elaborated through investigating the early phase of architectural design. A design process representation model is conceptualized based on the ontology, and reflected into the development of the system. Keywords: Design Process, Design Research, Design Ontology, Design Activity, Architectural Design 1 INTRODUCTION Design is an evolving process interwoven with numerous intermediate representations and various design information.
    [Show full text]
  • Application of Sustainable Integrated Process Design and Control for Four Distillation Column Systems
    See discussions, stats, and author profiles for this publication at: http://www.researchgate.net/publication/281393677 Application of Sustainable Integrated Process Design and Control for Four Distillation Column Systems ARTICLE in CHEMICAL ENGINEERING TRANSACTIONS · SEPTEMBER 2015 Impact Factor: 1.03 · DOI: 10.3303/CET1545036 READS 52 3 AUTHORS: Mohamad Zulkhairi Nordin Mohamad Rizza Othman Universiti Teknologi Malaysia Universiti Malaysia Pahang 8 PUBLICATIONS 2 CITATIONS 18 PUBLICATIONS 62 CITATIONS SEE PROFILE SEE PROFILE Mohd. Kamaruddin Abd. Hamid Universiti Teknologi Malaysia 93 PUBLICATIONS 95 CITATIONS SEE PROFILE All in-text references underlined in blue are linked to publications on ResearchGate, Available from: Mohd. Kamaruddin Abd. Hamid letting you access and read them immediately. Retrieved on: 11 November 2015 provided by UMP Institutional Repository View metadata, citation and similar papers at core.ac.uk CORE brought to you by 211 A publication of CHEMICAL ENGINEERING TRANSACTIONS The Italian Association VOL. 45, 2015 of Chemical Engineering www.aidic.it/cet Guest Editors: Petar Sabev Varbanov, Jiří Jaromír Klemeš, Sharifah Rafidah Wan Alwi, Jun Yow Yong, Xia Liu Copyright © 2015, AIDIC Servizi S.r.l., ISBN 978-88-95608-36-5; ISSN 2283-9216 DOI: 10.3303/CET1545036 Application of Sustainable Integrated Process Design and Control for Four Distillation Column Systems Mohamad Z. Nordina, Mohamad R. Othmanb, Mohd K. A. Hamid*a aProcess Systems Engineering Centre (PROSPECT), Faculty of Chemical Engineering, Universiti Teknologi Malaysia, 81310 UTM Johor Bahru, Johor, Malaysia bProcess System Engineering Group (PSERG), Faculty of Chemical and Natural Resources Engineering, Universiti Malaysia Pahang, Lebuhraya Tun Razak, 26300 Gambang, Kuantan, Pahang, Malaysia [email protected] The objective of this paper is to present the application of sustainable integrated process design and control methodology for distillation columns systems.
    [Show full text]
  • Design-Build Manual
    Design-Build Manual M 3126.07 August 2021 Construction Division Design-Build Program Americans with Disabilities Act (ADA) Information Title VI Notice to Public It is the Washington State Department of Transportation’s (WSDOT) policy to assure that no person shall, on the grounds of race, color, national origin or sex, as provided by Title VI of the Civil Rights Act of 1964, be excluded from participation in, be denied the benefits of, or be otherwise discriminated against under any of its programs and activities. Any person who believes his/her Title VI protection has been violated, may file a complaint with WSDOT’s Office of Equal Opportunity (OEO). For additional information regarding Title VI complaint procedures and/or information regarding our non- discrimination obligations, please contact OEO’s Title VI Coordinator at 360-705-7090. Americans with Disabilities Act (ADA) Information This material can be made available in an alternate format by emailing the Office of Equal Opportunity at [email protected] or by calling toll free, 855-362-4ADA(4232). Persons who are deaf or hard of hearing may make a request by calling the Washington State Relay at 711. Foreword The Design-Build Manual has been prepared for Washington State Department of Transportation Engineering Managers, Design Engineers, Construction Engineers, Evaluators, Project Engineers, and other staff who are responsible for appropriately selecting, developing, and administering projects using design-build project delivery. This manual describes the processes and procedures for procuring and administering design-build contracts. Decisions to deviate from the guidance provided in this manual must be based on representing the best interests of the public and are to be made by the individual with appropriate authority.
    [Show full text]
  • The Design of a Next-Generation Process Language*
    The Design of a Next-Generation Process Language* Stanley M. Sutton, Jr. and Leon J. Osterweil Department of Computer Science University of Massachusetts Amherst, MA 01003-4610 Abstract. Process languages remain a vital area of software process research. Among the important issue for process languages are semantic richness, ease of use, appropriate abstractions, process composabitity, visualization, and support for multiple paradigms. The need to balance semantic richness with ease of use is particularly critical. JIL addresses these issues in a number of innovative ways. It models processes in terms of steps with a rich variety of semantic attributes. The JIL control model combines proactive and reactive control, condi- tional control, and more simple means of control-flow modeling via step composition and execution constraints. JIL facilitates ease of use through semantic factoring, the accommodation of incomplete step specifications, the fostering of simple sub-languages, and the ability to support visual- izations. This approach allows processes to be programmed in a variety of terms, and to a variety of levels of detail, according to the needs of particular processes, projects~ and programmers. 1 Introduction Process language research was an early emphasis of software process studies. It has remained vital for several reasons. First, no language has gained general acceptance or widespread use. This is not just a linguistic problem, as the use of languages depends also on organizational, methodological, and technologi- cal support. Second, first-generation languages generally have obvious limita- tions. This is in part because many of these languages were based on existing paradigms that were not particularly well adapted to the domain of software process [11, 24, aa, 26, 15, 4, 25].
    [Show full text]
  • Software Engineering Session 7 – Main Theme Business Model
    Software Engineering Session 7 – Main Theme Business Model Engineering Dr. Jean-Claude Franchitti New York University Computer Science Department Courant Institute of Mathematical Sciences 1 Agenda 11 IntroductionIntroduction 22 BusinessBusiness ModelModel RepresentationRepresentation 33 BusinessBusiness ProcessProcess ModelingModeling 44 CapturingCapturing thethe OrganizationOrganization andand LocationLocation AspectsAspects 55 DevelopingDeveloping aa ProcessProcess ModelModel 66 BPMN,BPMN, BPML,BPML, andand BPEL4WSBPEL4WS 77 BusinessBusiness ProcessProcess InteroperabilityInteroperability 88 SummarySummary andand ConclusionConclusion 2 What is the class about? Course description and syllabus: » http://www.nyu.edu/classes/jcf/g22.2440-001/ » http://www.cs.nyu.edu/courses/spring10/G22.2440-001/ Textbooks: » Software Engineering: A Practitioner’s Approach Roger S. Pressman McGraw-Hill Higher International ISBN-10: 0-0712-6782-4, ISBN-13: 978-00711267823, 7th Edition (04/09) » http://highered.mcgraw-hill.com/sites/0073375977/information_center_view0/ » http://highered.mcgraw- hill.com/sites/0073375977/information_center_view0/table_of_contents.html 3 Icons / Metaphors Information Common Realization Knowledge/Competency Pattern Governance Alignment Solution Approach 44 Agenda 11 IntroductionIntroduction 22 BusinessBusiness ModelModel RepresentationRepresentation 33 BusinessBusiness ProcessProcess ModelingModeling 44 CapturingCapturing thethe OrganizationOrganization andand LocationLocation AspectsAspects 55 DevelopingDeveloping aa ProcessProcess
    [Show full text]
  • Chapter 3 Software Design
    CHAPTER 3 SOFTWARE DESIGN Guy Tremblay Département d’informatique Université du Québec à Montréal C.P. 8888, Succ. Centre-Ville Montréal, Québec, Canada, H3C 3P8 [email protected] Table of Contents references” with a reasonably limited number of entries. Satisfying this requirement meant, sadly, that not all 1. Introduction..................................................................1 interesting references could be included in the recom- 2. Definition of Software Design .....................................1 mended references list, thus the list of further readings. 3. Breakdown of Topics for Software Design..................2 2. DEFINITION OF SOFTWARE DESIGN 4. Breakdown Rationale...................................................7 According to the IEEE definition [IEE90], design is both 5. Matrix of Topics vs. Reference Material .....................8 “the process of defining the architecture, components, 6. Recommended References for Software Design........10 interfaces, and other characteristics of a system or component” and “the result of [that] process”. Viewed as a Appendix A – List of Further Readings.............................13 process, software design is the activity, within the software development life cycle, where software requirements are Appendix B – References Used to Write and Justify the analyzed in order to produce a description of the internal Knowledge Area Description ....................................16 structure and organization of the system that will serve as the basis for its construction. More precisely, a software design (the result) must describe the architecture of the 1. INTRODUCTION system, that is, how the system is decomposed and This chapter presents a description of the Software Design organized into components and must describe the interfaces knowledge area for the Guide to the SWEBOK (Stone Man between these components. It must also describe these version).
    [Show full text]
  • Improving Product and Manufacturing Process Design Through a More Accurate Modeling Framework
    Multi-Scale Modeling Tools to Enable Manufacturing-Informed Design Improving Product and Manufacturing Process Design through a More Accurate Modeling Framework Introduction This project aims to fill the knowledge gap between upstream design and downstream manufacturing processes by developing a manufacturing-informed design framework enabled by multiscale New multi-scale modeling tools will enable more accurate modeling of machining physics-based process models. This processes, which will result in improved productivity. Graphic credit Third Wave Systems. framework will enable product and process designers to: fluid. This inefficient trial-and-error process produces significant waste streams at the • Evaluate the effects of design changes unit cell and plant level and incurs unnecessary financial and energy losses. and material selection on component performance, cost, and quality. Available at every stage of a product’s lifecycle, the computational tools developed through this effort will help manufacturers accurately model machining processes, • Anticipate manufacturing quality enabling improved productivity. and cost issues ahead of shop floor implementation. Benefits for Our Industry and Our Nation • Select and tailor manufacturing The modeling advancements envisioned could potentially provide a 50% improvement processes to achieve low-waste, low- in machining process productivity. This productivity increase would be achieved cost processes without compromising through the reduction of machining cycle times, waste streams, energy consumption, quality. and carbon emissions while improving the energy efficiency of new product designs. Design engineers would use the modeling framework to develop lightweight, efficient During process or product design, products with optimal designs; and manufacturing engineers would be able to design U.S. manufacturers understand the optimal manufacturing processes that require less energy and raw materials while characteristics and capabilities of assuring quality, performance, and costs.
    [Show full text]
  • 9: Process Design and Layout Planning
    distribute or CHAPTER Process Design and Layout Planning 9 post, LEARNING OBJECTIVES After studying this chapter, you should be able to: 9.1a Argue for the strategic importancecopy, of process 9.4 Describe the unique challenges involved in designing selection to an organization. global processes. 9.1b Identify factors that affect 9.5 Construct the different layout types, identifying their process choice. features in the design. 9.2 List thenot unique features in the design of service 9.6 List strategies that companies can take to address processes. the legal, ethical, and sustainability issues in process design and layout planning. 9.3 Defend the reasons that it is important for companies to synchronize their internal processes with the Doexternal processes of their supply chain partners. Master the content. edge.sagepub.com/venkataraman2e ©iStockphoto.com/SARINYAPINNGAM Copyright ©2020 by SAGE Publications, Inc. This work may not be reproduced or distributed in any form or by any means without express written permission of the publisher. OPERATIONS PROFILE: Process Redesign at Mars: Moving Toward Sustainability and Social Responsibility Mars, Incorporated (McLean, VA), one of the Hertzog/Afp/Getty Images Patrick largest privately held organizations in the world, employs more than 70,000 people in more than 400 offices and factories in 73 countries. The firm’s products range from candy to teas and coffee to pet food—all manufactured with the goal of social respon- sibility and sustainability. The company spon- sors many sustainability initiatives: • Sustainability workshops are held at Mars sites worldwide, and employees are encouraged to dedicate a week to generat- ing ideas for new processes to save energy distribute and water and to reduce waste.
    [Show full text]
  • Seven Legal Issues Unique to Design-Build
    Article Seven Legal Issues Unique to Design-Build By Mark C. Friedlander June 5, 2015 As design-build as a project delivery method continues to grow in popularity, practitioners have begun to question exactly it is different from traditional design-bid-build projects. In general terms, contractors are aware that design- build ordinarily shortens project delivery time and leaves the design-builder responsible for the entire project. However, there is a need for a greater understanding of precisely which legal and business issues have different implications for design-build projects as opposed to traditional design-bid-build projects. The legal issues arising uniquely out of the design-build method of project delivery are not overly complex. Although all complex construction projects involve important legal issues, there are not a great number of additional legal issues that arise in design-build projects as opposed to the traditional design-bid-build mode. After having been involved in a large number of design-build projects in both the public and private sectors, it seems to me that the legal issues that are unique to design-build projects can be broken down into the following seven categories: • The relationships and loyalties among the parties. • The design professional’s standard of care. • Performance warranties. • Entitlement to Change orders. • Licensing problems. • Insurance/Bonding problems. • Conflicts with competitive bidding laws. The following is a brief summary of how these issues differ from those in traditional construction projects. The Relationships Among The Parties The most obvious change distinguishing design-build from traditional design-bid-build projects is that the design professional is not the owner’s consultant, and is instead the contractor’s teammate.
    [Show full text]
  • Reliability Engineering and Management in New Product Development
    Reliability Engineering and Management in New Product Development Dr. Steven Li Department of IE & EM email: [email protected] Topics to be covered • Reliability Management • Reliability in Product Design • Reliability Tools – Boundary Diagram – Functional Block Diagram / FBD – Event Sequence Diagram • Weibull Analysis New Product Development Consumer needs changes Changing Marketing technology environment changes Continuous Improvement & New High % of Product Development total revenue Not to lose market share To stay ahead of Competition New Product Development Planning Product/Process design & development Product/Process V&V Production Business case (new idea) Prototype/pilot Concept design (Build components/ Production system) phase (System requirement Prototype test Field identification) (Test components/ performance Detail design System) (Component requirement Verification identification) &Validation (System and process V&V) New Product Development NPD programs are often plagued with: Cost overruns, Schedule delays, and Quality issues. Recent news on NPD delays, cost overruns, and quality issues Product Company Issues Year Source 787 Dreamliner Boeing Co Delay due to a structural flaw 2009 The Wall Street Journal Chevy Volt General Motors Cost overrun during design 2009 CNN Money Design issues: An unanticipated test The Honda/GE program glitch. A part of the gearbox HF120 turbofan Honda 2013 Flying failed during the test. Rebuild the engine engine and begin the test again. Delays in delivering engines. Quality flaws United Technologies Corp.’s Defence-aerospace.com F-35 and technical issues. Systemic issues and 2014 Pratt and Whitney unit Bloomberg Business manufacturing quality escapes. A failure in the main gear box and need for redesign of the component. Problems Sikorsky US Marine Corps' (USMC's) 2015 HIS Jane’s 360 with wiring and hydraulics systems.
    [Show full text]