Goal oriented variability management in model driven service engineering

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii List of Publications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix

[1]  Boris Motik,et al.  Ontologies for Enterprise Knowledge Management , 2003, IEEE Intell. Syst..

[2]  Karl Aberer,et al.  Infrastructure for Data Processing in Large-Scale Interconnected Sensor Networks , 2007, 2007 International Conference on Mobile Data Management.

[3]  Peter Dadam,et al.  Architectural Principles and Components of Adaptive Process Management Technology , 2009, PRIMIUM.

[4]  Jia Zhang,et al.  Architecture-Driven Variation Analysis for Designing Cloud Applications , 2009, 2009 IEEE International Conference on Cloud Computing.

[5]  Hassan Gomaa,et al.  Managing Variability in Reusable Requirement Models for Software Product Lines , 2008, ICSR.

[6]  Karthikeyan Ponnalagu,et al.  Morpheus: Semantics-based Incremental Change Propagation in SOA-based Solutions , 2008, 2008 IEEE International Conference on Services Computing.

[7]  Wil M. P. van der Aalst,et al.  Data-aware process mining: discovering decisions in processes using alignments , 2013, SAC '13.

[8]  Manfred Reichert,et al.  Refactoring large process model repositories , 2011, Comput. Ind..

[9]  Klaus Schmid,et al.  A customizable approach to full lifecycle variability management , 2004, Sci. Comput. Program..

[10]  Jaime G. Carbonell,et al.  Context-Based Machine Translation , 2006, AMTA.

[11]  Jacky Estublier,et al.  Reuse and variability in large software applications , 2005, ESEC/FSE-13.

[12]  Vicente Pelechano,et al.  Systematic Reuse of Web Services through Software Product Line Engineering , 2011, 2011 IEEE Ninth European Conference on Web Services.

[13]  Valeria De Antonellis,et al.  A Methodology for e -Service Substitutability in a Virtual District Environment , 2003, CAiSE.

[14]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[15]  Guangzhong Sun,et al.  Driving with knowledge from the physical world , 2011, KDD.

[16]  Axel van Lamsweerde,et al.  Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[17]  Manfred Reichert,et al.  Capturing variability in business process models: the Provop approach , 2010, J. Softw. Maintenance Res. Pract..

[18]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[19]  Santhosh Kumaran,et al.  A Model Driven Framework for IT Transformation , 2007, 2007 2nd IEEE/IFIP International Workshop on Business-Driven IT Management.

[20]  R. Venkatesha Prasad,et al.  A scalable distributed architecture towards unifying IoT applications , 2014, 2014 IEEE World Forum on Internet of Things (WF-IoT).

[21]  Rajesh Bordawekar,et al.  Analyzing Analytics , 2015, Analyzing Analytics.

[22]  Munindar P. Singh,et al.  Service-Oriented Computing: Key Concepts and Principles , 2005, IEEE Internet Comput..

[23]  Flávia Maria Santoro,et al.  Major Issues in Business Process Management: Key Concerns presented in Academy from a Brazilian Perspective , 2015 .

[24]  Rob J. Kusters,et al.  Process mining support for Capability Maturity Model Integration‐based software process assessment, in principle and in practice , 2014, J. Softw. Evol. Process..

[25]  Mário Antunes,et al.  Scalable Semantic Aware Context Storage , 2014, 2014 International Conference on Future Internet of Things and Cloud.

[26]  Jörg Becker,et al.  Semantic Business Process Modelling and Analysis , 2015, Handbook on Business Process Management.

[27]  Schahram Dustdar,et al.  Quality of Context: models and applications for context-aware systems in pervasive environments , 2014, The Knowledge Engineering Review.

[28]  Paolo Giorgini,et al.  GRAnD: A goal-oriented approach to requirement analysis in data warehouses , 2008, Decis. Support Syst..

[29]  Michele Amoretti,et al.  A simulation platform for large-scale internet of things scenarios in urban environments , 2014, Urb-IoT.

[30]  Jan Recker,et al.  Towards a Theoretical Framework for Organizational Innovation , 2013, PACIS.

[31]  Soo Dong Kim,et al.  A Variability Modeling Method for Adaptable Services in Service-Oriented Computing , 2007, 11th International Software Product Line Conference (SPLC 2007).

[32]  Michal Antkiewicz,et al.  Multi-level customization in application engineering , 2006, CACM.

[33]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[34]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[35]  Manfred Reichert,et al.  Enabling Flexibility in Process-Aware Information Systems , 2012, Springer Berlin Heidelberg.

[36]  Manfred Reichert,et al.  Lifecycle Management of Business Process Variants , 2015, Handbook on Business Process Management.

[37]  Marco Sinnema,et al.  COSVAM: a technique for assessing software variability in software product families , 2004, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..

[38]  Claudio Di Ciccio,et al.  Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches , 2015, Journal on Data Semantics.

[39]  Neil A. Ernst,et al.  Reasoning with Optional and Preferred Requirements , 2010, ER.

[40]  Marco Sinnema,et al.  Variability assessment in software product families , 2009, Inf. Softw. Technol..

[41]  Jan Mendling,et al.  Business Process Model Abstraction Based on Behavioral Profiles , 2010, ICSOC.

[42]  Shazia Wasim Sadiq,et al.  On managing business processes variants , 2009, Data Knowl. Eng..

[43]  Antonello Calabrò,et al.  Towards Business Process Execution Adequacy Criteria , 2016, SWQD.

[44]  Karthikeyan Ponnalagu,et al.  Towards a Variability Model for SOA-Based Solutions , 2010, 2010 IEEE International Conference on Services Computing.

[45]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[46]  Amit P. Sheth,et al.  Semantic Modelling of Smart City Data , 2014 .

[47]  Camille Salinesi,et al.  Supervised intentional process models discovery using Hidden Markov models , 2013, IEEE 7th International Conference on Research Challenges in Information Science (RCIS).

[48]  Mathias Weske,et al.  Efficient Consistency Measurement Based on Behavioral Profiles of Process Models , 2011, IEEE Transactions on Software Engineering.

[49]  Lianping Chen,et al.  Variability management in software product lines: a systematic review , 2009, SPLC.

[50]  Thomas Erl,et al.  Service-Oriented Architecture: Concepts, Technology, and Design , 2005 .

[51]  Manfred Reichert,et al.  Bridging the Gap between Business Process Models and Service Composition Specifications , 2012 .

[52]  Bernhard Bauer,et al.  Semantic-Based Planning of Process Models , 2008, Multikonferenz Wirtschaftsinformatik.

[53]  Johan Montagnat,et al.  Composing multiple variability artifacts to assemble coherent workflows , 2011, Software Quality Journal.

[54]  Colette Rolland,et al.  Method Enhancement with Scenario Based Techniques , 1999, CAiSE.

[55]  Aditya K. Ghose,et al.  Process SEER: A Tool for Semantic Effect Annotation of Business Process Models , 2009, 2009 IEEE International Enterprise Distributed Object Computing Conference.

[56]  Frank Puhlmann,et al.  Variability Mechanisms in E-Business Process Families , 2006, BIS.

[57]  Wil M. P. van der Aalst,et al.  Declarative workflows: Balancing between flexibility and support , 2009, Computer Science - Research and Development.

[58]  Dallas Snider,et al.  IBM Watson Analytics: Automating Visualization, Descriptive, and Predictive Statistics , 2016, JMIR public health and surveillance.

[59]  Jan Mendling,et al.  Linguistic Consistency of Goal Models , 2014, BMMDS/EMMSAD.

[60]  Yijun Yu,et al.  Requirements-Driven Design and Configuration Management of Business Processes , 2007, BPM.

[61]  Ricardo Seguel,et al.  Process Mining Manifesto , 2011, Business Process Management Workshops.

[62]  Prasant Misra,et al.  Towards a Practical Architecture for India Centric Internet of Things , 2014, ArXiv.

[63]  Giorgio Gallo,et al.  Directed Hypergraphs and Applications , 1993, Discret. Appl. Math..

[64]  Krzysztof Czarnecki,et al.  Cool features and tough decisions: a comparison of variability modeling approaches , 2012, VaMoS.

[65]  N. Day,et al.  Reducing CTL-live Model Checking to Semantic Entailment in First-Order Logic ( Version 1 ) , 2014 .

[66]  Karthikeyan Ponnalagu,et al.  Goal Oriented Variability Modeling in Service-Based Business Processes , 2013, ICSOC.

[67]  Amir Pnueli,et al.  A Deductive Proof System for CTL , 2002, CONCUR.

[68]  Oscar Pastor,et al.  GoBIS: An integrated framework to analyse the goal and business process perspectives in information systems , 2015, Inf. Syst..

[69]  John Mylopoulos,et al.  Simple and Minimum-Cost Satisfiability for Goal Models , 2004, CAiSE.

[70]  Vicente Pelechano,et al.  VIVACE: A framework for the systematic evaluation of variability support in process-aware information systems , 2015, Inf. Softw. Technol..

[71]  Antonio Puliafito,et al.  IoT4S: a new architecture to exploit sensing capabilities in smart cities , 2014, Int. J. Web Grid Serv..

[72]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[73]  Vicente Pelechano,et al.  Towards Run-Time Flexibility for Process Families: Open Issues and Research Challenges , 2012, Business Process Management Workshops.

[74]  Jacques Bouaud,et al.  Using Formal Concept Analysis to Discover Patterns of Non-compliance with Clinical Practice Guidelines: A Case Study in the Management of Breast Cancer , 2011, AIME.

[75]  Bernd Heinrich,et al.  Automated Planning of Process Models: The Constructions of Exclusive Choices , 2009, ICIS.

[76]  Liang-Jie Zhang,et al.  Variation-Oriented Analysis for SOA Solution Design , 2007, IEEE International Conference on Services Computing (SCC 2007).

[77]  Aditya K. Ghose,et al.  Auditing Business Process Compliance , 2007, ICSOC.

[78]  Christian Zirpins,et al.  On the Use of Feature Models for Service Design: The Case of Value Representation , 2010, ServiceWave Workshops.

[79]  Alex Thomo,et al.  Semantic Graph Compression with Hypergraphs , 2014, 2014 IEEE 28th International Conference on Advanced Information Networking and Applications.

[80]  Shashi Shekhar,et al.  Spatio-Temporal Sensor Graphs (STSG): A data model for the discovery of spatio-temporal patterns , 2009, Intell. Data Anal..

[81]  Remco M. Dijkman,et al.  Automatic Extraction of Process Categories from Process Model Collections , 2013, Business Process Management Workshops.

[82]  Peter Dadam,et al.  On enabling integrated process compliance with semantic constraints in process management systems , 2012, Inf. Syst. Frontiers.

[83]  Ganapati P. Patil,et al.  Ranking and Prioritization for Multi-indicator Systems , 2011 .

[84]  Luigi Pontieri,et al.  Discovering expressive process models by clustering log traces , 2006, IEEE Transactions on Knowledge and Data Engineering.

[85]  Karthikeyan Ponnalagu,et al.  Discovering and Deriving Service Variants from Business Process Specifications , 2008, ICSOC.

[86]  Johann Eder,et al.  Equivalence Transformations for the Design of Interorganizational Data-Flow , 2015, CAiSE.

[87]  Francesco Tiezzi,et al.  A Formal Account of WS-BPEL , 2008, COORDINATION.

[88]  Carole A. Goble,et al.  Seven Bottlenecks to Workflow Reuse and Repurposing , 2005, International Semantic Web Conference.

[89]  Karthikeyan Ponnalagu,et al.  Goal-Aligned Categorization of Instance Variants in Knowledge-Intensive Processes , 2015, BPM.

[90]  Ruth Sara Aguilar-Savén,et al.  Business process modelling: Review and framework , 2004 .

[91]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[92]  Yolande Berbers,et al.  SAMURAI: A Streaming Multi-tenant Context-Management Architecture for Intelligent and Scalable Internet of Things Applications , 2014, 2014 International Conference on Intelligent Environments.

[93]  F. Loesch,et al.  Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[94]  Aditya K. Ghose,et al.  Maintaining Motivation Models (in BMM) in the Context of a (WSDL-S) Service Landscape , 2012, ICSOC.

[95]  Marco Sinnema,et al.  Industrial validation of COVAMOF , 2008, J. Syst. Softw..

[96]  Michel Riveill,et al.  An Architecture to Support the Collection of Big Data in the Internet of Things , 2014, 2014 IEEE World Congress on Services.

[97]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[98]  Fabio Casati,et al.  Event correlation for process discovery from web service interaction logs , 2011, The VLDB Journal.

[99]  Wil M. P. van der Aalst,et al.  Change Mining in Adaptive Process Management Systems , 2006, OTM Conferences.

[100]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[101]  Premkumar T. Devanbu,et al.  Panning requirement nuggets in stream of software maintenance tickets , 2014, SIGSOFT FSE.

[102]  Saikat Mukherjee,et al.  Logic Based Approaches to Workflow Modeling and Verification , 2003, Logics for Emerging Applications of Databases.

[103]  Stefano Paraboschi,et al.  Designing data marts for data warehouses , 2001, TSEM.

[104]  Klaus Schmid,et al.  PuLSE: a methodology to develop software product lines , 1999, SSR '99.

[105]  Manfred Reichert,et al.  Supporting Ad-Hoc Changes in Distributed Workflow Management Systems , 2007, OTM Conferences.

[106]  Barbara Paech,et al.  Integrating business process simulation and information system simulation for performance prediction , 2017, Software & Systems Modeling.

[107]  Alan W. Brown,et al.  A Model-Driven Development Approach to Creating Service-Oriented Solutions , 2006, ICSOC.

[108]  Boualem Benatallah,et al.  Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processes , 2013, CAiSE.

[109]  Prasant Misra,et al.  Event Processing across Edge and the Cloud for Internet of Things Applications , 2014, COMAD.

[110]  André van der Hoek,et al.  Design-time product line architectures for any-time variability , 2004, Sci. Comput. Program..

[111]  Manfred Reichert,et al.  Discovering Reference Models by Mining Process Variants Using a Heuristic Approach , 2009, BPM.

[112]  Karthikeyan Ponnalagu,et al.  Goal-Driven Business Process Derivation , 2011, ICSOC.

[113]  Ali Arsanjani,et al.  Business Compilers: towards supporting a highly re-configurable architectural style for service-oriented architecture , 2002, OOPSLA '02.

[114]  Yijun Yu,et al.  From Goals to High-Variability Software Design , 2008, ISMIS.

[115]  M. Fiammante.  Dynamic SOA and BPM: Best Practices for Business Process Management and SOA Agility , 2009 .

[116]  MendlingJan,et al.  Efficient Consistency Measurement Based on Behavioral Profiles of Process Models , 2011 .

[117]  Hui Guo,et al.  Learning Ontologies to Improve the Quality of Automatic Web Service Matching , 2007, IEEE International Conference on Web Services (ICWS 2007).

[118]  Amit P. Sheth,et al.  The SSN ontology of the W3C semantic sensor network incubator group , 2012, J. Web Semant..

[119]  John Mylopoulos,et al.  Formal Reasoning Techniques for Goal Models , 2003, J. Data Semant..

[120]  Wil M. P. van der Aalst,et al.  A General Framework for Correlating Business Process Characteristics , 2014, BPM.

[121]  Jesús Manuel Almendros-Jiménez,et al.  Describing Use-Case Relationships with Sequence Diagrams , 2007, Comput. J..

[122]  Eng Chew,et al.  Towards a Consistent Cross-Disciplinary Ontology for Business Process , 2014, BMMDS/EMMSAD.

[123]  Boudewijn F. van Dongen,et al.  Mining Configurable Process Models from Collections of Event Logs , 2013, BPM.

[124]  Stan Jarzabek,et al.  XVCL: a mechanism for handling variants in software product lines , 2004, Sci. Comput. Program..

[125]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[126]  Lianping Chen,et al.  A systematic review of evaluation of variability management approaches in software product lines , 2011, Inf. Softw. Technol..

[127]  Matteo Golfarelli,et al.  The Dimensional Fact Model: A Conceptual Model for Data Warehouses , 1998, Int. J. Cooperative Inf. Syst..

[128]  Márcio de Oliveira Barros,et al.  Collaboration optimization in software process composition , 2015, J. Syst. Softw..

[129]  Jaejoon Lee,et al.  Combining Service-Orientation with Product Line Engineering , 2010, IEEE Software.

[130]  Karthikeyan Ponnalagu,et al.  Discovering and Categorizing Goal Alignments from Mined Process Variants , 2014, ICSOC Workshops.

[131]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007, 11th International Software Product Line Conference (SPLC 2007).

[132]  Wil M. P. van der Aalst,et al.  Process mining: a research agenda , 2004, Comput. Ind..