Requirements Engineering for Cyber Physical Production Systems

Traditional manufacturing and production systems are in the throes of a digital transformation. By blending the real and virtual production worlds, it is now possible to connect all parts of the production process: devices, products, processes, systems and people, in an informational ecosystem. This pa-per examines the underpinning issues that characterise the challenges for transforming traditional manufacturing to a Cyber Physical Production Sys-tem. Such a transformation constitutes a major endeavour for requirements engineers who need to identify, specify and analyse the effects that a multi-tude of assets need to be transformed towards a network of collaborating de-vices, information sources, and human actors. The paper reports on the e-CORE approach which is a systematic, analytical and traceable approach to Requirements Engineering and demonstrates its utility using an industrial-size application. It also considers the effect of Cyber Physical Production Systems on future approaches to requirements in dealing with the dynamic nature of such systems

Hospitalisation for bed rest for women with a triplet pregnancy: an abandoned randomised controlled trial and meta-analysis

BACKGROUND: This abandoned randomised controlled trial assessed the effects of hospitalisation from 24 to 30 weeks gestation for women with a triplet pregnancy on the risk of preterm birth. METHODS: Women with a triplet pregnancy and no other condition necessitating hospital admission were approached for participation in the study, and randomised to either antenatal hospitalisation (hospitalised group), or to routine antenatal care (control group). The randomisation schedule used variable blocks with stratification by parity, and a researcher not involved with clinical care contacted by telephone to determine treatment allocation by opening the next in a series of consecutively numbered, opaque, sealed envelopes. Primary study outcomes were preterm birth (defined as birth less than 37 weeks gestation) and very preterm birth (defined as birth less than 34 weeks gestation), and the development of maternal pregnancy induced hypertension. The trial was ceased prior to achieving the calculated sample size due to difficulties in recruitment. The results of this randomised controlled trial were then combined with the results of another comparing bed rest in women with a triplet pregnancy. RESULTS: Seven women with a triplet pregnancy were recruited to the trial, with three randomised to the hospitalisation group, and four to the control group. There were no statistically significant differences between the two groups for the primary outcomes birth before 37 weeks (3/3 hospitalisation group versus 4/4 control group; relative risk (RR) not estimable), birth before 34 weeks (3/3 hospitalisation group versus 2/4 control group; RR 2.00 95% Confidence Intervals (CI) 0.75–5.33) and pregnancy induced hypertension (1/3 hospitalisation group versus 1/4 control group; RR 1.33 95%CI 0.13–13.74). When the results of this trial were incorporated into a meta-analysis with the previous randomised controlled trial assessing hospitalisation and bed rest for women with a triplet pregnancy, (total sample size 26 women and 78 infants), there were no statistically significant differences identified between the two groups. CONCLUSION: The results of this trial and meta-analysis suggest no benefit of routine hospitalisation and bed rest for women with a triplet pregnancy to reduce the risk of preterm birth. The adoption or continuation of a policy of routine hospitalisation and bed rest for women with an uncomplicated triplet pregnancy cannot be recommended

Revisiting Goal-Oriented Requirements Engineering with a Regulation View

Goal-Oriented Requirements Engineering (GORE) is considered to be one of the main achievements that the Requirements Engineering field has produced since its inception. Several GORE methods were designed in the last twenty years in both research and industry. In analyzing individual and organizational behavior, goals appear as a natural element. There are other organizational models that may better explain human behavior, albeit at the expense of more complex models. We present one such alternative model that explains individual and organizational survival through continuous regulation. We give our point of view of the changes needed in GORE methods in order to support this alternative view through the use of maintenance goals and beliefs. We illustrate our discussion with the real example of a family practitioner association that needed a new information system

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

RULE-BASED BEHAVIOR MODELING - SPECIFICATION AND VALIDATION OF INFORMATION-SYSTEMS DYNAMICS

The accurate capture and representation of user requirements plays a critical role in the construction of effective and flexible information systems. One important component of a requirements specification is the definition of the behaviour of the system, i.e., those volatile concepts of the application domain that determine the dynamics of the information system. Failure to model and validate these volatile concepts results in inflexible systems that become increasingly unreliable to future changes. One way of overcoming the problem of inappropriate specification paradigms is to adopt models that focus on those procedures of the application domain which dictate organizational policy. To this end, the paper introduces the Rule-based Behaviour Model (RBM) as a means of specifying knowledge pertinent to the behaviour of a system. The paper also shows how this model can be used in carrying out graphical animation of the specification, using a Petri-net-based model