A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management

References

• Buckley S., Ettl M., Lin G., Wang KY.(2005) Sense and Respond Business Performance Management. In: An C., Fromm H. (eds) Supply Chain Management on Demand. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-27354-9_12
   Google Scholar
• Caballero, J. A., and I. E. Grossmann. 2014. Optimal synthesis of thermally coupled distillation sequences using a novel MILP approach. Computers & Chemical Engineering 61:118–35. doi:10.1016/j.compchemeng.2013.10.015.
   Web of Science ®Google Scholar
• Deshmukh, A. K., and A. Mohan. March 2016. Demand chain management: The marketing and supply chain interface redefined. IUP Journal of Supply Chain Management 13:20–36.
   Google Scholar
• Dutta, A., H. Lee, and M. Yasai-Ardekani. 2014. Digital systems and competitive responsiveness: The dynamics of it business value. Information & Management 51 (6):762–73. doi:10.1016/j.im.2014.05.005.
   Web of Science ®Google Scholar
• GLPK. 1989. The GLPK MILP Solver – GNU Project. http://www.gnu.org/software/glpk
   Google Scholar
• Gottlob, G., G. Greco, and T. Mancini. Conditional constraint satisfaction: Logical foundations and complexity. In Proceedings of 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), Hyderabad, India, 88–93, 2007.
   Google Scholar
• Gottschalk, K., S. Graham, H. Kreger, and J. Snell. 2002. Introduction to web services architecture. IBM Systems Journal 41:170–-177. doi:10.1147/sj.412.0170.
   Google Scholar
• Haeckel, S., and A. J. Slywotzky. 1999. Adaptive enterprise: Creating and leading sense-and-respond organizations. Boston, Massachusetts: Harvard Business School Press.
   Google Scholar
• Hahn, G. J., and J. Packowski. 2015. A perspective on applications of in-memory analytics in supply chain management. Decision Support Systems 76 ( Analyzing the Impacts of Advanced Information Technologies on Business Operations):45–52. doi:10.1016/j.dss.2015.01.003.
   Web of Science ®Google Scholar
• Hayes, B. P., I. Melatti, T. Mancini, M. Prodanovic, and E. Tronci. 2017. Residential demand management using individualised demand aware price policies. IEEE Transactions on Smart Grid 8:3. doi:10.1109/TSG.2016.2596790.
   Web of Science ®Google Scholar
• Hazen, B. T., J. B. Skipper, J. D. Ezell, and C. A. Boone. November 2016. Big data and predictive analytics for supply chain sustainability: A theory-driven research agenda. Computers & Industrial Engineering 101 (C):592–98. doi:10.1016/j.cie.2016.06.030.
   Google Scholar
• Heilporn, G., L. De Giovanni, and M. Labbé. 2008. Optimization models for the single delay management problem in public transportation. European Journal of Operational Research 189 (3):762–74. doi:10.1016/j.ejor.2006.10.065.
   Web of Science ®Google Scholar
• Herzum, P., and O. Sims. 2000. Business components factory: A comprehensive overview of component-based development for the enterprise. 1st ed. New York, NY, USA: John Wiley & Sons, Inc..
   Google Scholar
• Huang, Y., S. Kumaran, and J.-Y. Chung. 2005. A model-driven framework for enterprise service management. Information Systems and e-Business Management 3 (2):201–17. doi:10.1007/s10257-005-0056-8.
   Google Scholar
• Kaplan, R. S., and D. P. Norton. 1992. The balanced scorecard-measures that drive performance. Harvard Business Review 70 (1):71–9. PMID: 10119714.
   PubMed Web of Science ®Google Scholar
• Kapoor, S., K. Bhattacharya, S. Buckley, P. Chowdhary, M. Ettl, K. Katircioglu, E. Mauch, and L. Phillips. 2005. A technical framework for sense-and-respond business management. IBM Systems Journal 44:5–24. doi:10.1147/sj.441.0005.
   Google Scholar
• Kyriakidis, T. S., G. M. Kopanos, and M. C. Georgiadis. 2012. MILP formulations for single-and multi-mode resource-constrained project scheduling problems. Computers & Chemical Engineering 36:369–85. doi:10.1016/j.compchemeng.2011.06.007.
   Web of Science ®Google Scholar
• Lusch, R. F., Y. Liu, and Y. Chen. 2010. The phase transition of markets and organizations: The new intelligence and entrepreneurial frontier. IEEE Intelligent Systems 25 (1):71–75.
   Web of Science ®Google Scholar
• Lush, R. F. Jan 2011. Reframing supply chain management: A service-dominant logic perspective. Journal of Supply Chain Management 47 (1):14–18. doi:10.1111/j.1745-493X.2010.03211.x.
   Web of Science ®Google Scholar
• Mancini, T. 2016. Now or Never: Negotiating efficiently with unknown or untrusted counterparts. Fundamenta Informaticae 149 (1–2):61–100. doi:10.3233/FI-2016-1443.
   Web of Science ®Google Scholar
• Mancini, T., E. Tronci, I. Salvo, F. Mari, A. Massini, and I. Melatti. Computing biological model parameters by parallel statistical model checking. In Proceedings of 3rd International Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015), volume 9044 of Lecture Notes in Computer Science, 542–54. Granada, Spain: Springer, 2015b.
   Google Scholar
• Mancini, T., F. Mari, A. Massini, I. Melatti, and E. Tronci. Anytime system level verification via random exhaustive hardware in the loop simulation. In Proceedings of 17th Euromicro Conference on Digital System Design (DSD 2014), Verona, Italy, 236–45. IEEE, 2014a.
   Google Scholar
• Mancini, T., F. Mari, A. Massini, I. Melatti, and E. Tronci. 2016a. Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocessors and Microsystems 41:12–28. doi:10.1016/j.micpro.2015.10.010.
   Web of Science ®Google Scholar
• Mancini, T., F. Mari, A. Massini, I. Melatti, and E. Tronci. 2016b. SyLVaaS: System level formal verification as a service. Fundamenta Informaticae 1–2:101–32. doi:10.3233/FI-2016-1444.
   Google Scholar
• Mancini, T., F. Mari, A. Massini, I. Melatti, I. Salvo, and E. Tronci. 2017. On minimising the maximum expected verification time. Information Processing Letters 122:8–16. doi:10.1016/j.ipl.2017.02.001.
   Web of Science ®Google Scholar
• Mancini, T., F. Mari, A. Massini, I. Melatti, I. Salvo, S. Sinisi, E. Tronci, R. Ehrig, S. Röblitz, and B. Leeners. Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction. In Proceedings of 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2018), volume 2271 of CEUR Workshop Proceedings. Oxford, UK: CEUR.org, 2018a.
   Google Scholar
• Mancini, T., F. Mari, I. Melatti, I. Salvo, and E. Tronci. An efficient algorithm for network vulnerability analysis under malicious attacks. In Proceedings of The 24th International Symposium on Methodologies for Intelligent Systems (ISMIS 2018). Limassol, Cyprus: Springer, 2018b.
   Google Scholar
• Mancini, T., F. Mari, I. Melatti, I. Salvo, E. Tronci, J. Gruber, B. Hayes, M. Prodanovic, and L. Elmegaard. Demand-aware price policy synthesis and verification services for smart grids. In Proceedings of 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm 2014), 794–99. Venice, Italy: IEEE, 2014b.
   Google Scholar
• Mancini, T., F. Mari, I. Melatti, I. Salvo, E. Tronci, J. K. Gruber, B. Hayes, M. Prodanovic, and L. Elmegaard. User flexibility aware price policy synthesis for smart grids. In Proceedings of 18th Euromicro Conference on Digital System Design (DSD 2015), 478–85. Madeira, Portugal: IEEE, 2015a.
   Google Scholar
• Mancini, T., M. Cadoli, D. Micaletto, and F. Patrizi. 2008. Evaluating ASP and commercial solvers on the CSPLib. Constraints 13 (4):407–36. doi:10.1007/s10601-007-9028-6.
   Web of Science ®Google Scholar
• Mancini, T., P. Flener, and J. Pearson. Combinatorial problem solving over relational databases: View synthesis through constraint-based local search. In Proceedings of ACM Symposium on Applied Computing (SAC 2012), 80–87. Trento, Italy: ACM, 2012.
   Google Scholar
• Mari, F., I. Melatti, I. Salvo, and E. Tronci. Synthesis of quantized feedback control software for discrete time linear hybrid systems. In Proceedings of 22nd International Conference on Computer Aided Verification (CAV 2010), volume 6174 of Lecture Notes in Computer Science, 180–95. Edinburgh, UK: Springer, 2010.
   Google Scholar
• Mari, F., I. Melatti, I. Salvo, and E. Tronci. 2014. Model based synthesis of control software from system level formal specifications. ACM Transactions on Software Engineering and Methodology 23 (1):1–42. doi:10.1145/2559934.
   Web of Science ®Google Scholar
• Negash, S., and P. Gray. 2008. Business intelligence. In Handbook on decision support systems 2. International handbooks information system, 175–193 Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-540-48716-6_9
   Google Scholar
• Neumaier, A., O. Shcherbina, W. Huyer, and T. Vinkó. 2005. A comparison of complete global optimization solvers. Mathematical Programming 103 (2):335–56. doi:10.1007/s10107-005-0585-4.
   Web of Science ®Google Scholar
• Nguyen, T. M., J. Schiefer, and A. M. Tjoa. Sense & response service architecture (SARESA): An approach towards a real-time business intelligence solution and its use for a fraud detection application. In Proceedings of the 8th ACM International Workshop on Data Warehousing and OLAP, DOLAP ‘05, 77–86, New York, NY, USA, 2005. ACM.
   Google Scholar
• OMG Object Management Group. 0000. Model driven architecture. http://www.omg.org/mda/.
   Google Scholar
• Sakellaropoulos, S., and A. P. Chassiakos. 2004. Project time–cost analysis under generalised precedence relations. Advances in Engineering Software 35 (10–11):715–24. doi:10.1016/j.advengsoft.2004.03.017.
   Web of Science ®Google Scholar
• Seufert, A., and J. Schiefer. Enhanced business intelligence – Supporting business processes with real-time business analytics. In DEXA Workshops, 919–25. Copenhagen, Denmark: IEEE Computer Society, 2005.
   Google Scholar
• Tronci, E., T. Mancini, I. Salvo, S. Sinisi, F. Mari, I. Melatti, A. Massini, F. Davi’, T. Dierkes, R. Ehrig, et al. Patient-specific models from inter-patient biological models and clinical records. In Proceedings of 14th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2014), 207–14. Lausanne, Switzerland:IEEE, 2014.
   Google Scholar
• Van den Bergh, J., P. De Bruecker, J. Beliën, L. De Boeck, and E. Demeulemeester. 2013. A three-stage approach for aircraft line maintenance personnel rostering using MIP, discrete event simulation and DEA. Expert Systems with Applications 40 (7):2659–68. doi:10.1016/j.eswa.2012.11.009.
   Web of Science ®Google Scholar
• Vergidis, K., A. Tiwari, and B. Majeed. 2007. Business process analysis and optimization: Beyond reengineering. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 38 (1):69–82. doi:10.1109/TSMCC.2007.905812.
   Web of Science ®Google Scholar
• Wang, X., M. Brandt-Pearce, and S. Subramaniam. 2015. Impact of wavelength and modulation conversion on translucent elastic optical networks using MILP. Journal of Optical Communications and Networking 7 (7):644–55. doi:10.1364/JOCN.7.000644.
   Web of Science ®Google Scholar