Reference Modelling in Support of M&S—Foundations and Applications

Whether by design or by practice, systems engineering (SE) processes are used more and more often in Modeling and Simulation (M&S). While the two disciplines are very close, there are some differences that must be taken into account in order to successfully reuse practices from one community to another. In this paper, we introduce the M&S System Development Framework (MS-SDF) that unifies SE and M&S processes. The MS-SDF comprises the SE processes of requirements capture, conceptual modelling, and verification and validation (V&V), and extends them to M&S. We use model theory as a deductive apparatus in order to develop the MS-SDF. We discuss the benefits of the MS-SDF especially in the selection between federation development and multi-model approaches and the design of composable models and simulations. Lastly, a real life application example of the framework is provided

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

A comparative study of multiple-criteria decision-making methods under stochastic inputs

This paper presents an application and extension of multiple-criteria decision-making (MCDM) methods to account for stochastic input variables. More in particular, a comparative study is carried out among well-known and widely-applied methods in MCDM, when applied to the reference problem of the selection of wind turbine support structures for a given deployment location. Along with data from industrial experts, six deterministic MCDM methods are studied, so as to determine the best alternative among the available options, assessed against selected criteria with a view toward assigning confidence levels to each option. Following an overview of the literature around MCDM problems, the best practice implementation of each method is presented aiming to assist stakeholders and decision-makers to support decisions in real-world applications, where many and often conflicting criteria are present within uncertain environments. The outcomes of this research highlight that more sophisticated methods, such as technique for the order of preference by similarity to the ideal solution (TOPSIS) and Preference Ranking Organization method for enrichment evaluation (PROMETHEE), better predict the optimum design alternative

Knowledge modelling with the open source tool myCBR

Building knowledge intensive Case-Based Reasoning applications requires tools that support this on-going process between domain experts and knowledge engineers. In this paper we will introduce how the open source tool myCBR 3 allows for flexible knowledge elicitation and formalisation form CBR and non CBR experts. We detail on myCBR 3 's versatile approach to similarity modelling and will give an overview of the Knowledge Engineering workbench, providing the tools for the modelling process. We underline our presentation with three case studies of knowledge modelling for technical diagnosis and recommendation systems using myCBR 3

Construct redundancy in process modelling grammars: Improving the explanatory power of ontological analysis

Conceptual modelling supports developers and users of information systems in areas of documentation, analysis or system redesign. The ongoing interest in the modelling of business processes has led to a variety of different grammars, raising the question of the quality of these grammars for modelling. An established way of evaluating the quality of a modelling grammar is by means of an ontological analysis, which can determine the extent to which grammars contain construct deficit, overload, excess or redundancy. While several studies have shown the relevance of most of these criteria, predictions about construct redundancy have yielded inconsistent results in the past, with some studies suggesting that redundancy may even be beneficial for modelling in practice. In this paper we seek to contribute to clarifying the concept of construct redundancy by introducing a revision to the ontological analysis method. Based on the concept of inheritance we propose an approach that distinguishes between specialized and distinct construct redundancy. We demonstrate the potential explanatory power of the revised method by reviewing and clarifying previous results found in the literature

Continuous maintenance and the future – Foundations and technological challenges

High value and long life products require continuous maintenance throughout their life cycle to achieve required performance with optimum through-life cost. This paper presents foundations and technologies required to offer the maintenance service. Component and system level degradation science, assessment and modelling along with life cycle ‘big data’ analytics are the two most important knowledge and skill base required for the continuous maintenance. Advanced computing and visualisation technologies will improve efficiency of the maintenance and reduce through-life cost of the product. Future of continuous maintenance within the Industry 4.0 context also identifies the role of IoT, standards and cyber security

Capability driven development: an approach to designing digital enterprises

The final publication is available at Springer via http://dx.doi.org/10.1007/s12599-014-0362-0[EN] The need for organizations to operate in changing environments is addressed by proposing an approach that integrates organizational development with information system (IS) development taking into account changes in the application context of the solution. This is referred to as Capability Driven Development (CDD). A meta-model representing business and IS designs consisting of goals, key performance indicators, capabilities, context and capability delivery patterns, is being proposed. The use of the meta-model is validated in three industrial case studies as part of an ongoing collaboration project, whereas one case is presented in the paper. Issues related to the use of the CDD approach, namely, CDD methodology and tool support are also discussed.This work has been partially supported by the EU-FP7 funded project no: 611351 CaaS - Capability as a Service in Digital Enterprises.Berzisa, S.; Bravos, G.; Cardona Gonzalez, T.; Czubayko, U.; España, S.; Grabis, J.; Henkel, M.... (2015). Capability driven development: an approach to designing digital enterprises. Business and Information Systems Engineering. 57(1):15-25. https://doi.org/10.1007/s12599-014-0362-0S1525571ArchiMate (2013) An enterprise modeling language from the Open Group. http://www.opengroup.org/archimate/ . Accessed 3 Dec 2014Asadi M, Ramsin R (2008) MDA-based methodologies: an analytical survey. In: Proceedings Model driven architecture – foundations and applications (ECMDA-FA 2008), LNCS 5095, pp 419–431Barney JB (1991) Firm resources and sustained competitive advantage. J Manag 17(1):99–120Bērziša S, Bravos G, Gonzalez Cardona T, Czubayko U, España S, Grabis J, Henke lM, Jokste L, Kampars J, Koc H, Kuhr J, Llorca C, Loucopoulos P, Juanes Pascua lR, Sandkuh lK, Simic H, Stirna J, Zdravkovic J (2014) Deliverable 1.4: Requirements specification for CDD, CaaS – capability as a service for digital enterprises. FP7 project no 611351, Riga Technical University, Latvia. Submitted for reviewBubenko JA Jr, Persson A, Stirna J (2001) User guide of the knowledge management approach using enterprise knowledge patterns. Deliverable D3, IST programme project hypermedia and pattern based knowledge management for smart organisations. project no. IST-2000-28401, Royal Institute of Technology, SwedenBriand LC, Yue T, Labiche Y (2011) A systematic review of transformation approaches between user requirements and analysis models. Requir Eng 16:75–99De Kinderen S, Gordijn J, Akkermans H (2009) Reasoning about customer needs in multi-supplier ICT service bundles using decision models. In: Proceedings 11th international conference on enterprise information systems (ICEIS 2009), pp 131–136Deloitte (2009) Cloud computing: forecasting change. Deloitte Consulting, New York. http://public.deloitte.no/dokumenter/2_Cloud_Computing%5B1%5D.pdf . Accessed 3 Dec 2014Dey A (2001) Understanding and using context. Pers Ubiquitous Comput 5(1):4–7Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software architecture. Addison-Wesley, BostonGomes D, Gonçalves JM, Santos R, Aguiar R (2010) XMPP based context management architecture. In: Proceedings GLOBECOM workshop, IEEE, pp 1372–1377González A, España S, Ruiz M, Pastor Ó (2011) Systematic derivation of class diagrams from communication-oriented business process models. In: 12th working conference on business process modeling, development, and support (BPMDS’11). Springer LNBIP 81, pp 246–260Henkel M, Stirna J (2010) Pondering on the key functionality of model driven development tools: the case of mendix. In: Forbrig P, Günther H (eds) Proceedings business informatics research (BIR 2010), Springer LNBIP 64, pp 146–160Hervas R, Bravo J, Fontecha J (2010) A context model based on ontological languages – a proposal for information visualisation. J Univers Comput Sci 16(12):1539–1555Jarke M, Loucopoulos P, Lyytinen K, Mylopoulos J, Robinson W (2011) The brave new world of design requirements. Information Syst 36(7):992–1008Kaplan RS, Norton DP (2004) Strategy maps: converting intangible assets into tangible outcomes. Harvard Business School Press, BostonKleppe A, Warmer J, Bast W (2013) MDA explained. Addison-Wesley, BostonLoniewski G, Insfran E, Abrahao L (2010) A systematic review of the use of requirements engineering techniques in model-driven development. In: Proceedings model driven engineering languages and systems (MODELS 2010), Part II, LNCS 6395, pp 213–227Mohagheghi P, Dehlen V (2008) Where is the proof? - a review of experiences from applying MDE in industry. In: Proceedings model driven architecture – foundations and applications (ECMDA-FA 2008). LNCS 5095. Springer, Heidelberg, pp 432–443Nilsson AG, Tolis C, Nellborn C (eds) (1999) Perspectives on business modelling: understanding and changing organisations. Springer, HeidelbergOASIS (2011) Reference architecture foundation for service oriented architecture version 1.0, committee specification draft 03/public review draft 02 06 July 2011. http://docs.oasis-open.org/soa-rm/soa-ra/v1.0/soa-ra.pdf . Accessed 3 Dec 2014OMG (2011a) UML superstructure. http://www.omg.org/spec/UML/2.4.1/ . Accessed 3 Dec 2014OMG (2011b) Business process model and notation. http://www.omg.org/spec/BPMN/2.0/ . Accessed 3 Dec 2014Osterwalder A, Pigneur Y (2003) Modeling value propositions in e-business. Proc 5th international conference on electronic commerce (ICEC 2003). ACM Conference Proceedings Series 50Papazoglou MP, Yang J (2002) Design methodology for web services and business processes. In: Proceedings 3rd international workshop on technologies for e-services (TES 03). LNCS 2444. Springer, Heidelberg, pp 54–64Pastor O, Giachetti G (2010) Linking goal-oriented requirements and model-driven development. In: Intentional perspectives on information systems engineering. Springer, Heidelberg, pp 257–276Porter ME (1985) Competitive advantage: creating and sustaining superior performance. Free Press, New YorkRuiz M, Costal D, España S, Franch X, Pastor Ó (2014) Integrating the goal and business process perspectives in information system analysis. In: 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014). LNCS 8484. Springer, Heidelberg, pp 332–346Sheng Q, Yu J, Dustar S (eds) (2010) Enabling context-aware web services: methods, architectures, and technologies. Chapman & Hall/CRC, Boca RatonSmanchat S, Ling S, Indrawan M (2008) A survey on context-aware workflow adaptations. In: Proceedings 6th international conference on advances in mobile computing and multimedia (MoMM 2008), New York, pp 414–417Stirna J, Grabis J, Henkel M, Zdravkovic J (2012) Capability driven development – an approach to support evolving organizations. In: The practice of enterprise modeling (PoEM 2012). LNBIP 134. Springer, Heidelberg, pp 117–131Vale S, Hammoudi S (2009) COMODE: a framework for the development of context-aware applications in the context of MDE. In: Proceedings 4th international conference on internet and web applications and services (ICIW 2009). IEEE, Venice, pp 261–266Wesenberg H (2011) Enterprise modeling in an agile world. In: Johannesson P, Krogstie J, Opdahl AL (eds) The practice of enterprise modeling (PoEM 2011). LNBIP 92. Springer, Heidelberg, pp 126–130Zdravkovic J, Stirna J, Henkel M, Grabis J (2013) Modeling business capabilities and context dependent delivery by cloud services. In: Proceedings advanced information systems engineering (CAiSE 2013). LNCS 7908. Springer, Heidelberg, pp 369–38