Domain Engineering

The term domain engineering has different meanings. In software engineering it is used for describing the software relevant features of the domain for which software is developed. In general the term de notes the act of creating the domain itself, including its artifacts. The paper a rgues that the use of the term in software engineering is not a happy choice and cont ributes to the terminological confusion often observed when disciplines meet in multi-disciplinary projects.

[1]  Klaus Pohl,et al.  Documenting Application-Specific Adaptations in Software Product Line Engineering , 2008, CAiSE.

[2]  Gregory Levitin,et al.  A Genetic Algorithm with a Compact Solution Encoding for the Container Ship Stowage Problem , 2002, J. Heuristics.

[3]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[4]  Michael Jackson,et al.  The meaning of requirements , 1997, Ann. Softw. Eng..

[5]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[6]  H. Van Dyke Parunak,et al.  Modeling agent organizations using roles , 2003, Software & Systems Modeling.

[7]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[8]  Mohamed Mancona Kandé,et al.  A concern-oriented approach to software architecture , 2003 .

[9]  Dines Bjørner,et al.  Software Engineering, vol 2: Specification of Systems and Languages , 2006 .

[10]  Martin L. Griss.  Implementing Product-line features by composing aspects , 2000, SPLC.

[11]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[12]  Michel Coriat,et al.  The SPLIT method: building product lines for software-intensive systems , 2000 .

[13]  Martin L. Griss,et al.  Integrating feature modeling with the RSEB , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[14]  Jon Siegel,et al.  OMG overview: CORBA and the OMA in enterprise computing , 1998, CACM.

[15]  Margaret Law,et al.  Glossary of Software Reuse Terms , 1994 .

[16]  J. van Katwijk,et al.  Reflections on reusable software and software components , 1987 .

[17]  Karl Lieberherr,et al.  Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns , 1995 .

[18]  S. Toulmin,et al.  Philosophy of Science , 1970, The British Journal for the History of Science.

[19]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[20]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[21]  Iris Groher,et al.  Generating Aspect Code from UML Models , 2003 .

[22]  Anne Elisabeth Haxthausen,et al.  The Logic of the RAISE Specification Language , 2003, Comput. Artif. Intell..

[23]  Tzilla Elrad,et al.  Aspect-oriented programming: Introduction , 2001, CACM.

[24]  Daniel L. Moody,et al.  The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering , 2009, IEEE Transactions on Software Engineering.

[25]  David M. Weiss,et al.  Software Product Line Engineering , 2005, SEKE.

[26]  Krzysztof Czarnecki,et al.  Generative Programming , 2001, ECOOP Workshops.

[27]  M. Morisio,et al.  Extending UML to support domain analysis , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[28]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

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

[30]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[31]  Bogdan Franczyk,et al.  EXTENDING THE UML FOR MODELLING VARIABILITY FOR SYSTEM FAMILIES , 2002 .

[32]  Mathieu Acher,et al.  Comparing Approaches to Implement Feature Model Composition , 2010, ECMFA.

[33]  Keng Siau,et al.  Informational and Computational Equivalence in Comparing Information Modeling Methods , 2004, J. Database Manag..

[34]  João Araújo,et al.  aspect- oriented pr ogramming , 2006 .

[35]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[36]  Eugene C. Luschei,et al.  The logical systems of Lesniewski , 1962 .

[37]  Stephan Herrmann,et al.  Composable Designs with UFA , 2007 .

[38]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[39]  Dines Bjørner.  Software Engineering 1 - Abstraction and Modelling , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[40]  Ruzanna Chitchyan,et al.  Survey of Aspect-Oriented Analysis and Design Approaches , 2015 .

[41]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[42]  Magnus Boman,et al.  Conceptual modelling , 1997 .

[43]  Jesús Sánchez Cuadrado,et al.  A Model-Based Approach to Families of Embedded Domain-Specific Languages , 2009, IEEE Transactions on Software Engineering.

[44]  M. Wimmer,et al.  A Survey on Aspect-Oriented Modeling Approaches , 2006 .

[45]  Tzilla Elrad,et al.  A UML Profile for Aspect Oriented Modeling , 2001 .

[46]  Marian Petre,et al.  Why looking isn't always seeing: readership skills and graphical programming , 1995, CACM.

[47]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[48]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[49]  David Harel,et al.  On visual formalisms , 1988, CACM.

[50]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[51]  William B. Frakes,et al.  Software reuse research: status and future , 2005, IEEE Transactions on Software Engineering.

[52]  Brian Henderson-Sellers,et al.  Ontological Evaluation of the UML Using the Bunge–Wand–Weber Model , 2002, Software and Systems Modeling.

[53]  Marco Sinnema,et al.  Classifying variability modeling techniques , 2007, Inf. Softw. Technol..

[54]  Mordecai Avriel,et al.  Stowage planning for container ships to reduce the number of shifts , 1998, Ann. Oper. Res..

[55]  F. V. D. Rhee,et al.  Knowledge based fuzzy control of systems , 1990 .

[56]  Yijun Yu,et al.  From goals to aspects: discovering aspects from requirements goal models , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[57]  S. Meier,et al.  Visualizing Product Line Domain Variability by Aspect-Oriented Modeling , 2007, Second International Workshop on Requirements Engineering Visualization (REV 2007).

[58]  Brian Henderson-Sellers,et al.  Utilizing Dynamic Roles for Agents , 2009, J. Object Technol..

[59]  Robert D. Tennent,et al.  Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.

[60]  Awais Rashid,et al.  From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation , 2005, MoDELS.

[61]  Robert B. France,et al.  Directives for Composing Aspect-Oriented Design Class Models , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[62]  Lidia Fuentes,et al.  Designing and Weaving Aspect-Oriented Executable UML Models , 2007, J. Object Technol..

[63]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[64]  Wolfgang Reisig,et al.  The Expressive Power of Abstract-State Machines , 2003, Comput. Artif. Intell..

[65]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[66]  Alan W. Brown,et al.  The Current State , 2016 .

[67]  K. V. Ramani.  An Interactive Simulation Model for the Logistics Planning of Container Operations in Seaports , 1996, Simul..

[68]  Shmuel Katz,et al.  A concern architecture view for aspect-oriented software design , 2007, Software & Systems Modeling.

[69]  Akio Imai,et al.  Multi-objective simultaneous stowage and load planning for a container ship with container rehandle in yard stacks , 2006, Eur. J. Oper. Res..

[70]  I. D. Wilson,et al.  Container stowage planning: a methodology for generating computerised solutions , 2000, J. Oper. Res. Soc..

[71]  R. Stärk,et al.  Abstract State Machines , 2003, Springer Berlin Heidelberg.

[72]  Jorge J. Gómez-Sanz,et al.  The INGENIAS Methodology and Tools , 2005 .

[73]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[74]  Klaus Pohl,et al.  Communicating the variability of a software-product family to customers , 2004, Informatik Forschung und Entwicklung.

[75]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[76]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[77]  Jordan B. Peterson.  The Meaning of Meaning , 2007 .

[78]  Helen M. Edwards,et al.  Problem frames: analyzing and structuring software development problems , 2002, Softw. Test. Verification Reliab..

[79]  Michael Jackson,et al.  Problems and requirements [software development] , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[80]  Steffen Staab,et al.  On marrying ontological and metamodeling technical spaces , 2007, ESEC-FSE '07.

[81]  Jos van Hillegersberg,et al.  Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams , 2009, SLE.

[82]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[83]  Carlos José Pereira de Lucena,et al.  Generating Aspect-Oriented Agent Architectures , 2004 .

[84]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[85]  A. Treisman.  Perceptual grouping and attention in visual search for features and for objects. , 1982, Journal of experimental psychology. Human perception and performance.

[86]  Stefan Hanenberg,et al.  Expressing different conceptual models of join point selections in aspect-oriented design , 2006, AOSD.

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

[88]  Michael Winikoff,et al.  Simplifying the Development of Intelligent Agents , 2001, Australian Joint Conference on Artificial Intelligence.

[89]  Rubén Prieto-Díaz,et al.  Module interconnection languages , 1986, J. Syst. Softw..

[90]  G. Winskel.  The formal semantics of programming languages , 1993 .

[91]  James E. Rumbaugh,et al.  Notation Notes: Principles for Choosing Notation , 1996, J. Object Oriented Program..

[92]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[93]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[94]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[95]  Mordecai Avriel,et al.  Container ship stowage problem: complexity and connection to the coloring of circle graphs , 2000, Discret. Appl. Math..

[96]  Ernst-Rüdiger Olderog,et al.  Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship , 2005 .

[97]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[98]  Ivar Jacobson,et al.  Software Reuse: Architecture, Process And Organization For Business Success , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[99]  Bogdan Franczyk,et al.  EXTENDING THE UML TO MODEL SYSTEM FAMILIES , 2000 .

[100]  Stephan Merz,et al.  On the Logic of TLA+ , 2003, Comput. Artif. Intell..

[101]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[102]  Dines Bjørner.  Domains, requirements, and software design , 2006 .

[103]  M. Clauß,et al.  Modeling variability with UML , 2001 .

[104]  Matthias Clauss,et al.  Generic Modeling using UML extensions for variability , 2001 .

[105]  Pamela Samuelson.  Digital Rights Management {and, or, vs.} the Law , 2003 .

[106]  Iris Reinhartz-Berger,et al.  Facilitating Reuse by Specialization of Reference Models for Business Process Design , 2007 .

[107]  Itana Maria de Souza Gimenes,et al.  A variability management process for software product lines , 2005, CASCON.

[108]  Tzilla Elrad,et al.  Weaving With Statecharts , 2002 .

[109]  Michael Jackson,et al.  Problems, methods and specialisation , 1994, Softw. Eng. J..

[110]  Jonathan P. Bowen,et al.  Z Logic and its Consequences , 2003, Comput. Artif. Intell..

[111]  James Odell,et al.  Power Types , 1994, J. Object Oriented Program..

[112]  Don Batory,et al.  From Crosscutting Concerns to Product Lines : A Function Composition Approach , 2006 .

[113]  Iris Reinhartz-Berger,et al.  Enhancing UML Models: A Domain Analysis Approach , 2008, J. Database Manag..

[114]  Tetsuo Tamai,et al.  CAFE: An Industrial-Strength Algebraic Formal Method , 2000 .

[115]  Iris Reinhartz-Berger,et al.  Experimenting with the Comprehension of Feature-Oriented and UML-Based Core Assets , 2011, BMMDS/EMMSAD.

[116]  Yasuhito Arimoto,et al.  A Family of License Languages , 2007 .

[117]  Dines Bjørner,et al.  Software Engineering, vol. 1: Abstraction and Modelling , 2006 .

[118]  Siobhán Clarke,et al.  Extending standard UML with model composition semantics , 2002, Sci. Comput. Program..

[119]  Paul Clements,et al.  Variability in Software Product Lines , 2005 .

[120]  Iris Groher,et al.  XWeave: models and aspects in concert , 2007, AOM@AOSD.

[121]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..

[122]  Murali Sitaraman,et al.  Foundations of component-based systems , 2000 .

[123]  Zhou Chaochen,et al.  Duration Calculus: A Formal Approach to Real-Time Systems , 2004 .

[124]  H. Van Dyke Parunak,et al.  The Role of Roles in Designing Effective Agent Organizations , 2002, SELMAS.

[125]  Jan Mendling,et al.  The Impact of Secondary Notation on Process Model Understanding , 2009, PoEM.

[126]  Iris Vessey,et al.  Cognitive Fit: A Theory‐Based Analysis of the Graphs Versus Tables Literature* , 1991 .

[127]  Sooyong Park,et al.  Combining feature-oriented analysis and aspect-oriented programming for product line asset development , 2006, 10th International Software Product Line Conference (SPLC'06).

[128]  Paul A. Roach,et al.  Container stowage pre-planning: using search to generate solutions, a case study , 2001, Knowl. Based Syst..

[129]  Jean Vanderdonckt,et al.  Evaluating a graphical notation for modelling software development methodologies , 2012, J. Vis. Lang. Comput..

[130]  Jan Bosch,et al.  A taxonomy of variability realization techniques , 2005, Softw. Pract. Exp..

[131]  Brice Morin,et al.  Weaving Aspect Configurations for Managing System Variability , 2008, VaMoS.

[132]  H. Kaiya,et al.  On Relationships among Models , Meta Models and Ontologies , 2006 .

[133]  Erik P. de Vink,et al.  Control flow semantics , 1996 .

[134]  Hassan Gomaa,et al.  Modeling variability in software product lines with the variation point model , 2004, Sci. Comput. Program..

[135]  J. Sadock.  Speech acts , 2007 .

[136]  Jochen Klose,et al.  An Automata Based Interpretation of Live Sequence Charts , 2001, TACAS.

[137]  Steffen Staab,et al.  OntoDSL: An Ontology-Based Framework for Domain-Specific Languages , 2009, MoDELS.

[138]  Yngve Lamo,et al.  Formalising Metamodel Evolution based on Category Theory , 2011 .

[139]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[140]  C LuckhamDavid,et al.  Specification and Analysis of System Architecture Using Rapide , 1995 .

[141]  Martha E. Crosby,et al.  The effect of graphic style on data model interpretation , 1999, Inf. Syst. J..

[142]  Iris Groher,et al.  Aspect-Orientation from Design to Code , 2004 .

[143]  James Withey.  Investment Analysis of Software Assets for Product Lines. , 1996 .

[144]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[145]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[146]  S. Lang,et al.  Collected Papers V , 2001 .

[147]  Stefan Hanenberg,et al.  A UML-based aspect-oriented design notation for AspectJ , 2002, AOSD '02.

[148]  Dines Bjørner.  Software Engineering 2 - Specification of Systems and Languages , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[149]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[150]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[151]  Dines Bjørner,et al.  Software Engineering, vol. 3: Domains, Requirements and Software Design , 2006 .

[152]  Anne Elisabeth Haxthausen,et al.  Casl - The Common Algebraic Specification Language: Semantics and Proof Theory , 2003, Comput. Artif. Intell..

[153]  Riccardo Pucella,et al.  A logic for reasoning about digital rights , 2002, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.

[154]  Razvan Diaconescu,et al.  Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification , 1998, AMAST Series in Computing.

[155]  Carl A. Gunter,et al.  Models and languages for digital rights , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[156]  Dines Bjørner,et al.  Logics of Specification Languages , 2007, Monographs in Theoretical Computer Science. An EATCS Series.

[157]  Kazuhiro Ogata,et al.  CafeOBJ: Logical Foundations and Methodologies , 2003, Comput. Artif. Intell..

[158]  Jacques Klein,et al.  Weaving Multiple Aspects in Sequence Diagrams , 2007, LNCS Trans. Aspect Oriented Softw. Dev..

[159]  Iris Reinhartz-Berger,et al.  Utilizing domain models for application design and validation , 2009, Inf. Softw. Technol..

[160]  Dirk Muthig,et al.  An Evaluation of Aspect-Oriented Programming as a Product Line Implementation Technology , 2004, ICSR.

[161]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[162]  Stefan Voß,et al.  Container terminal operation and operations research - a classification and literature review , 2004, OR Spectr..

[163]  Michael Jackson,et al.  Principles of program design , 1975 .

[164]  James W. Hooper,et al.  Software Reuse: Guidelines and Methods , 1991 .

[165]  M. Sharp,et al.  What Has Been Achieved , 1998 .

[166]  C. A. R. Hoare,et al.  A Calculus of Durations , 1991, Inf. Process. Lett..

[167]  Robert B. France,et al.  A UML-based language for specifying domain-specific patterns , 2004, J. Vis. Lang. Comput..