Birger Møller-Pedersen

Professor emeritus
Image of Birger Møller-Pedersen
Norwegian version of this page
Mobile phone +47 91 82 72 79 91827279
Username
Visiting address Ole-Johan Dahls hus (IFI2) Gaustadalléen 23 D N-0373 Oslo

CV

Birger Møller-Pedersen has worked with object orientation dating back to the seventies, engaged in various implementations of Simula and involved in the design of the BETA programming language (with Kristen Nygaard, Ole Lehrmann Madsen and Bent Bruun Kristensen).

Together with Dag Belsnes he defined the first object oriented extension of SDL, and from 1989 he was involved in the standardization of this within ITU together with Øystein Haugen, leading to SDL-92. For this work they received the Telenor Nordic Research Prize (extra prize) in 1997.  Later he was responsible for the Recommendation Z.109 on the combined use of UML and SDL, and for the SDL-2000 version he was responsible for introducing hierarchical state machines into SDL.

From 1995 until 1997 he was involved with the national research and technology transfer project SISU that resulted in a methodology for engineering real time systems.

From 1997 to 1998 he worked at Telenor R&D on the application of Java technology to network management.

From 1998 to 2004 he was with Ericsson, working as senior researcher, participating in the development of the next generation of UML (Unified Modeling Language) – UML2.0 within OMG (Object Management Group), working especially with structured classes and with responsibility for state machines and templates.

Projects:

2003 - 2006:  Families, a European ITEA project on System Families working on the modeling of product families with the use of UML2.0.

2003 - 2006:  SARDAS,  a Research Council of Norway funded research project

2007 - 2010: MoSiS, an ITEA project following up the Families project.

SWAT a Research Council of Norway funded research project

2007 - 2010: DIGIT , a  Research Council of Norway  funded research project on digital interoperability with trust.

2010 - 2012: iFEST , an Artemis project on tool integration.

Academic Interests

  • Design and implementation of modeling -and programming languages
  • Variability modeling

Teaching

PhD-students

  • Andreas Svendsen (MoSiS-project)
  • Weiqing Zhang (iFEST-project)
  • Henning Berg

Higher education and employment history

2004 -

Professor

1997 - 2004

Principal Researcher, Ericsson Research, Software Technology – Norwegian Applied Research Center.

1995 - 1997

Senior Research Scientist, Telenor Research and Development.

1994 -

Part-time associate professor, University of Oslo.

1977 - 1995

Research Scientist, Norwegian Computing Center.

1976 Cand. scient. (M.Sc.) in Computer Science, Department for Computer Science, University of Aarhus, Denmark.

Honoraria

  • Telenor Nordic Research Prize (extra software technology prize), 1997

Appointments

  • Member of program committee MODELS 2010

  • Local Chair, MODELS 2009

  • Member of program committee MODELS 2009

  • Member of program committee ECOOP 2007

  • Member of program committee ECOOP 2006.

  • Member of board, NIK (Norwegian Informatics Conference) 2006

  • Member of program committee OOPSLA workshop on Domain Specific Modeling, 2004, 2005, 2006, 2007, 2008

  • Conference Chair, ECOOP 2004.

  • Member of program committee, Industrial Track <<UML>> 2004

  • Member of program committee OOPSLA 2003.

  • Member of program committee SDL Forum

Publications

  • Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2023). What Your Mother Forgot to Tell you About Modeling – and Programming, 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion. IEEE conference proceedings. ISSN 979-8-3503-2498-3. p. 200–210. doi: 10.1109/MODELS-C59198.2023.00049.
  • Prinz, Andreas; Engebretsen, Martin; Gjøsæter, Terje; Møller-Pedersen, Birger & Xanthopoulou, Themis Dimitra (2023). Models, systems, and descriptions: A cross-disciplinary reflection on models. Frontiers in Computer Science. ISSN 2624-9898. 5. doi: 10.3389/fcomp.2023.1031807. Full text in Research Archive
  • Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje & Møller-Pedersen, Birger (2022). On abstraction in the OMG hierarchy: systems, models, and descriptions, ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS). Association for Computing Machinery (ACM). ISSN 978-1-4503-9467-3. p. 322–330. doi: 10.1145/3550356.3561573. Full text in Research Archive
  • Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas & Thalheim, Bernhard (2021). Models Versus Model Descriptions. In Dahanayake, Ajantha; Pastor, Oscar & Thalheim, Bernhard (Ed.), Modelling to Program Second International Workshop M2P 2020, Lappeenranta, Finland, Revised Selected Papers. Springer Nature. ISSN 978-3-030-72695-9. p. 67–89. doi: 10.1007/978-3-030-72696-6_3. Full text in Research Archive
  • Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas (2020). Real Models are Really on M0 - Or How to Make Programmers Use Modeling. In Hammoudi, Slimane; Pires, Luís Ferreira & Selic, Bran (Ed.), Modelsward 2020. SciTePress. ISSN 978-989-758-400-8. p. 307–318. doi: 10.5220/0008928403070318. Full text in Research Archive
  • 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, p. 206–224. doi: 10.1007/978-3-030-03418-4_13.
  • 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, p. 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, p. 132–147. doi: 10.1007/978-3-319-46613-2_9.
  • Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas (2016). Modelling of Systems for Real. In Hammoudi, Slimane; Pires, Luís Ferreira; Selic, Bran & Desfray, Philippe (Ed.), Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress. ISSN 978-989-758-168-7. p. 427–434. doi: 10.5220/0005825704270434.
  • Berg, Henning & Møller-Pedersen, Birger (2015). Metamodel and model composition by integration of operational semantics. Communications in Computer and Information Science (CCIS). ISSN 1865-0929. 580, p. 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 (CCIS). ISSN 1865-0929. 506, p. 84–99. doi: 10.1007/978-3-319-25156-1_6.
  • Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2015). Combined Modelling and Programming Support for Composite States and Extensible State Machines. In Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (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. ISSN 978-989-758-083-3. p. 231–238. doi: 10.5220/0005237302310238.
  • Berg, Henning & Møller-Pedersen, Birger (2015). Towards Non-Intrusive Composition of Executable Models. In Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (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. ISSN 978-989-758-083-3. p. 111–121. doi: 10.5220/0005242401110121.
  • Zhang, Weiqing & Møller-Pedersen, Birger (2014). Modeling of Tool Integration Resources with OSLC Support. In Pires, Luís Ferreira; Hammoudi, Slimane; Filipe, Joaquim & César das Neves, Rui (Ed.), MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress. ISSN 978-9-8975-8065-9. p. 99–110. doi: 10.5220/0004713000990110.
  • Berg, Henning & Møller-Pedersen, Birger (2014). Typing and Subtyping of Metamodels. In Pires, Luís Ferreira; Hammoudi, Slimane; Filipe, Joaquim & César das Neves, Rui (Ed.), MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress. ISSN 978-9-8975-8065-9. p. 111–118. doi: 10.5220/0004713901110118.
  • Berg, Henning & Møller-Pedersen, Birger (2013). Type-Safe Symmetric Composition of Metamodels Using Templates. In Haugen, Øystein; Reed, Rick & Gotzhein, Reinhard (Ed.), System Analysis and Modeling: Theory and Practise. Springer. ISSN 978-3-642-36756-4. p. 160–178. doi: 10.1007/978-3-642-36757-1_10.
  • Grønmo, Roy; Runde, Ragnhild Kobro & Møller-Pedersen, Birger (2013). Confluence of aspects for sequence diagrams. Software and Systems Modeling (SoSyM). ISSN 1619-1366. 12(4), p. 789–824. doi: 10.1007/s10270-011-0212-1.
  • Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger (2013). A collection operator for graph transformation. Software and Systems Modeling (SoSyM). ISSN 1619-1366. 12(1), p. 121–144. doi: 10.1007/s10270-011-0190-3.
  • Møller-Pedersen, Birger (2013). Models '67 Revisited. In Haugen, Øystein; Reed, Rick & Gotzhein, Reinhard (Ed.), System Analysis and Modeling: Theory and Practise. Springer. ISSN 978-3-642-36756-4. doi: 10.1007/978-3-642-36757-1_1.
  • 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, p. 53–67. doi: 10.1007/978-3-642-29645-1_8.
  • 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, p. 268–305. doi: 10.1007/978-3-642-35551-6_7.
  • Zhang, Weiqing; Møller-Pedersen, Birger & Biehl, Matthias (2012). Light-weight Tool Integration Approach -- From a Tool Integration Model to OSLC Integration Services. In Hammoudi, Slimane; Sinderen, Marten van & Cordeiro, José (Ed.), Proceedings of ICSOFT 2012. Institute for Systems and Technologies of Information, Control and Communication. ISSN 978-989-8565-19-8. p. 137–146.
  • 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, p. 93–104. doi: 10.1007/978-94-007-2792-2_9.
  • Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2012). Using Variability Models to Reduce Verification Effort of Train Station Models. In NN, . (Eds.), 18th Asia Pacific Software Engineering Conference (APSEC), 2011, Ho Chi Minh, 5-8 Dec. 2011. IEEE conference proceedings. ISSN 978-1-4577-2199-1. p. 348–356. doi: 10.1109/apsec.2011.21.
  • 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, p. 233–246. doi: 10.1007/978-3-642-25264-8_18.
  • Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Augmenting Product Lines, 2012 19th Asia-Pacific Software Engineering Conference (APSEC), Hong Kong, 4-7 Dec. 2012. IEEE conference proceedings. ISSN 978-1-4673-4930-7. p. 766–771. doi: 10.1109/apsec.2012.76.
  • 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, p. 187–201. doi: 10.1007/978-3-642-29645-1_20.
  • 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, p. 38–53. doi: 10.1007/978-3-642-25264-8_5.
  • Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Model Comparison to Synthesize a Model-Driven Software Product Line. In NN, . (Eds.), 15th International Software Product Line Conference (SPLC): Munich 22-26 Aug. 2011. IEEE conference proceedings. ISSN 978-1-4577-1029-2. p. 90–99. doi: 10.1109/splc.2011.24.
  • Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Specifying a Testing Oracle for Train Station. In Weißleder, Stephan; Lúcio, Levi; Cichos, Harald & Fondement, Frédéric (Ed.), MoDeVVa : Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation. Association for Computing Machinery (ACM). ISSN 978-1-4503-0914-1. doi: 10.1145/2095654.2095661.
  • 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, p. 253–269. doi: 10.1007/978-3-642-21470-7_18.
  • 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), p. 1–22. doi: 10.5381/jot.2011.10.1.a8.
  • Berg, Henning; Møller-Pedersen, Birger & Krogdahl, Stein (2011). Application of Advanced Programming Concepts in Metamodelling, Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISSN 978-82-519-2843-4. p. 207–218.
  • Zhang, Weiqing; Møller-Pedersen, Birger & Kai, T. Hansen (2011). Metamodel-based Tool Integration, Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISSN 978-82-519-2843-4. p. 251–254.
  • Møller-Pedersen, Birger (2011). Scandinavian Contributions to Object-Oriented Modeling Languages. In Impagliazzo,, John; Lundin, Per & Wangler, Benkt (Ed.), History of Nordic Computing 3. Springer. ISSN 978-3-642-23314-2. doi: 10.1007/978-3-642-23315-9_38.
  • Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, Roy; Fleurey, Franck; Haugen, Øystein & Møller-Pedersen, Birger [Show all 7 contributors for this article] (2010). Developing a Software Product Line for Train Control: A Case Study of CVL. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6287, p. 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), p. 81–95.
  • Grønmo, Roy & Møller-Pedersen, Birger (2010). From Sequence Diagrams to State Machines by Graph Transformation. In Laurence, Tratt & Gogolla, Martin (Ed.), Theory and Practice of Model Transformations, Third International Conference, ICMT 2010. Springer. ISSN 978-3-642-13687-0. p. 93–107.
  • Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2010). A Unified Approach to Modeling and Programming. In Petriu, Dorina C.; Rouquette, Nicolas & Haugen, Øystein (Ed.), Model Driven Engineering Languages and Systems. Springer. ISSN 978-3-642-16144-5. p. 1–15.
  • Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, R.; Fleurey, Frank; Haugen, Øystein & Møller-Pedersen, Birger [Show all 7 contributors for this article] (2010). Developing a Software Product Line for Train Control: A Case Study of CVL. In Bosch, Jan & Lee, Jaejoon (Ed.), Software Product Lines: Going Beyond. 14th International Conference, SPLC 2010. Springer. ISSN 978-3-642-15578-9. p. 106–120.
  • Axelsen, Eyvind Wærsted; Krogdahl, Stein & Møller-Pedersen, Birger (2010). Controlling Dynamic Module Composition through an Extensible Meta-Level API. In Clinger, William D. (Eds.), Proceedings of the 6th symposium on Dynamic languages. Association for Computing Machinery (ACM). ISSN 978-1-4503-0405-4. p. 81–96.
  • Haavaldsrud, Tormod & Møller-Pedersen, Birger (2009). Nested and Specialized Associations. In Balzer, Stephanie; Bierman, Gavin; Nelson, Stephen & Tip, Frank (Ed.), Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages. Association for Computing Machinery (ACM). ISSN 978-1-60558-549-9.
  • Grønmo, Roy; Krogdahl, Stein & Møller-Pedersen, Birger (2009). A Collection Operator for Graph Transformation. In Paige, Richard F. (Eds.), Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings. Springer. ISSN 978-3-642-02407-8. p. 67–82.
  • Grønmo, Roy; Møller-Pedersen, Birger & Olsen, Gøran Klepp (2009). Comparison of Three Model Transformation Languages. In Paige, Richard F.; Hartman, Alan & Rensink, Arend (Ed.), Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Springer. ISSN 978-3-642-02673-7. p. 2–17.
  • Johansen, Martin Fagereng & Møller-Pedersen, Birger (2009). Frameworks and Static-Semantic Analysis. In Aalberg, Trond (Eds.), Norsk informatikkonferanse NIK 2009. Tapir Akademisk Forlag. ISSN 978-82-519-2491-7. p. 25–36.
  • Oldevik, Jon; Haugen, Øystein & Møller-Pedersen, Birger (2009). Confluence in Domain-Independent Product Line Transformations. In Chechik, Marsha (Eds.), Fundamental Approaches to Software Engineering. Springer. ISSN 978-3-642-00592-3. p. 34–48.
  • 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), p. 35–48.
  • 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), p. 59–85.
  • Svendsen, Andreas & Møller-Pedersen, Birger (2008). Generic traits in typed languages - how to do it. In Cordeiro, José (Eds.), ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies. Institute for Systems and Technologies of Information, Control and Communication. ISSN 978-989-8111-51-7.
  • 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 Schieferdecker, Ina & Hartman, Alan (Ed.), Model Driven Architecture – Foundations and Applications. Springer. ISSN 978-3-540-69095-5. p. 262–277.
  • Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). Semantics-Based Weaving of UML Sequence Diagrams. In Vallecillo, Antonio & Pierantonio, Alfonso (Ed.), Theory and Practice of Model Transformations, First International Conference, ICMT 2008. Springer. ISSN 978-3-540-69926-2. p. 122–136.
  • Grønmo, Roy & Møller-Pedersen, Birger (2008). Aspect Diagrams for UML Activity Models. In Schürr, Andy; Nagel, Manfred & Zündorf, Albert (Ed.), Applications of Graph Transformation with Industrial Relevance, Proceedings of the Third International AGTIVE 2007 Symposium,Schlosshotel am Bergpark Wilhelmshöhe, Kassel, Germany. Springer. ISSN 978-3-540-89019-5.
  • Haugen, Øystein; Møller-Pedersen, Birger; Oldevik, Jon; Olsen, Gøran K. & Svendsen, Andreas (2008). Adding Standardized Variability to Domain Specific Languages. In Geppert, Birgit & Pohl, Klaus (Ed.), Proceedings of the 12th International Software Product Line Conference, SPLC 2008. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-0-7695-3303-2. p. 139–148.
  • Møller-Pedersen, Birger & Østerås, Ketil (2007). Interfaces with traits. In Sandnes, Frode Eika (Eds.), Norsk informatikkonferanse NIK 2007. Tapir Akademisk Forlag. ISSN 978-82-519-2272-2.
  • Kristensen, Bent Bruun; Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2007). The when, why and why not of the BETA programming language. In Ryder, Barbara (Eds.), Proceedings of the third ACM SIGPLAN conference on History of programming languages. ACM Publications. ISSN 0000000000. p. 1–57.
  • Oldevik, Jon; Solberg, Arnor; Haugen, Øystein & Møller-Pedersen, Birger (2006). Evaluation Framework for Model-Driven Product Line Engineering Tools. In Käkölä, Timo & Dueñas, Juan Carlos (Ed.), Software Product Lines. Research Issues in Engineering and Management. Springer. ISSN 3-540-33252-9. p. 589–618.
  • Bayer, Joachim; Gerard, Sebastien; Haugen, Øystein; Mansell, Jason; Møller-Pedersen, Birger & Oldevik, Jon [Show all 8 contributors for this article] (2006). Consolidated Product Line Variability Modeling. In Käkölä, Timo & Dueñas, Juan Carlos (Ed.), Software Product Lines. Research Issues in Engineering and Management. Springer. ISSN 3-540-33252-9. p. 195–241.
  • Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling. In Rong, Chunming & Løkketangen, Arne (Ed.), NIK'2006 : Norsk informatikkonferanse. Tapir Akademisk Forlag. ISSN 82-519-2186-4.
  • Shakari, Payman & Møller-Pedersen, Birger (2006). On the Implementation of a Tool for Feature Modeling with a Base Model Twist. In Rong, Chunming & Løkketangen, Arne (Ed.), NIK'2006 : Norsk informatikkonferanse. Tapir Akademisk Forlag. ISSN 82-519-2186-4.
  • Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 4344, p. 98–113.
  • Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2005). Introduction to UML and the Modeling of Embedded Systems. In Zurawski, Richard (Eds.), Embedded Systems Handbook. CRC Press. ISSN 0849328241.
  • Haugen, Øystein; Møller-Pedersen, Birger & Oldevik, Jon (2005). Comparison of System Family Modeling Approaches. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 102–112.
  • Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2003). Structural Modeling with UML 2.0. In Lavagno, Luciano; Martin, Grant & Selic, Bran (Ed.), UML for Real. Kluwer Academic Publishers. ISSN 1-4020-7501-4.

View all works in Cristin

View all works in Cristin

  • Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje & Møller-Pedersen, Birger (2022). On abstraction in the OMG hierarchy: systems, models, and descriptions.
  • Lehrmann Madsen, Ole & Møller-Pedersen, Birger (2022). Using supplementary properties to reduce the need for documentation.
  • Lehrmann Madsen, Ole & Møller-Pedersen, Birger (2022). What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming.
  • Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2016). State Pattern supporting both composite States and extension/specialization of State Machines.
  • 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.
  • Haugen, Øystein; Jezequel, Jean-Marc; Wasowski, Andrzej; Møller-Pedersen, Birger & Czarnecki, Krzysztof (2012). VARY 2012: VARiability for You, Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone. Association for Computing Machinery (ACM). ISSN 978-1-4503-1809-9. p. 1–2.
  • Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Augmenting Product Lines.
  • Zhang, Xiaorui & Møller-Pedersen, Birger (2012). Towards Correct Product Derivation in Model-Driven Product Lines.
  • Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui (2011). Standardizing Variability - Challenges and Solutions.
  • Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Towards Evolution of Generic Variability Models.
  • 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). Using Variability Models to Reduce Verification Effort of Train Station Models.
  • 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). Analyzing Variability: Capturing Semantic Ripple Effects.
  • 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). Semantics-based Weaving of UML 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 & 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.
  • Shakari, Peyman & Møller-Pedersen, Birger (2006). On the Implementation of a Tool for Feature Modeling with a Base Model Twist.
  • Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling.
  • Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML.
  • 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.
  • Haugen, Øystein & Møller-Pedersen, Birger (2002). Proposals for the next version of UML (2.0).
  • Møller-Pedersen, Birger (2001). Modellering og programmering for sanntidsanvendelser – UML og Java.
  • Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2013). Semantic Differencing for Product Line Evolution. SINTEF. ISSN 9788214053326.
  • 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 . S. ISSN 9788214049886. Full text in Research Archive
  • Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Optimizing Alloy Models . SINTEF. ISSN 9788214049961. Full text in Research Archive
  • Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels . SINTEF. ISSN 9788214049954. Full text in Research Archive
  • 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. ISSN 9788214044676. Full text in Research Archive

View all works in Cristin

Published Nov. 4, 2010 2:09 PM - Last modified Apr. 26, 2023 8:37 PM

Research groups