Birger Møller-Pedersen

• 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. 5. doi: 10.3389/fcomp.2023.1031807. Fulltekst i vitenarkiv Vis sammendrag

  There are many different notions of models in different areas of science that are often not aligned, making it difficult to discuss them across disciplines. In this study, we look at the differences between physical models and mental models as well as the difference between static and dynamic models. Semiotics provides a philosophical underpinning by explaining meaning-making. This allows for identifying a common ground between models in different areas. We use examples from natural sciences and linguistics to illustrate different approaches and concepts and to find commonalities. This study distinguishes between systems, models, and descriptions of models. This distinction allows us to understand the commonalities of mental and physical models in different areas.

• 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 (Institute of Electrical and Electronics Engineers). ISSN 9798350324983. s. 200–210. doi: 10.1109/MODELS-C59198.2023.00049. Fulltekst i vitenarkiv
• 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 9781450394673. s. 322–330. doi: 10.1145/3550356.3561573. Fulltekst i vitenarkiv Vis sammendrag

  The Model-Driven Architecture (MDA) uses a metadata hierarchy with several layers that are placed on top of each other. The traditional view is that the layers provide abstractions related to models in languages defined by meta-models. Over the years, it has been difficult to define a consistent understanding of the layers. In this paper, we propose such a consistent understanding by clarifying the relations between the different elements in the hierarchy. This is done based on the Scandinavian approach to modelling that distinguishes between systems and system descriptions. Systems can be physical, digital, or even mental, while descriptions can be programs, language descriptions, specifications, and diagrams. We relate descriptions and systems by explaining where semantics of objects originate and how they apply in the hierarchy.

• 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 9783030726959. s. 67–89. doi: 10.1007/978-3-030-72696-6_3. Fulltekst i vitenarkiv Vis sammendrag

  In the development of computer-based systems, modelling is often advocated in addition to programming, in that it helps in reflecting the application domain and that it makes the design and experiment activities of development more efficient. However, there is disagreement about what models are and how they can be used in software systems development. In this paper, we present the Scandinavian approach to modelling, which makes a clear distinction between models and model descriptions. This paper explains the connections between models, descriptions, systems, and executions. Combining the Scandinavian approach with the Kiel notion of model, we establish that both descriptions and executions are closely connected instruments with different roles. The paper argues that (program) executions are the models of dynamic systems, not their descriptions in terms of diagrams and text. So in a general sense programming is about writing descriptions for systems. In particular the paper clarifies when programming is also modelling.

• 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 9789897584008. s. 307–318. doi: 10.5220/0008928403070318. Fulltekst i vitenarkiv Vis sammendrag

  This paper discusses the term ’model’ and the role of the level M0 in the four-layer metamodeling architecture of MOF/OMG. It illustrates the failures of the OMG MOF standard and how a model is an abstraction, not a description. We apply two simple approaches: (1) observing the use of models (of real or planned systems) in system development, including prototyping, simulations, and models in general, and (2) comparing modeling with programming. These approaches lead to the conclusion that models should be placed on M0, while UML models are model descriptions. This conclusion leads to a better understanding of InstanceSpecification for description of snapshots, and of metamodeling applied to ontologies.

• 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. Fulltekst i vitenarkiv
• 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 9789897581687. s. 427–434. doi: 10.5220/0005825704270434. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv
• 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, s. 172–189. doi: 10.1007/978-3-319-27869-8_10. Fulltekst i vitenarkiv
• Berg, Henning & Møller-Pedersen, Birger (2015). Specialisation of metamodels using metamodel types. Communications in Computer and Information Science (CCIS). ISSN 1865-0929. 506, s. 84–99. doi: 10.1007/978-3-319-25156-1_6. Fulltekst i vitenarkiv
• 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; Pires, Luis Ferreira; 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 9789897580833. s. 231–238. doi: 10.5220/0005237302310238. Fulltekst i vitenarkiv
• Berg, Henning & Møller-Pedersen, Birger (2015). Towards Non-Intrusive Composition of Executable Models. I Hammoudi, Slimane; Pires, Luis Ferreira; 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 9789897580833. s. 111–121. doi: 10.5220/0005242401110121. Fulltekst i vitenarkiv
• Zhang, Weiqing & Møller-Pedersen, Birger (2014). Modeling of Tool Integration Resources with OSLC Support. I Pires, Luís Ferreira; Hammoudi, Slimane; Filipe, Joaquim & Neves, Rui César das (Red.), MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress. ISSN 9789897580659. s. 99–110. doi: 10.5220/0004713000990110. Fulltekst i vitenarkiv
• Berg, Henning & Møller-Pedersen, Birger (2014). Typing and Subtyping of Metamodels. I Pires, Luís Ferreira; Hammoudi, Slimane; Filipe, Joaquim & Neves, Rui César das (Red.), MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress. ISSN 9789897580659. s. 111–118. doi: 10.5220/0004713901110118. Fulltekst i vitenarkiv
• 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 9783642367564. doi: 10.1007/978-3-642-36757-1_1. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv 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.

• 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 9783642367564. s. 160–178. doi: 10.1007/978-3-642-36757-1_10. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv 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.

• 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. Fulltekst i vitenarkiv 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 (Institute of Electrical and Electronics Engineers). ISSN 9781467349307. s. 766–771. doi: 10.1109/apsec.2012.76. Fulltekst i vitenarkiv 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 (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. Fulltekst i vitenarkiv 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.

• 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. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv 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). 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 (Institute of Electrical and Electronics Engineers). ISSN 9781457721991. s. 348–356. doi: 10.1109/apsec.2011.21. Fulltekst i vitenarkiv 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

• 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. Fulltekst i vitenarkiv 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. I Hammoudi, Slimane; Sinderen, Marten van & Cordeiro, José (Red.), Proceedings of ICSOFT 2012. INSTICC (Institute for Systems and Technologies of Information, Control and Communication). ISSN 9789898565198. s. 137–146. Fulltekst i vitenarkiv
• 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. 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. 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.

• Grønmo, Roy & Møller-Pedersen, Birger (2011). From UML 2 Sequence Diagrams to State Machines by Graph Transformation. Journal of Object Technology. 10(8), s. 1–22. doi: 10.5381/jot.2011.10.1.a8. Fulltekst i vitenarkiv 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

• 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 (Institute of Electrical and Electronics Engineers). ISSN 9781457710292. s. 90–99. doi: 10.1109/splc.2011.24. Fulltekst i vitenarkiv 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

• 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 9781450309141. doi: 10.1145/2095654.2095661. Fulltekst i vitenarkiv 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.

• Berg, Henning; Møller-Pedersen, Birger & Krogdahl, Stein (2011). Application of Advanced Programming Concepts in Metamodelling, Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISSN 9788251928434. s. 207–218. Fulltekst i vitenarkiv
• Zhang, Weiqing; Møller-Pedersen, Birger & Kai, T. Hansen (2011). Metamodel-based Tool Integration, Norsk Informatikkonferanse NIK 2011. Tapir Akademisk Forlag. ISSN 9788251928434. s. 251–254. Fulltekst i vitenarkiv
• 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 9783642233142. doi: 10.1007/978-3-642-23315-9_38. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv 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

• 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. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv
• 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 9783642155789. s. 106–120. Fulltekst i vitenarkiv
• 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 9783642161445. s. 1–15. Fulltekst i vitenarkiv
• 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 9783642136870. s. 93–107. Fulltekst i vitenarkiv
• 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 9781450304054. s. 81–96. Fulltekst i vitenarkiv
• 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 9783642005923. s. 34–48. Fulltekst i vitenarkiv
• 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 9781605585499. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv
• 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 9783642024078. s. 67–82. Fulltekst i vitenarkiv
• 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 9783642026737. s. 2–17. Fulltekst i vitenarkiv
• 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. 8(7), s. 59–85. Fulltekst i vitenarkiv 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.

• 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 9788251924917. s. 25–36. Fulltekst i vitenarkiv
• 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 9780769533032. s. 139–148. Fulltekst i vitenarkiv
• 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. INSTICC (Institute for Systems and Technologies of Information, Control and Communication). ISSN 9789898111517. Fulltekst i vitenarkiv
• 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 9783540890195. Fulltekst i vitenarkiv
• 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 9783540699262. s. 122–136. Fulltekst i vitenarkiv
• 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 9783540690955. s. 262–277. Fulltekst i vitenarkiv
• Møller-Pedersen, Birger & Østerås, Ketil (2007). Interfaces with traits. I Sandnes, Frode Eika (Red.), Norsk informatikkonferanse NIK 2007. Tapir Akademisk Forlag. ISSN 9788251922722. Fulltekst i vitenarkiv
• 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. s. 1–57. Fulltekst i vitenarkiv 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

• Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 4344, s. 98–113. Fulltekst i vitenarkiv
• 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 9788251921862. Fulltekst i vitenarkiv
• 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 9788251921862. Fulltekst i vitenarkiv
• 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 9783540332527. s. 589–618. Fulltekst i vitenarkiv
• 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 9783540332527. s. 195–241. Fulltekst i vitenarkiv
• 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 9780849328244. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv
• 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 9781402075018. Fulltekst i vitenarkiv

Se alle arbeider i NVA

• Prinz, Andreas; Møller-Pedersen, Birger; Fischer, Joachim & Thalheim, Bernhard (2024). Understanding Modelling and Programming. Springer Nature. ISBN 9783031712791. 128 s. Fulltekst i vitenarkiv
• 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 9781450318099. 39 s. Fulltekst i vitenarkiv
• 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 9788251928434. 262 s. Fulltekst i vitenarkiv
• 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 9788251924917. 170 s. Fulltekst i vitenarkiv
• 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 9788251922722. 224 s. Fulltekst i vitenarkiv

Se alle arbeider i NVA

• Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2022). Using supplementary properties to reduce the need for documentation. Fulltekst i vitenarkiv
• Madsen, Ole Lehrmann & Møller-Pedersen, Birger (2022). What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming. Fulltekst i vitenarkiv
• Prinz, Andreas; Xanthopoulou, Themis Dimitra; Gjøsæter, Terje & Møller-Pedersen, Birger (2022). On abstraction in the OMG hierarchy: systems, models, and descriptions. Fulltekst i vitenarkiv
• Møller-Pedersen, Birger & Runde, Ragnhild Kobro (2016). State Pattern supporting both composite States and extension/specialization of State Machines. Fulltekst i vitenarkiv
• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2012). Augmenting Product Lines. Fulltekst i vitenarkiv 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. Fulltekst i vitenarkiv 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

• 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 9781450318099. s. 1–2. Fulltekst i vitenarkiv 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.

• 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. Fulltekst i vitenarkiv 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.

• Fleurey, Franck; Haugen, Øystein; Møller-Pedersen, Birger; Svendsen, Andreas & Zhang, Xiaorui (2011). Standardizing Variability - Challenges and Solutions. Fulltekst i vitenarkiv
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Using Variability Models to Reduce Verification Effort of Train Station Models. Fulltekst i vitenarkiv
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Analyzing Variability: Capturing Semantic Ripple Effects. Fulltekst i vitenarkiv
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Specifying a Testing Oracle for Train Stations. Fulltekst i vitenarkiv
• Svendsen, Andreas; Haugen, Øystein & Møller-Pedersen, Birger (2011). Synthesizing Software Models: Generating Train Station Models Automatically. Fulltekst i vitenarkiv
• Svendsen, Andreas; Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2011). Towards Evolution of Generic Variability Models. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv
• Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2008). Semantics-based Weaving of UML Sequence Diagrams. Fulltekst i vitenarkiv
• Grønmo, Roy & Møller-Pedersen, Birger (2008). Semantics-based Weaving of UML 2 Sequence Diagrams. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv
• Grønmo, Roy & Møller-Pedersen, Birger (2007). Aspect Diagrams for UML Activity Models. Fulltekst i vitenarkiv
• Grønmo, Roy & Møller-Pedersen, Birger (2007). Aspect Diagrams for UML Activity Models. Fulltekst i vitenarkiv
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Modeling Variability - From Direct Modeling to Generative Modeling. Fulltekst i vitenarkiv
• Haugen, Øystein & Møller-Pedersen, Birger (2006). Configurations by UML. Fulltekst i vitenarkiv
• Shakari, Peyman & Møller-Pedersen, Birger (2006). On the Implementation of a Tool for Feature Modeling with a Base Model Twist. Fulltekst i vitenarkiv
• Møller-Pedersen, Birger; Haugen, Øystein & Oldevik, Jon (2005). Comparison of System Family Modeling Approaches. Fulltekst i vitenarkiv
• Møller-Pedersen, Birger (2004). On the use of UML 2.0 for System Family Modeling. Fulltekst i vitenarkiv
• Møller-Pedersen, Birger; Haugen, Øystein; Oldevik, Jon & Solberg, Arnor (2004). An MDA®-based framework for model-driven product derivation. Fulltekst i vitenarkiv 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.

• Zhang, Xiaorui; Haugen, Øystein & Møller-Pedersen, Birger (2013). Semantic Differencing for Product Line Evolution. SINTEF AS. ISSN 9788214053326. Fulltekst i vitenarkiv 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). Improving Domain-Specific Languages by Analyzing, Constraining and Enhancing Metamodels. SINTEF Digital. 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

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

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

• Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger & Krogdahl, Stein (2007). Weaving of UML sequence diagrams using STAIRS. Universitetet i Oslo. Fulltekst i vitenarkiv Vis sammendrag

  In this report we explore aspect-oriented modeling for UML 2.0 sequence diagrams. We ensure that the aspect weaving is semantics-based by using a formal trace model for sequence diagrams. A major challenge is to handle unbounded loops which produce infinite traces. We establish a systematic way to permutate and rewrite the original loop definition so that the weaving in many typical cases can be performed on a finite structure. We prove that it is always sufficient to consider a loop with upper bound relative to the pointcut definition to discover if the loop has infinitely repeating matches. A running example illustrates the approach and a prototype weaving tool is being implemented.

Se alle arbeider i NVA