Advanced Information Systems Engineering

Case studies are detailed studies of a small number of real-world cases in order to understand the mechanisms that play a role in creating phenomena in the case. Case studies have been performed in the information systems discipline for at least twenty years. In this talk I will show what role case studies play in the problem investigation and artifact validation tasks of the design cycle, giving examples of the various kinds of case studies that can be used in these tasks: observational case studies, problem-driven action research, and technical action research. Second, I will discuss how not to generalize from case studies: by statistical inference or by variable-based similarity. This will clear the stage for how to generalize from case studies: by architectural similarity. In order not to raise expectations of generalizability too much, I will also indicate the limitations of this kind of generalization.

[1]  Remco M. Dijkman,et al.  The Road to a Business Process Architecture: An Overview of Approaches and their Use , 2011 .

[2]  Pär J. Ågerfalk,et al.  Rethinking the Meaning of Identifiers in Information Infrastructures , 2010, J. Assoc. Inf. Syst..

[3]  Alfons Laarman,et al.  Ontological Metamodeling with Explicit Instantiation , 2009, SLE.

[4]  Wil M. P. van der Aalst,et al.  Service Interaction: Patterns, Formalization, and Analysis , 2009, SFM.

[5]  Wolffried Stucky,et al.  A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization based on Petri Nets , 2005, APCCM.

[6]  Kenneth Holmqvist,et al.  Eye tracking: a comprehensive guide to methods and measures , 2011 .

[7]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[8]  Andy Evans,et al.  The Metamodelling Language Calculus: Foundation Semantics for UML , 2001, FASE.

[9]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[10]  Gerd Wagner,et al.  An Ontologically Well-Founded Profile for UML Conceptual Models , 2004, CAiSE.

[11]  Colin Atkinson,et al.  Processes and Products in a Multi-Level Metamodeling Architecture , 2001, Int. J. Softw. Eng. Knowl. Eng..

[12]  Daniela Weinberg,et al.  Efficient Controllability Analysis of Open Nets , 2009, WS-FM.

[13]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[14]  David G. Stork,et al.  Query Nets: Interacting Workflow Modules That Ensure Global Termination , 2003, Business Process Management.

[15]  Giancarlo Guizzardi,et al.  Towards Ontological Foundations for Agent Modelling Concepts Using the Unified Fundational Ontology (UFO) , 2004, AOIS.

[16]  Reiko Heckel,et al.  Compositional Modeling of Reactive Systems Using Open Nets , 2001, CONCUR.

[17]  Brian Henderson-Sellers,et al.  Modelling software development methodologies: A conceptual foundation , 2007, J. Syst. Softw..

[18]  John R. Anderson,et al.  Automated Eye-Movement Protocol Analysis , 2001, Hum. Comput. Interact..

[19]  Mathias Weske,et al.  Behavioral Consistency for B2B Process Integration , 2007, CAiSE.

[20]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[21]  Stewart Green,et al.  A framework for classifying and evaluating process architecture methods , 2005, Softw. Process. Improv. Pract..

[22]  Terry Halpin,et al.  Higher-Order Types and Information Modeling , 2005 .

[23]  Giancarlo Guizzardi,et al.  In Defense of a Trope-Based Ontology for Conceptual Modeling: An Example with the Foundations of Attributes, Weak Entities and Datatypes , 2006, ER.

[24]  Brandon C. Look,et al.  The Four-Category Ontology: A Metaphysical Foundation for Natural Science , 2007 .

[25]  Diomidis Spinellis,et al.  Where's My Jetpack? , 2008, IEEE Software.

[26]  Andy Evans,et al.  Mapping between Levels in the Metamodel Architecture , 2001, UML.

[27]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[28]  Remco M. Dijkman,et al.  Petri Net Transformations for Business Processes - A Survey , 2009, Trans. Petri Nets Other Model. Concurr..

[29]  Laura Chamberlain Eye Tracking Methodology; Theory and Practice , 2007 .

[30]  Martin Höst,et al.  Managing Quality Requirements: A Systematic Review , 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.

[31]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[32]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[33]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[34]  Tony Gorschek,et al.  Quality Requirements in Industrial Practice—An Extended Interview Study at Eleven Companies , 2012, IEEE Transactions on Software Engineering.

[35]  Pierre Cointe Metaclasses are first class: The ObjVlisp Model , 1987, OOPSLA 1987.

[36]  Remco M. Dijkman,et al.  Business Process Architecture: Use and Correctness , 2012, BPM.

[37]  Jan Mendling,et al.  Empirical Studies in Process Model Verification , 2009, Trans. Petri Nets Other Model. Concurr..

[38]  Luís Ferreira Pires,et al.  An ontology-based approach for evaluating the domain appropriateness and comprehensibility appropriateness of modeling languages , 2005, MoDELS'05.

[39]  Kun Yang,et al.  An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS , 2007, ECMDA-FA.

[40]  Terry A. Halpin,et al.  Information modeling and relational databases (2. ed.) , 2008 .

[41]  David W. Hosmer,et al.  Applied Logistic Regression , 1991 .

[42]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[43]  Tony Clark,et al.  Software language engineering with XMF and XModeler , 2013 .

[44]  Bobby Woolf The Type Object Pattern , 2005 .