Component-Based Modeling in Umple

Component-Based Modeling in Umple

Component-based Modeling in Umple Mahmoud Husseini Orabi, Ahmed Husseini Orabi and Timothy C. Lethbridge School of Electrical Engineering and Computer Science, University of Ottawa, 800 King Edward Avenue, Ottawa, Canada Keywords: Umple, Active Object, Composite Structure, UML. Abstract: Modelling tools provide weak or no support for the rich semantics of composite structure, such as enforcing connection constraints and maintaining referential integrity. Tools that generate code from composite structure typically depend on excessive and complex internal class representations such as Actor or BasePort. In this paper, we present easy-to-comprehend syntax describing composite structure in Umple. We describe a novel protocol-free approach that dynamically extracts communication protocols as a way to ease component-based modelling, and lead to concise and optimized code generation. We outline Umple composite structure features, and the related code generation patterns that resolve difficulties around connections and the integrity of multiplicity constraints. 1 INTRODUCTION Motivated by the above, we show how we extend Umple, an open-source tool, to support composite Composite structure development refers to the structure and overcomes such limitations. implementation of concurrent components that Umple is a text- and model-oriented interact and communicate via ports and connectors programming language that allows for generative (Orabi, Orabi, & Lethbridge, 2016). programming using many target languages such as In UML, interactions among components are C++, Java, and PHP (Badreddin, Forward, & handled as messages and signals. There are two Lethbridge, 2014; Badreddin, Lethbridge, & message-passing actions, one-way call Forward, 2014; Lethbridge, Abdelzad, Husseini (asynchronous call) and calls that block waiting for a Orabi, Husseini Orabi, & Adesina, 2016; Orabi et al., response (synchronous call). An asynchronous call is 2016). Umple implements the core features of UML, referred to as a one-way message passing, since it such as state machines, associations, and attributes. In does not support a scheduling mechanism to receive addition, Umple provides other usable features to results. Typically, events are triggered when ease development such as traits, mixins, and aspect- receiving messages by invoking a corresponding orientation. The selected target language in this paper method. Event handling is often done in a is C++. Umple features can be fully tried and tested component's state machine. using the UmpleOnline website (try.umple.org). Handling message flow among ports and Our key contributions can be summarized as components usually depends on protocols. Typically, follows: defining a protocol involves repetitive steps with • We support major composite structure features redundant information to define how in and out using compact keywords and shortened syntax. events are managed. Hence, complexity is added to • We provide generic extensible communication the development process. and transport definitions to support distributed Open-source tools such as eTrice and ArgoUml examples. We implement support for the do not support all the major features of composite TCP/UDP communication protocol and JSON as structure (Orabi et al., 2016). On the other hand, a message interchange format to be the default commercial tools that provide strong support to medium for communication among distributed composite structure typically restrict users to certain components. libraries, such as Connexis, which is tightly integrated with RSARTE (Lakkimsetti, 2014). 247 Orabi, M., Orabi, A. and Lethbridge, T. Component-based Modeling in Umple . DOI: 10.5220/0006715902470255 In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), pages 247-255 ISBN: 978-989-758-283-7 Copyright © 2018 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved MODELSWARD 2018 - 6th International Conference on Model-Driven Engineering and Software Development • We incorporate the active object pattern restrictions, and support a wide range of systems, (Lavender & Schmidt, 1996) to extend and either software or hardware. enable the request-scheduling mechanism. SysML only uses seven of the UML diagrams • We implement a protocol-free approach, in (Figure 1) in addition to two diagram types, which protocols are inferred from ports, requirement and parametric (Figure 2). A class connectors, and components. diagram is called a "block definition" diagram and a • Our implementation works for distributed component (composite) structure diagram is called an applications, and does not restrict users to certain "internal block" diagram. network paradigms or any particular transport data format. Composite structure features are introduced to Umple as a part of this research, as a major step towards the development of connected embedded devices. 2 COMPONENT-BASED Figure 2: UML diagram types. MODELLING AND SDL’s main purpose is to provide unambiguous STANDARDS software system specifications (Olsen, Færgemand, Møller-Pedersen, Smith, & Reed, 1994). SDL has Many of the existing component-based modelling mainly been used in the modeling of real-time tools (Orabi et al., 2016) adapt specifications such as communication systems. It provides similar UML (OMG, 2011), SysML (Mallet, Peraldi-Frati, & functionality as UML but with different terminology André, 2009), Specification and Description and notation (Table 1). Language (SDL), and Real-time Object-Oriented ROOM was developed by ObjectTime and Modelling (ROOM) (Selic & ObjecTime, 1996). introduced in the ObjectTime Developer Tool (ODT) In our work, we are more inspired by UML, since, (Selic & ObjecTime, 1996). ROOM incorporates a 1) OMG uses UML as the de facto modeling notation variant of Harel's statecharts. In 1996, for object-oriented systems (Grady Booch, James RoomLanguage represented the actor as the primary Rumbaugh, 2005), and 2) UML is well-known for element that communicates with other elements using design specification for real-time systems, especially port interfaces. A port is an instance of a protocol embedded devices. As well, in terms of real-time class that defines the message communication modelling, we follow many of the ROOM between actors. The concept of Actor was later specifications. However, we have an extended the referred to as a Capsule in UML-RT. ROOM supports active object pattern to handle concurrency (Orabi, hierarchical modeling and incremental refinement of 2017). complex behaviour. Table 1: UML to SDL term mapping. UML SDL Class Type Interface Interface Associations Channels Operations Signal List Variable Attribute Figure 1: SysML diagram types. Sub Block Abstract Abstract Additional SysML diagrams, as compared to UML are Implementation Process highlighted Type Gate SysML provides a lightweight profile of UML in Inheritance Inheritance terms of aspects such as stereotypes, constraints, and tagged values; hence, it can ease and reduce UML 248 Component-based Modeling in Umple 3 COMPOSITE STRUCTURE IN interchange transport formatters. By default, we support TCP/IP as a connection mechanism, and UMPLE JSON as a data interchange format. The code can be easily extended to support different connection In Umple, components, ports, and connectors are mechanisms such as UDP and Bluetooth, and other used to describe structural implementation of an formats such as XML. object, while state machines are used to define its behaviour. A component is viewed as an active object 3.1 Components and Parts entity with a unique identifier (UID) that handles its own thread of execution and encapsulates its well- A class becomes a component if it has at least one defined behaviour. active method, port, or connector. An active method The implementation of composite structure in is defined as a regular method proceeded by the active Umple uses an extended version the active object keyword (Snippet 1 - Lines 2 and 9). When invoking pattern (Orabi, 2017). In Umple, an active object class an active method, it executes asynchronously, since it is referred to as a component. Communication among has its own thread. components is established via ports and connectors, with necessary protocols being internally generated 1 class A { // A component Umple and hidden from the developer. 2 active method1 { Each component has a public interface, UID, 3 cout <<"Method without parameters" internal router, connection type, and transport data 4 << endl; 5 } format. An internal router is used to manage 6 } components in a distributed system. 7 We use template meta-programming (TMP) to 8 class B { avoid stub generation, reduce the volume of code the 9 active method2 (int someParam) { user has to write, and provide an extensible 10 cout << " Parameter value"" << communication stack (Orabi, 2017; Smaragdakis & 11 someParam <<endl; Batory, 2000). 12 } The public interface refers to the methods 13 } exposed for communication, which can be 14 15 class C { synchronous, asynchronous, or future asynchronous. 16 A a; They are internally represented as a generic template 17 B b; proxy that enables a publish-subscribe mechanism, 18 } and uses the internal router of their owning class. Standard public methods are synchronous, while port Snippet 1: An example of a component definition. public interface methods are asynchronous. A special case is future asynchronous, which represents an A part, or subcomponent, is an instance of a active method with a return type. This

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    9 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us