Birger Møller-Pedersen

• Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2018). This is not a model : On development of a common terminology for modeling and programming. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  11244 LNCS, s 206- 224 . doi: 10.1007/978-3-030-03418-4_13
• Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas (2016). Modelling of Systems for Real, In Slimane Hammoudi; Luís Ferreira Pires; Bran Selic & Philippe Desfray (ed.),  Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.  SciTePress.  ISBN 978-989-758-168-7.  kapittel.  s 427 - 434
• Prinz, Andreas; Møller-Pedersen, Birger & Fischer, Joachim (2016). Modelling and testing of real systems. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  9953 LNCS, s 119- 130 . doi: 10.1007/978-3-319-47169-3_9
• Prinz, Andreas; Møller-Pedersen, Birger & Fischer, Joachim (2016). Object-oriented operational semantics. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  9959 LNCS, s 132- 147 . doi: 10.1007/978-3-319-46613-2_9
• Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2015). Combined Modelling and Programming Support for Composite States and Extensible State Machines, In Slimane Hammoudi; Luis Ferreira Pires; Philippe Desfray & Joaquim Filipe (ed.),  MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015.  SciTePress.  ISBN 978-989-758-083-3.  kapittel.  s 231 - 238
• Berg, Henning & Møller-Pedersen, Birger (2015). Metamodel and model composition by integration of operational semantics. Communications in Computer and Information Science.  ISSN 1865-0929.  580, s 172- 189 . doi: 10.1007/978-3-319-27869-8_10
• Berg, Henning & Møller-Pedersen, Birger (2015). Specialisation of metamodels using metamodel types. Communications in Computer and Information Science.  ISSN 1865-0929.  506, s 84- 99 . doi: 10.1007/978-3-319-25156-1_6
• Berg, Henning & Møller-Pedersen, Birger (2015). Towards Non-Intrusive Composition of Executable Models, In Slimane Hammoudi; Luis Ferreira Pires; Philippe Desfray & Joaquim Filipe (ed.),  MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015.  SciTePress.  ISBN 978-989-758-083-3.  Artikkel.  s 111 - 121
• Berg, Henning & Møller-Pedersen, Birger (2014). Typing and Subtyping of Metamodels, In Luís Ferreira Pires; Slimane Hammoudi; Joaquim Filipe & Rui César das Neves (ed.),  MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014.  SciTePress.  ISBN 978-9-8975-8065-9.  kapittel.  s 111 - 118
• Zhang, Weiqing & Møller-Pedersen, Birger (2014). Modeling of Tool Integration Resources with OSLC Support, In Luís Ferreira Pires; Slimane Hammoudi; Joaquim Filipe & Rui César das Neves (ed.),  MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014.  SciTePress.  ISBN 978-9-8975-8065-9.  kapittel.  s 99 - 110
• Berg, Henning & Møller-Pedersen, Birger (2013). Type-Safe Symmetric Composition of Metamodels Using Templates, In Øystein Haugen; Rick Reed & Reinhard Gotzhein (ed.),  System Analysis and Modeling: Theory and Practise.  Springer.  ISBN 978-3-642-36756-4.  10.  s 160 - 178
• Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger (2013). A collection operator for graph transformation. Journal of Software and Systems Modeling.  ISSN 1619-1366.  12(1), s 121- 144 . doi: 10.1007/s10270-011-0190-3 Vis sammendrag

  Algebraic graph transformation has a wellestablished theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and transform collections of similar subgraphs makes graph transformation complex or even impractical to use in a number of transformation cases. This is addressed in this paper, by defining a collection operator which is powerful, yet simple to model and understand. A rule can contain multiple collection operators, each with lower and upper bound cardinalities, and the collection operators can be nested. An associated matching process dynamically builds a collection free rule that enables us to reuse the existing graph transformation apparatus. We present model transformation examples from different modeling domains to illustrate the benefit of the approach.

• Grønmo, Roy; Runde, Ragnhild Kobro & Møller-Pedersen, Birger (2013). Confluence of aspects for sequence diagrams. Journal of Software and Systems Modeling.  ISSN 1619-1366.  12(4), s 789- 824 . doi: 10.1007/s10270-011-0212-1 Vis sammendrag

  The last decade has seen several aspect language proposals for UML 2 sequence diagrams. Aspects allow the modeler to define crosscutting concerns of sequence diagrams and to have these woven with the sequence diagrams of a so-called base model, in order to create a woven model. In a real-world scenario, there may be multiple aspects applicable to the same base model. This raises the need to analyse the set of aspects to identify possible aspect interactions (dependencies and conflicts) between applications of aspects. We call a set of aspects terminating if they may not be applied infinitely many times for any given base model. Furthermore, we call a set of terminating aspects confluent, if they, for any given base model, always yield the same final result regardless of the order in which they are applied. Since confluence must hold for any base model, this is a much stronger result than many of the current approaches that have addressed detection of aspect interactions limited to a specific base model. Our aspects are specified using standard sequence diagrams with some extensions. In this paper, we present a confluence theory specialized for our highly expressive aspect language. For the most expressive aspects, we prove that confluence is undecidable. For another class of aspects with considerable expressiveness, we prescribe an algorithm to check confluence. This algorithm is based on what we call an extended critical pair analysis. These results are useful both for modelers and researchers working with sequence diagram aspects and for researchers wanting to establish a confluence theory for other aspect-oriented modelling or model transformation approaches.

• Møller-Pedersen, Birger (2013). Models '67 Revisited, In Øystein Haugen; Rick Reed & Reinhard Gotzhein (ed.),  System Analysis and Modeling: Theory and Practise.  Springer.  ISBN 978-3-642-36756-4.  Kapittel.
• Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui (2012). Standardizing Variability - Challenges and Solutions. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  7083, s 233- 246 . doi: 10.1007/978-3-642-25264-8_18 Vis sammendrag

  Any modeling language can be said to model variability, but our concern is how variability can be expressed generically and thus be standardized on its own and not as an add-on or profile to other languages. In product line engineering feature modeling has been applied to express variants of product models. This paper shows how the Common Variability Language can be designed to enhance feature modeling and automate the production of product models from a product line model.

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2012). Using Variability Models to Reduce Verification Effort of Train Station Models, In . NN (ed.),  18th Asia Pacific Software Engineering Conference (APSEC), 2011, Ho Chi Minh, 5-8 Dec. 2011.  IEEE conference proceedings.  ISBN 978-1-4577-2199-1.  Session 4C: Program Analysis.  s 348 - 356 Vis sammendrag

  We show how the effort needed to verify a transformed base model can be reduced by analyzing the definition of the modification. The Common Variability Language (CVL) is a generic language for modeling variability, where a CVL model describes the increment from one base model to another (transformed) base model. Assuming that a property of the base model has been verified, we use the CVL model to reduce the effort needed to verify the property of the transformed model. Based on the CVL model, we narrow down the set of traces required to be verified, including the increment and the cascading effects. We apply CVL to several models of the Train Control Language (TCL) to illustrate how the effort of verifying safety properties of transformed train station models can be reduced

• Axelsen, Eyvind Wærsted; Sørensen, Fredrik; Krogdahl, Stein & Møller-Pedersen, Birger (2012). Challenges in the Design of the Package Template Mechanism. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  7271, s 268- 305 . doi: 10.1007/978-3-642-35551-6_7
• Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar & Stølen, Ketil (2012). DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. Lecture Notes in Electrical Engineering.  ISSN 1876-1100.  114, s 93- 104 . doi: 10.1007/978-94-007-2792-2_9 Vis sammendrag

  Information systems are ever more connected to the Internet, which gives wide opportunities for interacting with other actors, systems and resources and for exploiting the open and vast marked. This pushes the limits for security mechanisms which in general are too rigorous to fully adapt to such a dynamic and heterogeneous environment. Trust mechanisms can supplement the security mechanisms in this situation to reduce the risk by means of trusted evidences. We propose DeSPoT, a method for the development and specification of policies for trust negotiation. DeSPoT is created to be easy to use for business level experts, yet demonstrated in an industrial study to be useful for those who develop and maintain the system conducting trust negotiation within acceptable risk. Adherence to a DeSPoT policy should ensure that the target fulfills the organizational level requirements to the trust behavior, and that the target is not exposed to unacceptable risk. The paper gives an example-driven presentation of the method.

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2012). Specifying a Testing Oracle for Train Stations – Going beyond with Product Line Technology. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  7167, s 187- 201 . doi: 10.1007/978-3-642-29645-1_20 Vis sammendrag

  This paper presents an approach for automatically generating a testing oracle for train stations. Based on a model of a train station and a formal definition of the behavior of the station, Alloy is used to generate all positive traces from a given situation. By specifying the precondition (test input), a simulation of the station model gives all legal train movement from this state, which defines the testing oracle. This oracle can be used for checking the result of testing the implementation of the station by comparing the train movement from the test with the legal train movement specified by the oracle. We suggest a prototype implementation based on the Train Control Language and give an example oracle for a typical test-case. Furthermore, we elaborate on the benefits of using product line technology, given by the Common Variability Language, to reduce the analysis effort necessary to obtain the oracle for product models

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2012). Synthesizing Software Models: Generating Train Station Models Automatically. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  7083, s 38- 53 . doi: 10.1007/978-3-642-25264-8_5 Vis sammendrag

  This paper presents an approach for automatic synthesis of software models. Software models are increasingly being used for representing software applications at a high abstraction level, and source code can usually be generated from these models. Creating application models can be a tedious task, and thus the presented approach automates this task. Based on a formal definition of the domain-specific language (DSL) and user-defined properties, we generate intended application models. These models can then be subject to further manual extensions or used as is. The approach is illustrated by a DSL from the train domain, and the automatic synthesis of train station models.

• Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Towards Evolution of Generic Variability Models. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  7167, s 53- 67 . doi: 10.1007/978-3-642-29645-1_8 Vis sammendrag

  We present an approach for evolving separate variability models when the associated base model is altered. The Common Variability Language (CVL) is a generic language for modeling variability in base models. The base models are oblivious to the associated variability models, causing additional challenges to this association when the base models are maintained. Assuming that a base model has been changed, we suggest using CVL to record this change. Further analysis of this CVL model reveals the impact of the change, an may in some cases result in automatic evolution of the variability model corresponding to the changed base model. We illustrate and discuss the approach using an example from the train domain.

• Zhang, Weiqing; Møller-Pedersen, Birger & Biehl, Matthias (2012). Light-weight Tool Integration Approach -- From a Tool Integration Model to OSLC Integration Services, In Slimane Hammoudi; Marten van Sinderen & José Cordeiro (ed.),  Proceedings of ICSOFT 2012.  Institute for Systems and Technologies of Information, Control and Communication.  ISBN 978-989-8565-19-8.  MODELS Session.  s 137 - 146
• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Augmenting Product Lines, In  2012 19th Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, 4-7 Dec. 2012.  IEEE conference proceedings.  ISBN 978-1-4673-4930-7.  Artikkel.  s 766 - 771 Vis sammendrag

  This paper presents a generic approach for automating the augmentation of product lines using model comparison and variability modeling techniques. Product lines are subject to frequent augmentation to include more products. Our approach aims to reduce manual effort involved in this process by automatically suggesting a tentative augmented product line model, which can serve as a baseline for the final product line. The Common Variability Language (CVL), a generic variability modeling language, is used to specify product lines in this approach. The approach applies CVL Compare, a generic approach for automating the synthesis of a CVL-based product line from a set of existing product models. The approach is illustrated with an example from a train control product line.

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Analyzing Variability: Capturing Semantic Ripple Effects. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  6698, s 253- 269 . doi: 10.1007/978-3-642-21470-7_18 Vis sammendrag

  This paper shows how to incrementally analyze how variability described in the Common Variability Language (CVL) affects the semantics of a model in a domain-specific language (DSL). CVL is a generic language for modeling variability. Using Alloy for definition of semantics we perform analysis to capture the elements in the model, which are semantically affected by applying the variabilities specified by the CVL model. An extension to the CVL editor is provided to automate the analysis. To illustrate the approach, we combine CVL with the Train Control Language (TCL) to capture how the semantics of TCL models are affected when applying CVL to them. We show how the analysis can be applied e.g., for testing. DOI: 10.1007/978-3-642-21470-7_18

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Specifying a Testing Oracle for Train Station, In Stephan Weißleder; Levi Lúcio; Harald Cichos & Frédéric Fondement (ed.),  MoDeVVa : Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0914-1.  Article no. 5. Vis sammendrag

  This paper presents an approach for automatically generating a testing oracle for train stations. Based on a model of a train station and a formal definition of the behavior of the station, Alloy is used to generate all positive traces from a given situation. By specifying the precondition (test input), a simulation of the station model gives all legal train movement from this state, which defines the testing oracle. This oracle can be used for checking the result of testing the implementation of the station by comparing the train movement from the test with the legal train movement specified by the oracle. We suggest a prototype implementation based on the Train Control Language and give an example oracle for a typical test-case.

• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Model Comparison to Synthesize a Model-Driven Software Product Line, In . NN (ed.),  15th International Software Product Line Conference (SPLC): Munich 22-26 Aug. 2011.  IEEE conference proceedings.  ISBN 978-1-4577-1029-2.  Artikkel.  s 90 - 99 Vis sammendrag

  Current model-driven software product line development is mostly based on feature/variability modeling techniques, however, we see the potential for automatic assistance in identifying the commonality and variability of a set of models within the domain and synthesizing the product line model based on those. This paper presents a generic approach for synthesizing a software product line using model comparison. For model difference detection, the approach applies EMF Compare, a generic model comparison tool. For specifying the variability, the approach applies the Common Variability Language (CVL), a generic language for expressing variability. The SPL developer starts with comparing the existing potential product models in order to identify reusable assets (model fragments). Our tool prototype CVL Compare detects the difference between the existing product models and performs higher-order comparisons to explore the commonality and variability of the domain. Based on the comparison results, a preliminary product line model (CVL model) can be automatically induced and the SPL developer may further enhance the product line model. The approach is illustrated with an example of train control product line

• Berg, Henning; Møller-Pedersen, Birger & Krogdahl, Stein (2011). Application of Advanced Programming Concepts in Metamodelling, In  Norsk Informatikkonferanse NIK 2011.  Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  Application of Advanced Programming Concepts in Metamodelling.  s 207 - 218
• Grønmo, Roy & Møller-Pedersen, Birger (2011). From UML 2 Sequence Diagrams to State Machines by Graph Transformation. Journal of Object Technology.  ISSN 1660-1769.  10(8), s 1- 22 . doi: 10.5381/jot.2011.10.1.a8 Vis sammendrag

  Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The specification of the transformation rules is based on the concrete syntax of sequence diagrams and state machines. We introduce tailored transformation support for sequence diagrams and a novel graphical operator to match and transform combined fragments

• Møller-Pedersen, Birger (2011). Scandinavian Contributions to Object-Oriented Modeling Languages, In John Impagliazzo,; Per Lundin & Benkt Wangler (ed.),  History of Nordic Computing 3.  Springer.  ISBN 978-3-642-23314-2.  18.
• Zhang, Weiqing; Møller-Pedersen, Birger & Kai, T. Hansen (2011). Metamodel-based Tool Integration, In  Norsk Informatikkonferanse NIK 2011.  Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  innhold.  s 251 - 254
• Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, Roy; Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger & Olsen, Gøran Klepp (2010). Developing a Software Product Line for Train Control: A Case Study of CVL. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  6287, s 106- 120
• Axelsen, Eyvind Wærsted; Krogdahl, Stein & Møller-Pedersen, Birger (2010). Controlling Dynamic Module Composition through an Extensible Meta-Level API. SIGPLAN notices.  ISSN 0362-1340.  45(12), s 81- 95
• Axelsen, Eyvind Wærsted; Krogdahl, Stein & Møller-Pedersen, Birger (2010). Controlling Dynamic Module Composition through an Extensible Meta-Level API, In William D. Clinger (ed.),  Proceedings of the 6th symposium on Dynamic languages.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-0405-4.  SESSION: Experience with dynamic features.  s 81 - 96
• Grønmo, Roy & Møller-Pedersen, Birger (2010). From Sequence Diagrams to State Machines by Graph Transformation, In Tratt Laurence & Martin Gogolla (ed.),  Theory and Practice of Model Transformations, Third International Conference, ICMT 2010.  Springer.  ISBN 978-3-642-13687-0.  kapitel.  s 93 - 107
• Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2010). A Unified Approach to Modeling and Programming, In Dorina C. Petriu; Nicolas Rouquette & Øystein Haugen (ed.),  Model Driven Engineering Languages and Systems.  Springer.  ISBN 978-3-642-16144-5.  kapitel.  s 1 - 15
• Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, R.; Fleurey, Frank; Haugen, Øystein; Møller-Pedersen, Birger & Olsen, Gøran K. (2010). Developing a Software Product Line for Train Control: A Case Study of CVL, In Jan Bosch & Jaejoon Lee (ed.),  Software Product Lines: Going Beyond. 14th International Conference, SPLC 2010.  Springer.  ISBN 978-3-642-15578-9.  kapitel.  s 106 - 120
• Oldevik, Jon; Haugen, Øystein & Møller-Pedersen, Birger (2009). Confluence in Domain-Independent Product Line Transformations, In Marsha Chechik (ed.),  Fundamental Approaches to Software Engineering.  Springer.  ISBN 978-3-642-00592-3.  3.  s 34 - 48
• Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger (2009). A Collection Operator for Graph Transformation, In Richard F. Paige (ed.),  Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings.  Springer.  ISBN 978-3-642-02407-8.  artikkel.  s 67 - 82
• Grønmo, Roy; Møller-Pedersen, Birger & Olsen, Gøran Klepp (2009). Comparison of Three Model Transformation Languages, In Richard F. Paige; Alan Hartman & Arend Rensink (ed.),  Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings.  Springer.  ISBN 978-3-642-02673-7.  artikkel.  s 2 - 17
• Haavaldsrud, Tormod & Møller-Pedersen, Birger (2009). Nested and Specialized Associations, In Stephanie Balzer; Gavin Bierman; Stephen Nelson & Frank Tip (ed.),  Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages.  Association for Computing Machinery (ACM).  ISBN 978-1-60558-549-9.  kapitel.
• Johansen, Martin Fagereng & Møller-Pedersen, Birger (2009). Frameworks and Static-Semantic Analysis, In Trond Aalberg (ed.),  Norsk informatikkonferanse NIK 2009.  Tapir Akademisk Forlag.  ISBN 978-82-519-2491-7.  3.  s 25 - 36
• Krogdahl, Stein; Møller-Pedersen, Birger & Sørensen, Fredrik (2009). Exploring the use of Package Templates for flexible re-use of Collections of related Classes. Journal of Object Technology.  ISSN 1660-1769.  8(7), s 59- 85 Vis sammendrag

  It has been recognized that there is a need for a language mechanism that support re-use of collections of related classes. Existing approaches either use an enclosing class for this purpose, or introduce a special purpose, new language construct. In this paper we explore the use of packages for the grouping of related classes. Ordinary packages are already grouping of classes, so we explore the combination of packages and templates, i.e. package templates. By instantiating package templates, the classes of the package templates are provided as if ordinary packages are produced and imported.

• Møller-Pedersen, Birger (2009). From SDL to UML2 – from an ITU Specification Language to an OMG Modeling Language. Telektronikk.  ISSN 0085-7130.  105(1), s 35- 48
• Haugen, Øystein; Møller-Pedersen, Birger; Oldevik, Jon; Olsen, Gøran K. & Svendsen, Andreas (2008). Adding Standardized Variability to Domain Specific Languages, In Birgit Geppert & Klaus Pohl (ed.),  Proceedings of the 12th International Software Product Line Conference, SPLC 2008.  IEEE.  ISBN 978-0-7695-3303-2.  Artikkel.  s 139 - 148
• Grønmo, Roy & Møller-Pedersen, Birger (2008). Aspect Diagrams for UML Activity Models, In Andy Schürr; Manfred Nagel & Albert Zündorf (ed.),  Applications of Graph Transformation with Industrial Relevance, Proceedings of the Third International AGTIVE 2007 Symposium,Schlosshotel am Bergpark Wilhelmshöhe, Kassel, Germany.  Springer.  ISBN 978-3-540-89019-5.  Kapittel.
• Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol, In Ina Schieferdecker & Alan Hartman (ed.),  Model Driven Architecture – Foundations and Applications.  Springer.  ISBN 978-3-540-69095-5.  artikkel.  s 262 - 277
• Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). Semantics-Based Weaving of UML Sequence Diagrams, In Antonio Vallecillo & Alfonso Pierantonio (ed.),  Theory and Practice of Model Transformations, First International Conference, ICMT 2008.  Springer.  ISBN 978-3-540-69926-2.  artikkel.  s 122 - 136
• Svendsen, Andreas & Møller-Pedersen, Birger (2008). Generic traits in typed languages - how to do it, In José Cordeiro (ed.),  ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies.  Institute for Systems and Technologies of Information, Control and Communication.  ISBN 978-989-8111-51-7.  kapittel.
• Kristensen, Bent Bruun; Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2007). The when, why and why not of the BETA programming language, In Barbara Ryder (ed.),  Proceedings of the third ACM SIGPLAN conference on History of programming languages.  ACM Publications.  ISBN 0000000000.  kapittel.  s 1 - 57 Vis sammendrag

  Får feilmelding i Frida når jeg oppgir korrekt ISBN, 978-1-59593-766-X http://portal.acm.org/citation.cfm?id=1238854&jmp=cit&coll=GUIDE&dl=GUIDE&CFID=52302165&CFTOKEN=19432856#CIT Dette er et godkjent ISBN iflg NSDs hjemmeside http://dbh.nsd.uib.no/kanaler/kanalDetalj.do?orgnr=18077

• Møller-Pedersen, Birger & Østerås, Ketil (2007). Interfaces with traits, I: Frode Eika Sandnes (red.),  Norsk informatikkonferanse NIK 2007.  Tapir Akademisk Forlag.  ISBN 978-82-519-2272-2.  21.
• Bayer, Joachim; Gerard, Sebastien; Haugen, Øystein; Mansell, Jason; Møller-Pedersen, Birger; Oldevik, Jon; Tessier, Patrick & Widen, Tanya (2006). Consolidated Product Line Variability Modeling, In Timo Käkölä & Juan Carlos Dueñas (ed.),  Software Product Lines. Research Issues in Engineering and Management.  Springer.  ISBN 3-540-33252-9.  Chapter 6.  s 195 - 241
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  4344, s 98- 113
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling, In Chunming Rong & Arne Løkketangen (ed.),  NIK'2006 : Norsk informatikkonferanse.  Tapir Akademisk Forlag.  ISBN 82-519-2186-4.  kapittel.
• Oldevik, Jon; Solberg, Arnor; Haugen, Øystein & Møller-Pedersen, Birger (2006). Evaluation Framework for Model-Driven Product Line Engineering Tools, In Timo Käkölä & Juan Carlos Dueñas (ed.),  Software Product Lines. Research Issues in Engineering and Management.  Springer.  ISBN 3-540-33252-9.  Chapter 16.  s 589 - 618
• Shakari, Payman & Møller-Pedersen, Birger (2006). On the Implementation of a Tool for Feature Modeling with a Base Model Twist, In Chunming Rong & Arne Løkketangen (ed.),  NIK'2006 : Norsk informatikkonferanse.  Tapir Akademisk Forlag.  ISBN 82-519-2186-4.  kapittel.
• Haugen, Øystein; Møller-Pedersen, Birger & Oldevik, Jon (2005). Comparison of System Family Modeling Approaches. Lecture Notes in Computer Science (LNCS).  ISSN 0302-9743.  (3714), s 102- 112
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2005). Introduction to UML and the Modeling of Embedded Systems, In Richard Zurawski (ed.),  Embedded Systems Handbook.  CRC Press.  ISBN 0849328241.  Chapter 9.
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2003). Structural Modeling with UML 2.0, In Luciano Lavagno; Grant Martin & Bran Selic (ed.),  UML for Real.  Kluwer Academic Publishers.  ISBN 1-4020-7501-4.  Kapittel 3.
• Møller-Pedersen, Birger (2000). SDL combined with UML. Telektronikk.  ISSN 0085-7130.  96(4), s 36- 53

Se alle arbeider i Cristin

• Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger & Czarnecki, Krzysztof (2012). Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery (ACM).  ISBN 978-1-4503-1809-9.  39 s.
• Bjørndalen, John Markus; Bongo, Lars Ailo; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne; Møller-Pedersen, Birger; Prinz, Andreas; Runde, Ragnhild Kobro; Sandnes, Frode Eika & Aalberg, Trond (2011). Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag.  ISBN 978-82-519-2843-4.  262 s.
• Bjørndalen, John Markus; Haugland, Dag; Hjelmås, Erik; Løkketangen, Arne; Møller-Pedersen, Birger; Prinz, Andreas; Kobro Runde, Ragnhild; Sandnes, Frode Eika & Aalberg, Trond (2009). Norsk informatikkonferanse : NIK 2009 : Institutt for datateknikk og informasjonsvitenskap, NTNU, 23.-25. november 2009. Tapir Akademisk Forlag.  ISBN 978-82-519-2491-7.  170 s.
• Bjørndalen, John Markus; Haugland, Dag; Heegaard, Poul Einar; Løkketangen, Arne; Møller-Pedersen, Birger; Rong, Chunming; Runde, Ragnhild Kobro; Sandnes, Frode Eika; Strøm, Torbjørn & Trætteberg, Hallvard (ed.) (2007). NIK 2007. Tapir Akademisk Forlag.  ISBN 978-82-519-2272-2.  224 s.

Se alle arbeider i Cristin

• Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2016). State Pattern supporting both composite States and extension/specialization of State Machines.
• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2013). Semantic Differencing for Product Line Evolution. SINTEF Rapport. A25398. Vis sammendrag

  In model-driven product line development, the developer does not only specify high-level features, but also define how these features can be realized in terms of model editing operations. As a product line evolves over time, it is vital for the developer to have a precise overview of the added/removed products in the evolved product line, which is considered the semantic difference between the original and the evolved product line. However, current semantic differencing techniques for feature models only compare high-level features of the two product lines without considering their feature realizations. We address this challenge by proposing a semantic differencing approach which considers both the feature specification and realization of the original and the evolved product line. We illustrate our approach on the evolution of Common Variability Language (CVL)-based product lines. In particular, we define two semantic differencing operators for comparing the feature specification and the feature realization of two product lines, resulting in a set of "diff models". These two operators are implemented in Alloy and evaluated through a case study on train control product lines.

• Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger & Czarnecki, Krzysztof (2012). VARY 2012: VARiability for You, In  Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone.  Association for Computing Machinery (ACM).  ISBN 978-1-4503-1809-9.  Summary of workshop.  s 1 - 2 Vis sammendrag

  This paper gives a summary of the VARY 2012 workshop that took place on September 30, 2012, at MODELS in Innsbruck. The workshop focus was on variability modeling from academic as well as practical viewpoints.

• Håvaldsrud, Tormod; Møller-Pedersen, Birger; Solhaug, Bjørnar & Stølen, Ketil (2012). DeSPoT: A Method for the Development and Specification of Policies for Trust Negotiation. SINTEF Rapport. A20174. Fulltekst i vitenarkiv. Vis sammendrag

  Information systems are ever more connected to the Internet, which gives wide opportunities for interacting with other actors, systems and resources and for exploiting the open and vast marked. This pushes the limits for security mechanisms which in general are too rigorous to fully adapt to such a dynamic and heterogeneous environment. Trust mechanisms can supplement the security mechanisms in this situation to reduce the risk by means of trusted evidences. We propose DeSPoT, a method for the development and specification of policies for trust negotiation. The method supports the capturing of requirements for the trust policy as a specification of acceptable risk, and the specification of trust policies that fulfill the requirements. DeSPoT is created to be easy to use for business level experts, yet demonstrated in an industrial study to be useful for those who develop and maintain the system conducting trust negotiation within acceptable risk. Adherence to a DeSPoT policy should ensure that the target fulfills the organizational level requirements to the trust behavior, and that the target is not exposed to unacceptable risk. The paper gives an example-driven presentation of the method. Oppdragsgiver: Research Council og Norway

• Møller-Pedersen, Birger (2012). Models ´67 Revisited. Invited talk at SDL Forum Society as part of MODELS 2012, Innsbruck 1.10.2012 - 2.10.2012. Vis sammendrag

  The talk will discuss a combined modelling and programming language, illustrate what such a language may look like, put the Specification and Description Language in this context by giving part of the story behind the development of Specification and Description Language, and finally revisit the notion of model.

• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Augmenting Product Lines. Vis sammendrag

  This paper presents a generic approach for automating the augmentation of product lines using model comparison and variability modeling techniques. Product lines are subject to frequent augmentation to include more products. Our approach aims to reduce manual effort involved in this process by automatically suggesting a tentative augmented product line model, which can serve as a baseline for the final product line. The Common Variability Language (CVL), a generic variability modeling language, is used to specify product lines in this approach. The approach applies CVL Compare, a generic approach for automating the synthesis of a CVL-based product line from a set of existing product models. The approach is illustrated with an example from a train control product line.

• Zhang, Xiaorui & Møller-Pedersen, Birger (2012). Towards Correct Product Derivation in Model-Driven Product Lines. Vis sammendrag

  In a product line model, the product line developer often specifies not only high-level domain features but also their low-level realization steps. We see two challenges against deriving and intended products w.r.t. the specification of feature realizations: (1) The developer is not provided with immediate feedback on the realization steps at design time. (2) How to ensure that the realization steps are consistent with high-level features. The Common Variability Language (CVL) is a generic language for modeling variability and the CVL tool can be used for product line development. We propose two extensions to the CVL tool to address the aforementioned challenges: (1) A simulator that simulates the feature realizations and visualizes the resulting product model at design time. (2) A consistency checker that checks if the realizations are consistent with high-level features. We illustrate these two added procedures by applying them to the development of a train control product line. A tool prototype is implemented and used for evaluation

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Analyzing Variability: Capturing Semantic Ripple Effects.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Specifying a Testing Oracle for Train Stations.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Synthesizing Software Models: Generating Train Station Models Automatically.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Using Variability Models to Reduce Verification Effort of Train Station Models.
• Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Towards Evolution of Generic Variability Models.
• Berg, Henning; Møller-Pedersen, Birger & Krogdahl, Stein (2011). Advancing Generic Metamodels. Domain-Specific Modeling (DSM'11), Workshop at SPLASH, Portland USA, 23.10.2011-24.10.2011.
• Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui (2011). Standardizing Variability - Challenges and Solutions.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels. SINTEF Rapport. A21093. Fulltekst i vitenarkiv. Vis sammendrag

  We present an approach for improving domain-specific modeling languages (DSML) by automatically revealing unintended models and subsequently introducing constraints to disallow these. One purpose with domain-specific modeling is to raise the level of abstraction by restricting application models to be within a domain. A metamodel, describing the concepts of the language, will typically restrict the type of concepts and how they are connected. However, these restrictions are not sufficient since the number of possible illegal models can still be large. Using a formal definition of the static semantics, we generate arbitrary models of a DSML. Based on these models, we show how to incrementally constrain the language to prohibit unintended models. We provide a prototype implementation of the approach, and we apply this prototype to an example in the train domain to illustrate the approach. Oppdragsgiver: Research Project MoSiS and Research Product VERDE

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Optimizing Alloy Models. SINTEF Rapport. A21094. Fulltekst i vitenarkiv. Vis sammendrag

  This paper presents three possible optimizations of Alloy models, including how and when to implement these optimizations. Alloy is a formal light-weight language for performing incremental and automatic analysis. Analysis is performed within a user-defined scope, which limits the number of model elements that are considered. When this scope increases, the number of possible combinations of model elements increases exponentially. Thus the analysis time escalates rapidly caused by this state-space explosion. Implementing the optimizations presented in this paper will decrease the analysis time, and thus make analysis suitable for larger models. We give concrete examples showing the decrease in analyzation effort and time given these optimizations. Oppdragsgiver: Research Council of Norway

• Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Olsen, Gøran Klepp; Svendsen, Andreas & Zhang, Xiaorui (2009). A Generic Language and Tool for Variability Modeling. SINTEF Rapport. A13505. Fulltekst i vitenarkiv. Vis sammendrag

  This paper presents an approach to variability modeling where variability models are made in a separate, generic language CVL (Common Variability Language) that works with any other language defined by a metamodel. CVL models specify both variabilities and resolutions of these, and by executing a CVL model the base product line model is transformed into a specific product model. Our CVL tool is a generic tool in the sense that the supported transformations work on any model in any language defined by a metamodel. We show how the well known notation for variability, feature diagrams, can be subsumed under CVL as its (partial) concrete syntax. We also demonstrate the use of a simple, but powerful means for parameterization. Furthermore we give a worked-out example from the real domain of train signaling. Oppdragsgiver: Research Project MoSiS

• Grønmo, Roy & Møller-Pedersen, Birger (2008). Semantics-based Weaving of UML 2 Sequence Diagrams.
• Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). A Semantics-based Aspect Language for Interactions with the Arbitrary Events Symbol.
• Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). Semantics-based Weaving of UML Sequence Diagrams.
• Grønmo, Roy & Møller-Pedersen, Birger (2007). Aspect Diagrams for UML Activity Models.
• Grønmo, Roy & Møller-Pedersen, Birger (2007). Aspect Diagrams for UML Activity Models.
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML.
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling.
• Shakari, Peyman & Møller-Pedersen, Birger (2006). On the Implementation of a Tool for Feature Modeling with a Base Model Twist.
• Møller-Pedersen, Birger; Haugen, Øystein & Oldevik, Jon (2005). Comparison of System Family Modeling Approaches.
• Møller-Pedersen, Birger (2004). On the use of UML 2.0 for System Family Modeling.
• Møller-Pedersen, Birger; Haugen, Øystein; Oldevik, Jon & Solberg, Arnor (2004). An MDA®-based framework for model-driven product derivation. Vis sammendrag

  In this paper, we present a flexible conceptual model for product family engineering. The conceptual model takes advantage of the new expressiveness and precision of UML 2.0. We also present some simple additions to UML to provide efficient modeling of system families. The conceptual model is used as basis for modeling system families at different abstraction levels and for performing semi automatic product derivation in alignment with the structure and philosophy of the Model Driven Architecture (MDA). The paper also presents how a tool can facilitate the product derivation. In summary, we describe how the MDA approach might be concretized in a system family engineering context.

• Haugen, Øystein & Møller-Pedersen, Birger (2002). Proposals for the next version of UML (2.0). Vis sammendrag

  In January 2003 the final proposals for the next version on UML (2.0) will be submitted to the Object Management Group (OMG). Ericsson has played an active role throughout this process, formulating requirements and contributing to defining the needed new constructs. The presentation will highlight the major improvements to UML focusing on how this may affect developers within Ericsson and hopefully unify the different modeling approaches that we pursue today. The presentation will also report from an early experiment using UML2.0 for the definition and use of a framework for service creation and execution.

• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2001). How to successfully Leverage UML in Real-Time Applications: Using SDL and UML together.
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2001). How to Successfully Leverage UML in Real-time Applications: Using SDL and UML Together. (Tutorial).
• Møller-Pedersen, Birger (2001). Hvordan blir neste versjon av UML - UML2.0?.
• Møller-Pedersen, Birger (2001). Modellering og programmering for sanntidsanvendelser – UML og Java.
• Haugen, Øystein & Møller-Pedersen, Birger (2000). JavaFrame: Framework for Java Enabled Modelling. Vis sammendrag

  JavaFrame is a Modelling Development Kit that aims to improve the dependability of large complex real-time systems implemented in Java. It is argued that using JavaFrame will also make the resulting system more maintainable through the independence of system parts, and that producing a Java system with JavaFrame will be more efficient than traditional approaches.

• Fischer, Joachim; Holz, Eckhard & Møller-Pedersen, Birger (2000). Structural and Behavioral Decomposition in Object Oriented Models.
• Garlan, David; Knapman, John; Møller-Pedersen, Birger; Bran, Selic & Weigert, Thomas (2000). Modeling of Architectures with UML.
• Weigert, Thomas; Garlan, David; Knapman, John; Møller-Pedersen, Birger & Selic, Bran (2000). Modeling of Architectures with UML.

Se alle arbeider i Cristin