Product and Production Process Modeling and Configuration

• Autorzy: Campagna D. , Formisano A.
• Języki publikacji: EN

Abstrakty

EN

Product configuration systems are an emerging technology that supports companies in deploying mass customization strategies. Such strategies need to cover the management of the whole customizable product cycle. Adding process modeling and configuration features to a product configurator may improve its ability to assist mass customization development. In this paper, we describe a modeling framework, PRODPROC, that allows one to model both a product and its production process. We first introduce our framework by describing how configurable products are modeled. Then, we describe the main features and capabilities offered to model production processes and to link them with the corresponding products models. The configuration task (namely, the procedure that, from a configurable object/activity generates a configured product/process) is then analyzed. We also outline a possible CSP-based implementation of a configurator. A comparison with some of the existing systems for product configuration and process modeling emphasizes that none of the considered system/tools offers the complete set of features supported by PRODPROC for interdependent product and process modeling/configuration.

Słowa kluczowe

EN

configuration of product/process models; product and process modeling languages

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 124, nr 4
• Strony: 403--425
• Opis fizyczny: Bibliogr. 41 poz., wykr.

Twórcy

autor

Campagna D.

• Università di Perugia, Italy

autor

Formisano A.

• Università di Perugia, Italy

Bibliografia

• [1] A. Aggoun and N. Beldiceanu. Extending chip in order to solve complex scheduling and placement problems. Mathematical and Computer Modelling, 17(7):57-73, 1993.
• [2] M. Aldanondo and E. Vareilles. Configuration for mass customization: how to extend product configuration towards requirements and process configuration. Journal of Intelligent Manufacturing, 19(5):521-535,2008.
• [3] J. F. Allen. Maintaining knowledge about temporal intervals. Comm. of the ACM, 26:832-843, 1983.
• [4] J. Beck and M. Fox. Scheduling alternative activities. In Proc. of the National Conference on Artificial Intelligence, pp. 680-687, 1999.
• [5] N. Beldiceanu and M. Carlsson. A New Multi-resource cumulatives Constraint with Negative Heights. In P. Van Hentenryck, ed., CP 2002, vol. 2470 of LNCS, pp. 63-79. Springer, 2006.
• [6] D. Benavides, P. Trinidad, and A. Ruiz-Cortes. Automated reasoning on feature models. In Advanced Information Systems Engineering, vol. 3520 of LNCS, pp. 381-390. Springer, 2005.
• [7] U. Blumohr, M. Munch, and M. Ukalovic. Variant Configuration with SAP. SAP Press, 2009.
• [8] D. Campagna. A Graphical Framework for Supporting Mass Customization. In Proc. of the IJCAI'11 Workshop on Configuration, pp. 1-8, 2011. Available in http://ceur-ws.org/Vol-755/.
• [9] D. Campagna. Product and Production Process Modeling and Configuration. PhD thesis, Universita di Perugia, Italy, 2012.
• [10] D. Campagna, C. De Rosa, A. Dovier, A. Montanari, and C. Piazza. Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundamenta Informaticae, 105(1-2):105-133, 2010.
• [11] D. Campagna and A. Formisano. Custom product manufacturing as generative constraint satisfaction. Report 12, Universita di Perugia, Italy, 2011.
• [12] S. Costantini and A. Formisano. Answer set programming with resources. J. Logic and Computation, 20(2):533-571, 2010.
• [13] S. Costantini, A. Formisano, and D. Petturiti. Extending and implementing RASP. Fundamenta Informaticae, 105(1-2):1-33, 2010.
• [14] K. Czarnecki, S. Helsen, and U. Eisenecker. Staged Configuration Using Feature Models. In R. Nord, ed., Software Product Lines, vol. 3154 of LNCS, pp. 162-164. Springer, 2004.
• [15] K. Czarnecki, S. Helsen, and U. W. Eisenecker. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 10(1):7-29, 2005.
• [16] A. Dal Palu, A. Dovier, E. Pontelli, and G. Rossi. GASP: Answer set programming with lazy grounding. Fundamenta Informaticae, 96(3):297-322, 2009.
• [17] A. Felfernig. Standardized Configuration Knowledge Representations as Technological Foundation for Mass Customization. IEEE Transaction on Engineering Management, 54(1):41-56, 2007.
• [18] G. Fleischanderl, G. Friedrich, A. Haselbock, H. Schreiner, and M. Stumptner. Configuring Large Systems Using Generative Constraint Satisfaction. IEEE Intelligent Systems, 13(4):59-68, 1998.
• [19] T. Hadzic, S. Subbarayan, R. M. Jensen, H. R. Andersen, J. Moller, and H. Hulgaard. Fast backtrack-free product configuration using a precompiled solution space representation. In Proc. of the Int. Conference on Economic, Technical and Organizational Aspects of Product Configuration Systems, pp. 131-138. 2004.
• [20] A. Hallerbach, T. Bauer, and M. Reichert. Capturing variability in business process models: the Provop approach. Journal of Software Maintenance and Evolution: Research and Practice, 22(6-7):519-546, 2010.
• [21] T. Janhunen, E. Oikarinen, H. Tompits, and S. Woltran. Modularity aspects of disjunctive stable models. JAIR, 35:813-857, 2009.
• [22] U. Junker. The Logic of ILOG (J)Configurator: Combining Constraint Programming with a Description Logic. In Proc. of the IJCAI'03 Workshop on Configuration, pp. 13-20. 2003.
• [23] K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, 1990.
• [24] J. Kuster, D. Jannach, and G. Friedrich. Extending the RCPSP for modeling and solving disruption management problems. Applied Intelligence, 31(3):234-253, 2009.
• [25] K. Kyo, K. Sajoong, L. Jaejoon, K. Kijoo, S. Euiseob, and H. Moonhang. Form: A feature-oriented reuse method with domain-specific reference architectures. Annals of Software Engineering, 5:143-168, 1998.
• [26] M. La Rosa, M. Dumas, A. H. M. ter Hofstede, and J. Mendling. Configurable multi-perspective business process models. Information Systems, 36:313-340, April 2011.
• [27] P. Laborie. Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results. Artificial Intelligence, 143:151-188, February 2003.
• [28] V. S. Mellarkod, M. Gelfond, and Y. Zhang. Integrating answer set programming and constraint logic programming. AMAI, 53(1-4):251-287, 2008.
• [29] V. Myllarniemi, T. Asikainen, T. Mannisto, and T. Soininen. Kumbang configurator - a configurator tool for software product families. In Proc. of the IJCAI'05 Workshop on Configuration, pp. 51-56. 2005.
• [30] A. H. N0rgaard, M. R. Boysen, R. M. Jensen, and P. Tiedemann. Combining BDDs and backtracking search for scalable backtrack-free interactive product configuration. In IJCAI'09 Workshop on Configuration, 2009.
• [31] M. Pesic, H. Schonenberg, and W. van der Aalst. DECLARE: Full support for loosely-structured processes. In EDOC'07, pp. 287-287, 2007.
• [32] M. La Rosa. Managing Variability in Process-Aware Information Systems. PhD thesis, Queensland University of Technology, Brisbane, Australia, 2009.
• [33] D. Sabin and R. Weigel. Product configuration frameworks-a survey. IEEE Intelligent Systems, 13, 1998.
• [34] T. Soininen, J. Tiihonen, T. Mannisto, and R. Sulonen. Towards a general ontology of configuration. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 12:357-372, September 1998.
• [35] H. Sommer. Project Management for Building Construction. Springer, 2010.
• [36] A. H. M. ter Hofstede, W. van der Aalst, M. Adams, and N. Russell. Modern Business Process Automation - YAWL and its Support Environment. Springer, 2010.
• [37] E. R. van der Meer and H. R. Andersen. BDD-based Recursive and Conditional Modular Interactive Product Configuration. In Workshop on CSP Techniques with Immediate Application (CP'04), pp. 112-126, 2004.
• [38] E. R. van der Meer, A. Wasowski, and H. R. Andersen. Efficient interactive configuration of unbounded modular systems. In Proc. of the 2006 ACM symposium on applied computing, pp. 409-414. ACM, 2006.
• [39] W. J. van Hoeve. The alldifferent Constraint: A Survey. In Annual Workshop of the ERCIM Working Group on Constraints, 2001. CoRR-cs.PL/0105015.
• [40] S. A. White and D. Miers. BPMN modeling and reference guide. Lighthouse Point, 2008.
• [41] L. Zhang, J. Jiao, and S. Pokharel. Process platform-based production configuration. ASME Conference Proceedings, 2005(4739X):1091-1102, 2005.