Birger Møller-Pedersen

• Fischer, Joachim; Møller-Pedersen, Birger; Prinz, Andreas & Thalheim, Bernhard (2021). Models Versus Model Descriptions. I Dahanayake, Ajantha; Pastor, Oscar & Thalheim, Bernhard (Red.), Modelling to Program Second International Workshop M2P 2020, Lappeenranta, Finland, Revised Selected Papers. Springer Nature. ISSN 978-3-030-72695-9. s. 67–89. doi: 10.1007/978-3-030-72696-6_3. Fulltekst i vitenarkiv
• Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas (2020). Real Models are Really on M0 - Or How to Make Programmers Use Modeling. I Hammoudi, Slimane; Pires, Luís Ferreira & Selic, Bran (Red.), Modelsward 2020. SciTePress. ISSN 978-989-758-400-8. s. 307–318. doi: 10.5220/0008928403070318. Fulltekst i vitenarkiv
• 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.
• 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.
• Fischer, Joachim; Møller-Pedersen, Birger & Prinz, Andreas (2016). Modelling of Systems for Real. I Hammoudi, Slimane; Pires, Luís Ferreira; Selic, Bran & Desfray, Philippe (Red.), Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SciTePress. ISSN 978-989-758-168-7. s. 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. 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.
• Andresen, Kjetil; Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2015). Combined Modelling and Programming Support for Composite States and Extensible State Machines. I Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (Red.), 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. s. 231–238. doi: 10.5220/0005237302310238.
• Berg, Henning & Møller-Pedersen, Birger (2015). Towards Non-Intrusive Composition of Executable Models. I Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (Red.), 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. s. 111–121. doi: 10.5220/0005242401110121.
• Zhang, Weiqing & Møller-Pedersen, Birger (2014). Modeling of Tool Integration Resources with OSLC Support. I Pires, Luís Ferreira; Hammoudi, Slimane; Filipe, Joaquim & César das Neves, Rui (Red.), 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. s. 99–110. doi: 10.5220/0004713000990110.
• Berg, Henning & Møller-Pedersen, Birger (2014). Typing and Subtyping of Metamodels. I Pires, Luís Ferreira; Hammoudi, Slimane; Filipe, Joaquim & César das Neves, Rui (Red.), 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. s. 111–118. doi: 10.5220/0004713901110118.
• Berg, Henning & Møller-Pedersen, Birger (2013). Type-Safe Symmetric Composition of Metamodels Using Templates. I Haugen, Øystein; Reed, Rick & Gotzhein, Reinhard (Red.), System Analysis and Modeling: Theory and Practise. Springer. ISSN 978-3-642-36756-4. s. 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), 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.

• 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), 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.

• Møller-Pedersen, Birger (2013). Models '67 Revisited. I Haugen, Øystein; Reed, Rick & Gotzhein, Reinhard (Red.), 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, 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.

• 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.
• Zhang, Weiqing; Møller-Pedersen, Birger & Biehl, Matthias (2012). Light-weight Tool Integration Approach -- From a Tool Integration Model to OSLC Integration Services. I Hammoudi, Slimane; Sinderen, Marten van & Cordeiro, José (Red.), Proceedings of ICSOFT 2012. Institute for Systems and Technologies of Information, Control and Communication. ISSN 978-989-8565-19-8. s. 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, 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). Using Variability Models to Reduce Verification Effort of Train Station Models. I NN, . (Red.), 18th Asia Pacific Software Engineering Conference (APSEC), 2011, Ho Chi Minh, 5-8 Dec. 2011. IEEE conference proceedings. ISSN 978-1-4577-2199-1. s. 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, 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.

• 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. s. 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, 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.

• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Model Comparison to Synthesize a Model-Driven Software Product Line. I NN, . (Red.), 15th International Software Product Line Conference (SPLC): Munich 22-26 Aug. 2011. IEEE conference proceedings. ISSN 978-1-4577-1029-2. s. 90–99. doi: 10.1109/splc.2011.24.
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Specifying a Testing Oracle for Train Station. I Weißleder, Stephan; Lúcio, Levi; Cichos, Harald & Fondement, Frédéric (Red.), 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, 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

• 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

• 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. s. 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. s. 251–254.
• Møller-Pedersen, Birger (2011). Scandinavian Contributions to Object-Oriented Modeling Languages. I Impagliazzo,, John; Lundin, Per & Wangler, Benkt (Red.), 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 [Vis alle 7 forfattere av denne artikkelen] (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.
• Grønmo, Roy & Møller-Pedersen, Birger (2010). From Sequence Diagrams to State Machines by Graph Transformation. I Laurence, Tratt & Gogolla, Martin (Red.), Theory and Practice of Model Transformations, Third International Conference, ICMT 2010. Springer. ISSN 978-3-642-13687-0. s. 93–107.
• Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2010). A Unified Approach to Modeling and Programming. I Petriu, Dorina C.; Rouquette, Nicolas & Haugen, Øystein (Red.), Model Driven Engineering Languages and Systems. Springer. ISSN 978-3-642-16144-5. s. 1–15.
• Svendsen, Andreas; Zhang, Xiaorui; Lind-Tviberg, R.; Fleurey, Frank; Haugen, Øystein & Møller-Pedersen, Birger [Vis alle 7 forfattere av denne artikkelen] (2010). Developing a Software Product Line for Train Control: A Case Study of CVL. I Bosch, Jan & Lee, Jaejoon (Red.), Software Product Lines: Going Beyond. 14th International Conference, SPLC 2010. Springer. ISSN 978-3-642-15578-9. s. 106–120.
• Axelsen, Eyvind Wærsted; Krogdahl, Stein & Møller-Pedersen, Birger (2010). Controlling Dynamic Module Composition through an Extensible Meta-Level API. I Clinger, William D. (Red.), Proceedings of the 6th symposium on Dynamic languages. Association for Computing Machinery (ACM). ISSN 978-1-4503-0405-4. s. 81–96.
• Haavaldsrud, Tormod & Møller-Pedersen, Birger (2009). Nested and Specialized Associations. I Balzer, Stephanie; Bierman, Gavin; Nelson, Stephen & Tip, Frank (Red.), 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. I Paige, Richard F. (Red.), 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. s. 67–82.
• Grønmo, Roy; Møller-Pedersen, Birger & Olsen, Gøran Klepp (2009). Comparison of Three Model Transformation Languages. I Paige, Richard F.; Hartman, Alan & Rensink, Arend (Red.), 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. s. 2–17.
• Johansen, Martin Fagereng & Møller-Pedersen, Birger (2009). Frameworks and Static-Semantic Analysis. I Aalberg, Trond (Red.), Norsk informatikkonferanse NIK 2009. Tapir Akademisk Forlag. ISSN 978-82-519-2491-7. s. 25–36.
• Oldevik, Jon; Haugen, Øystein & Møller-Pedersen, Birger (2009). Confluence in Domain-Independent Product Line Transformations. I Chechik, Marsha (Red.), Fundamental Approaches to Software Engineering. Springer. ISSN 978-3-642-00592-3. s. 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), s. 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), 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.

• Svendsen, Andreas & Møller-Pedersen, Birger (2008). Generic traits in typed languages - how to do it. I Cordeiro, José (Red.), 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. I Schieferdecker, Ina & Hartman, Alan (Red.), Model Driven Architecture – Foundations and Applications. Springer. ISSN 978-3-540-69095-5. s. 262–277.
• Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). Semantics-Based Weaving of UML Sequence Diagrams. I Vallecillo, Antonio & Pierantonio, Alfonso (Red.), Theory and Practice of Model Transformations, First International Conference, ICMT 2008. Springer. ISSN 978-3-540-69926-2. s. 122–136.
• Grønmo, Roy & Møller-Pedersen, Birger (2008). Aspect Diagrams for UML Activity Models. I Schürr, Andy; Nagel, Manfred & Zündorf, Albert (Red.), 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. I Geppert, Birgit & Pohl, Klaus (Red.), Proceedings of the 12th International Software Product Line Conference, SPLC 2008. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-0-7695-3303-2. s. 139–148.
• Møller-Pedersen, Birger & Østerås, Ketil (2007). Interfaces with traits. I Sandnes, Frode Eika (Red.), 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. I Ryder, Barbara (Red.), Proceedings of the third ACM SIGPLAN conference on History of programming languages. ACM Publications. ISSN 0000000000. s. 1–57. Vis sammendrag

  978-1-59593-766-X er det korrekte ISBN, men dette godkjennes ikke av Frida. Ifølge NSDs side er prefikset 1-59593 korrekt.

• Oldevik, Jon; Solberg, Arnor; Haugen, Øystein & Møller-Pedersen, Birger (2006). Evaluation Framework for Model-Driven Product Line Engineering Tools. I Käkölä, Timo & Dueñas, Juan Carlos (Red.), Software Product Lines. Research Issues in Engineering and Management. Springer. ISSN 3-540-33252-9. s. 589–618.
• Bayer, Joachim; Gerard, Sebastien; Haugen, Øystein; Mansell, Jason; Møller-Pedersen, Birger & Oldevik, Jon [Vis alle 8 forfattere av denne artikkelen] (2006). Consolidated Product Line Variability Modeling. I Käkölä, Timo & Dueñas, Juan Carlos (Red.), Software Product Lines. Research Issues in Engineering and Management. Springer. ISSN 3-540-33252-9. s. 195–241.
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling. I Rong, Chunming & Løkketangen, Arne (Red.), 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. I Rong, Chunming & Løkketangen, Arne (Red.), 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, s. 98–113.
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2005). Introduction to UML and the Modeling of Embedded Systems. I Zurawski, Richard (Red.), 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. s. 102–112.
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2003). Structural Modeling with UML 2.0. I Lavagno, Luciano; Martin, Grant & Selic, Bran (Red.), UML for Real. Kluwer Academic Publishers. ISSN 1-4020-7501-4.

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 [Vis alle 10 forfattere av denne artikkelen] (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 [Vis alle 9 forfattere av denne artikkelen] (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 [Vis alle 10 forfattere av denne artikkelen] (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.
• 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.

• 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. s. 1–2.
• 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

• 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.
• 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.
• 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. 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.

• Møller-Pedersen, Birger (2001). Modellering og programmering for sanntidsanvendelser – UML og Java.
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2001). How to successfully Leverage UML in Real-Time Applications: Using SDL and UML together.
• Møller-Pedersen, Birger (2001). Hvordan blir neste versjon av UML - UML2.0?
• Haugen, Øystein; Møller-Pedersen, Birger & Weigert, Thomas (2001). How to Successfully Leverage UML in Real-time Applications: Using SDL and UML Together. (Tutorial).
• Weigert, Thomas; Garlan, David; Knapman, John; Møller-Pedersen, Birger & Selic, Bran (2000). Modeling of Architectures with UML.
• 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.

• Garlan, David; Knapman, John; Møller-Pedersen, Birger; Bran, Selic & Weigert, Thomas (2000). Modeling of Architectures with UML.
• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2013). Semantic Differencing for Product Line Evolution. SINTEF. ISSN 9788214053326. 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.

• 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. 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

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Optimizing Alloy Models . SINTEF. ISSN 9788214049961. 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

• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels . SINTEF. ISSN 9788214049954. 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

• 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. 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

Se alle arbeider i Cristin