Developing a Holistic Modeling Approach for Search-based System Architecting

Abstract This paper proposes a holistic modeling approach that combines the capabilities of Object Process Methodology (OPM), Colored Petri Net (CPN), and feature model. The resultant holistic model not only can capture the structural, behavioral, and dynamic aspects of a system, allowing simulation and strong analysis methods to be applied, it can also specify the architectural design space. This modeling approach is developed to facilitate the implementation of search-based system architecting where search algorithms are used to explore design trade space for good architecture alternatives. Such architecting approach integrates certain model construction, alternative generation, simulation, and assessment processes into a coherent and automated framework. Both the proposed holistic modeling approach and the search-based architecting framework are generic. They are targeted at systems that can be specified by conceptual models using object-oriented or process-oriented paradigms. The broad applicability of the proposed approach is demonstrated with the configuration of reconfigurable manufacturing systems (RMSs) under multi- objective optimization as an example. The test results showed that the proposed modeling approach could cover a huge number of architecture alternatives and supported the assessment of several performance measures. A set of quality results was obtained after running the optimization algorithm following the proposed search-based architecting framework.

[1]  Kurt Jensen An Introduction to the Practical Use of Coloured Petri Nets , 1996, Petri Nets.

[2]  Hoda A. ElMaraghy,et al.  Modelling and optimization of multiple-aspect RMS configurations , 2006 .

[3]  Sung-Yong Son,et al.  Design principles and methodologies for reconfigurable machining systems. , 2000 .

[4]  Dov Dori,et al.  Object-Process Methodology , 2002, Springer Berlin Heidelberg.

[5]  Yoram Koren,et al.  Computer-Aided Reconfiguration Planning: An Artificial Intelligence-Based Approach , 2006, J. Comput. Inf. Sci. Eng..

[6]  Outi Räihä,et al.  Applying Genetic Algorithms in Software Architecture Design , 2008 .

[7]  Kalyanmoy Deb,et al.  A Fast Elitist Non-dominated Sorting Genetic Algorithm for Multi-objective Optimisation: NSGA-II , 2000, PPSN.

[8]  Xianzhong Dai,et al.  Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems , 2009, Int. J. Comput. Integr. Manuf..

[9]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[10]  Anas Alfaris,et al.  The Evolutionary Design Model (EDM) for the design of complex engineered systems : Masdar City as a case study , 2009 .

[11]  Jianping Dou,et al.  Graph theory-based approach to optimize single-product flow-line configurations of RMS , 2009 .

[12]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[13]  Dov Dori,et al.  Object-Process Methodology (OPM) vs. UML - a Code Generation Perspective , 2004, CAiSE Workshops.

[14]  John A. Clark,et al.  Formulating software engineering as a search problem , 2003, IEE Proc. Softw..

[15]  Edward F. Crawley,et al.  A meta-language for systems architecting , 2005 .

[16]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[17]  Brian Rodrigues,et al.  Modelling reconfigurable manufacturing systems with coloured timed Petri nets , 2009 .

[18]  Cihan H. Dagli,et al.  SMART SYSTEMS ARCHITECTING: COMPUTATIONAL INTELLIGENCE APPLIED TO TRADE SPACE EXPLORATION AND SYSTEM DESIGN , 2009 .

[19]  Alf Kimms,et al.  Minimal investment budgets for flow line configuration , 1998 .

[20]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[21]  Jun Li,et al.  Improved net rewriting system-based approach to model reconfiguration of reconfigurable manufacturing systems , 2008 .

[22]  Krzysztof Czarnecki,et al.  Generative programming - principles and techniques of software engineering based on automated configuration and fragment-based component models , 1999 .

[23]  Dov Dori,et al.  Developing Complex Systems with Object-Process Methodology Using OPCAT , 2003, ER.

[24]  Shalom Cohen,et al.  Scrutinizing UML and OPM Modeling Capabilities with Respect to Systems Engineering , 2007, 2007 International Conference on Systems Engineering and Modeling.

[25]  Li-Chih Wang,et al.  Modeling with colored timed object-oriented Petri nets for automated manufacturing systems , 1998 .

[26]  Arben Asllani,et al.  Using genetic algorithm for dynamic and multiple criteria web-site optimizations , 2007, Eur. J. Oper. Res..