Modelling with Papyrus: Domain-Specific Modelling Languages using UML Profiles

Transcription

1 Modelling with Papyrus: Domain-Specific Modelling Languages using UML Profiles Kristof De Middelaer University of Antwerp Abstract Domain specific modelling languages (DSML) are often built from scratch. An alternative way of doing this is by taking the Unified Modelling Language (UML) and tailoring it to the needs of the domain. This can be done by using UML s profiling system. We take a look at how we can use Papyrus (an Eclipse based UML2 modelling tool) to accomplish this goal using a Railway DSML as example. Keywords: UML2, UML Profile, DSML, Papyrus, Modelling, Eclipse 1. Introduction There are numerous reasons why one would want a (domain specific) modelling language. One of the reasons being that it adds another layer of abstraction so that domain experts can more easily build and argue about models without having to learn how to code. For a long time modelling languages weren t standardized. Numerous modelling languages existed that were used for the same purpose. The Object Management Group (OMG) unified some of these modelling languages and created UML: the Unified Modelling Language. UML made it possible to describe systems in such a way so that everyone who understood UML could understand the model. Nowadays, a lot of UML tools exist. However, a lot of them are proprietary. This makes the users of these tools dependent on the vendor providing the tools which is always a risk: imagine the vendor dropping support or decides to stop developing the tool. For this reason, open source tools are often preferred by the industry and academia. The Eclipse project provides an open source tool for graphical modelling of UML2 models: Papyrus. It implements 100% of the OMG UML specification and has become the de facto standard implementation of the UML2 meta-model. Papyrus also supports the use of UML profiles which makes it suitable to create domain specific languages.

2 The following sections talk about UML, Papyrus and how they can be used to create domain specific languages. Section 2 talks about UML in general and UML profiles. Section 3 gives information about what relevant functionality Papyrus has to offer. Sections 4 and 5 talk about how a DSML can be built by creating a Papyrus plugin and section 6 talks about further possibilities such as model execution. Section 7 concludes and gives a short review of Papyrus in terms of DSML modelling. 2. UML The Unified Modelling Language (UML) is the successor to the wave of object-oriented analysed and design methods that appeared in the late 80s and early 90s. [1] Instead of everyone using their own language, a standardized modelling language makes it easier to communicate about models. Models also allow us to work at a higher level of abstraction. A model may do this by hiding or masking details, bringing out the big picture, or by focusing on different aspects of the prototype. UML is a general-purpose modelling language. It helps you specify, visualize and document models of (software) systems. Using a UML-based tool (such as Papyrus) you can analyze the requirements and design a solution that meets them. This solution can then be represented using UML s diagram types UML diagram types UML defines thirteen types of diagrams which are divided into three categories Structure Diagrams These diagrams represent static application structure. Class Diagram Object Diagram Component Diagram Composite Structure Diagram Package Diagram Deployment Diagram Behavior Diagrams These diagrams represent general types of behavior. Use Case Diagram Activity Diagram State Machine Diagram 2

3 Interaction Diagrams These diagrams represent different aspects of interactions. Sequence Diagram Communication Diagram Timing Diagram Interaction Overview Diagram 2.2. DSML using UML Often times a single modelling language will not be enough to cover all the various concerns involved in a specific area. A domain specific modelling language (DSML) is needed. Instead of building these DSMLs from scratch, UML could be adopted and tailored to the needs of the domain. A custom language (that is not based on UML) has the advantage that it can be defined in a way that is optimally suited to the domain. However, imagine each individual subdomain of a complex system using a different modelling language. Getting these submodels into a consistent, integrated whole that can be verified, tested or simply unambiguously understood poses quite the challenge. If all of system s submodels are based on UML, existing UML tools and widely available UML expertise can be reused. Note that this does not completely solve the integration issues but mitigate these because of the common UML semantics and syntax. But how do we create a DSML using UML? This is where UML profiles come into play UML profiles In UML profiles all domain specific concepts are derived as extensions or refinements of existing UML concepts (which are the UML metaclasses). These extensions are called stereotypes. They are profile classes that extend UML metaclasses. Figure 1: Train is a stereotype that extends the Metaclass Class 3

4 These stereotypes can also include tagged values. Since UML 2.0 a tagged value is represented as an attribute defined on a stereotype. Stereotypes can also be used to change the graphical appearance of the extended model element by attaching icons. Figure 2: A custom icon that is given given to the stereotype.[7] Constraints (such as OCL constraints) can also be defined. These apply to stereotypes defined in the profile. Using these constraints we can further constrain elements of the UML metamodel. For example, we could define an OCL constraint that says that all instances of Class need to have at least one operation. Constraints that can t be expressed in OCL have to be denoted in natural language which can then be rewritten in some language the used UML tool will understand. 3. Papyrus 3.1. About Papyrus is an Eclipse-based tool that uses the Eclipse Graphical Modelling Framework (GMF). It aims at providing an integrated and userconsumable environment for editing any kind of Eclipse Modelling Framework (EMF) model (in particular UML and related modelling languages such as SysML 1 ). Papyrus offers this integrated and userconsumable environment by providing diagram editors for these models Functionality UML modelling Papyrus allows users to build UML2 models that strictly conform to the OMG s UML specification. If something cannot be represented in Papyrus, it generally means that it is not allowed by the specification.[8] These models can be created and edited using the graphical editor. 1 A dialect of UML for systems engineering applications: 4

5 As mentioned before, there are a lot of functions in support of UML2 modelling. To name a few: a tools palette which allows the creation of UML elements in the diagram, a properties window that allows you to edit UML elements and OCL constraints can be specified for each UML element which can then be checked. Figure 3: UML diagram in Papyrus DSML Papyrus provides extensive support for UML profiles. This allows the user to create profiles for their domain which serves as the domain specific modelling language. The UML profile can change the concrete syntax: instead of the standard UML graphics, custom icons can either be added to these or completely replace them. Papyrus also provides powerful tool customization capabilities. This way the tools can be customized to better fit the domain. In other words: when a profile is applied, the tool may adapt its visual rendering and GUI to fit the specific domain supported by that profile. 5

6 Figure 4: Customized tool and icons. Eclipse provides the Papyrus User Guide Series. It is a series of documents dedicated to assist the usage of Papyrus. There is a volume focused on using UML profiles within Papyrus: from design and definition to application and usage.[5] This 30 pages long document explains how to define and apply a very basic UML profile Papyrus plug-ins As Papyrus is based on Eclipse, it supports the use of plug-ins. What we want to do is create a new Papyrus plug-in for our DSML. This way distribution is easy by either copying the plug-in files into the correct directory or by using an update site. As the following section will contain some Eclipse plug-in references, we ll first take a look at how Eclipse plug-ins work. When people hear Eclipse they usually think about the Eclipse IDE. However, the Eclipse IDE is based on the Eclipse Rich Client Platform (Eclipse RCP) which can be used as a basis to create other sorts of feature-rich stand-alone applications. The Eclipse RCP provides the existing user interface and the internal framework which can be extended using plug-ins. The Eclipse IDE for example extends the Eclipse RCP with Java development or C development tools as plug-ins. Papyrus works the same way: it is also based on the Eclipse RPC and provides plugins for UML modelling and all its capabilities. Apart from building an extension for the Eclipse RPC it is also possible to write extensions for Papyrus. This is done by creating a plug-in that uses the concept of extensions and extension points. Papyrus offers a set of extension points in which we can plug in our extensions. Concretely: Papyrus offers 6

7 extension points such as org.eclipse.papyrus.uml.extensionpoints.umlprofile at which we can register a certain profile which then becomes part of our extended Papyrus program. Eclipse provides a plug-in development environment which can be used to more easily create plugins instead of creating these with raw files. Figure 5: Creating an Eclipse plugin 7

8 4. DSML modelling in Papyrus In order to create a DSML in Papyrus the following steps need to be followed. First, a general step that is inherent to creating a DSML: identifying domain concepts and relations. In this report the railway domain has been chosen as an example. Then we need to create a UML Profile that reflects our DSML. We create stereotypes, a concrete syntax etc. After this we add constraints in order to be able to validate models created by the user. Of course, the user needs to be able to create the models so we need a new type of diagram. In our railway example this will be the Railway Diagram. Figure 6: Creating a DSML 4.1. Identifying domain concepts and relations A first, general step in creating a DSML is identifying domain concepts and relations. This step is not explained here as it is not what this report is about. For the example in this report the railway domain has been chosen. Note that this is more of a toy example to show the DSML functionality of Papyrus instead of a fully correct railway DSML. 8

9 4.2. Creating the UML profile Creating the UML profile is quite a straightforward process. You first start by creating a new Papyrus Project (or diagram) where you ll create the profile (file >new >Papyrus Project). This will open up the new Papyrus Project wizard. Most steps are straightforward: when asked to select a diagram language choose profile. Figure 7: Select the Profile diagram language Complete the wizard and when asked, select the Profile Diagram kind. Now we need to create our stereotypes, give them tagged values and add images to these. Our stereotypes are extended from metaclasses. A metaclass can be added by selecting import metaclass from the palette, clicking in the diagram and then selecting the desired metaclass. 9

10 Figure 8: Import metaclass from the palette Once this metaclass has been added we can start creating stereotypes that extend these. Figure 9: Metaclass extension We can add tagged values to our stereotypes by selecting property from the palette to our stereotype and clicking in the diagram. In the properties of this tagged value we can choose the type, the initial value and other things. 10

11 Figure 10: Editing a tagged value Once we have our stereotypes we can add images to these. In the properties of the stereotype under the UML tab we can add an icon. There seem to be numerous ways of adding icons to the stereotypes but the only way I found to be working was by adding the location of an svg file to the stereotype and then creating a CSS file that makes the images visible and hide the usual UML boxes when creating an element. This CSS file can be found at resources/railway/custom.css. A user can manually apply UML profiles. In a true DSML environment it is preferable to hide as much of UML as possible. Automatic application of a UML profile is possible but there is no very user-friendly way of doing this. This is done programmatically by overriding the initializemodel method in a class that extends from ModelCreationCommandBase and adding some code here. This can be found in src/railway/createrailwaymodelcommand.java Adding constraints Model validation is an important aspect of using a DSML. Papyrus provides support for constraints in the form of OCL or Java. I found no real documentation about the Java constraints and chose to write OCL constraints as there was more documentation for this and as I tried to stay away from writing Java code as much as possible. Adding a constraint to a UML profile can be done by selecting constraint from the palette and then clicking in the diagram. In this element the constraint can be written by choosing the constraint s context and adding a specification in the UML tab in the constraint block s properties. 11

12 Figure 11: Adding a constraint An issue I encountered was when trying to create a constraint using Train.allInstances(). The returning set was always of size 0 and I had no clue why. I asked on the Papyrus forums and turns out that it was a bug. A bug report was filed and it has been supposedly been fixed. When creating a model in the DSML, the constraints can be checked by right clicking on the diagram and letting it verify the model. Manually doing this is not ideal. It would be nice to alert the user and prohibiting a certain action at the time the user is doing it. I found no functionality for doing this in the standard Papyrus install. However, I found a validation plug-in that is supposed to support the live evaluation of constraints and some more handy features. The validation plug-in contains a UML profile that can be applied to the UML profile being created. It contains a stereotype for constraints which provides these advanced features. After creating the constraints, you would generate a validation plug-in that takes care of the constraints. Unfortunately, the plug-in doesn t really work as it is supposed to for OCL. It should work with Java constraints but that would be too impractical. The problem is that the OCL constraints are defined and validated in different OCL environments (LPG vs. Pivot) which renders these unusable Creating a custom diagram When a DSML user creates a model they d need to create a new diagram and add elements in that diagram. It s important that this diagram is of a new type as modelling the domain specific language in a UML diagram is not very desirable. Creating an environment that facilitates the use of the DSML and hides all UML would be nice. 12

13 Unfortunately, the online Papyrus documentation concerning this is very limited and does not really specify how this can be done. Papyrus comes bundled with SysML support which accomplishes this. So in theory I just had to open the SysML plug-ins and see how this had been done. There were numerous SysML plugins which did a lot of things. I had found what extension points I needed to use in order to add a new diagram category and diagram. After some searching I found the org.eclipse.papyrus.infra.core.papyrusdiagram extension point which could be used for this. There was little documentation on doing this in the help section. The things I achieved using this approach was quite limited as it was quite complex, impractical and involved a lot of Java coding. I turned to the Papyrus forums for some help and Camille Letavernier (a Papyrus developer) told me that that was the old way of doing things. There is a new way of doing this which is being used in the new SysML version called viewpoints. After installing and inspecting the SysML1.4 plug-ins together with the documentation (Help >Help Contents >Papyrus Guide >User Guide >Viewpoints in Papyrus) I found out how viewpoints were created Viewpoints The Papyrus documentation describes viewpoints as follows: Viewpoints in Papyrus enable the specialization and customization of the user experience by constraining what can be seen and interacted with in Papyrus diagrams and tables. Figure 12: A viewpoint file For our Railway example I created a Railway viewpoint which creates the Railway diagram that is under the Railway category, adds the custom palette and the custom CSS file that enables the stereotypes to show. Normally, creating 13

14 the Railway category could just be done in the viewpoint.configuration file but that didn t work. Creating the diagram category using the old org.eclipse.papyrus.infra.core.papyrusdiagram did work. Besides the earlier mentioned custom CSS file (that takes care of the concrete syntax) the palette is a very important part of modelling in Papyrus. Elements are added to the diagram by selecting them from the palette and clicking in the diagram. A custom palette can manually be made which generates an XML file in your workspace folder at.metadata/.plugins/org.eclipse.papyrus.diagram.common. This XML file can then be included in the plug-in and used in the viewpoint so that it automatically gets loaded. Figure 13: Creating a custom palette After defining the viewpoint, it can be added to the Railway plug-in through the org.eclipse.papyrus.infra.viewpoints.policy.custom extension point. You can either choose your viewpoint to be a contribution or a configuration. The contribution choice will add your new viewpoint to the already existing UML/SysML viewpoints. If the configuration element is chosen your new viewpoint will be the only one used. For our example the user should only be able to build models in our DSML. Hiding the other options will make for a cleaner, less complicated environment. 14

15 Property views In Papyrus, every element in a diagram has a properties view. In this properties view one can edit the element s information. In a DSML context it makes sense to show the tagged values and make them editable. In order to get this functionality in the properties tab we have to create a new properties context file. Papyrus provides a wizard to generate such a properties context file from a UML Profile (File >New >Other >Papyrus/Property view configuration). This properties context can be hot deployed as well as be included in the DSML plug-in directly through the org.eclipse.papyrus.views.properties.context extension point. As we re creating a UML profile, numerous tabs in the properties windows in our stereotypes contain UML information. We generally want to hide this information from the user. This can be done by deselecting the contexts we want to hide in the workspace preferences (Window >Preferences >Papyrus >Property views). Figure 14: Selecting the desired contexts 15

16 Diagram assistants Papyrus UML diagrams provide a feature called diagram assistants that offer context-sensitive tools directly in the diagram. These assist the user in two ways: there are pop-up bars that contain a variety of tools for the creation of new model elements. The other way the assistants help is by providing connection handles which can be used to easily create new connections to other elements in the diagram. The capabilities of these diagram assistants can be extended in order to provide assistence for our profile-based DSL. Unfortunately, it seems to be that there is no way to hide the existing UML assistance which makes these assistants rather unuseful. 5. The complete DSML plug-in 5.1. Exporting and installing the plug-in Once the development of the plug-in is finished, it can be exported. When opening the plugin.xml file, there is an export wizard that helps you do this. In order to use this plug-in you can copy the generated.jar file to the plug-ins folder of your Papyrus installation and restart Papyrus. Another way of doing this is by creating an update site for your plug-in. If you want to do this, I suggest taking a look at the Eclipse documentation on this Using the plug-in After starting Papyrus with our plug-in installed we need to make some one time adjustments in order to be able to fully use the plug-in. Open Window >Preferences >Papyrus In the Viewpoints Configuration section: choose Deployed through the extension point as configuration selection. In the Property Views section: deselect the contexts we want to hide as described in section Now you should be able to create a new Papyrus Railway project, create a Railway diagram and create a model using the palette and property view. 6. Further possibilities As Papyrus is Eclipse-based it is based on technology which works with other tools such as code generators, model checkers and transformation engines. 16

17 6.1. Operational semantics For adding operational semantics there is a tool called MOKA[10] which is used for model execution and is recommended in the Papyrus user guide. MOKA is a Papyrus module for the execution of UML models, it is quite extendable in order to support alternative execution semantics as you would want to have with DSMLs. Models can interactively be executed and CSS can be used to visualize the execution Translational semantics For translational semantics one can use a transformation language such as QVT[11]. 7. Conclusion Development of domain specific modelling languages ogether with a DSML environment should be easy and well documented. Papyrus has great potential but at the moment of writing this report it has some issues. It isn t very user friendly to build a DSML environment: I encountered numerous bugs (most of them reported but not fixed), documentation was lacking and sometimes outdated. If the process of creating the modelling environment could be streamlined and well documented I m sure Papyrus could gain a bigger userbase. One of the big strengths of Papyrus is that you can reuse Papyrus as a DSML environment. In order to do so, one has to write a Papyrus plug-in. All of this combined means that using Papyrus for domain specific modelling has quite a steep learning curve. Once these issues have been resolved and there is proper documentation Papyrus could be a great way of creating DSMLs. 17

18 References [1] M. Fowler, UML Distilled, 2nd edition, Addison-Wesley, [2] I. Object Management Group, What is uml?, gettingstarted/what_is_uml.htm (2015). [3] I. Object Management Group, Uml website, (2015). [4] T. E. Foundation, Papyrus website, (2015). [5] T. E. Foundation, Papyrus user guide: About uml profiling, PapyrusUserGuideSeries_AboutUMLProfile_v1.0.0_d pdf (2011). [6] Softeam, The uml profile technology, omcw/resources/chapter04/downloads/theumlprofiletechnology. SOFTEAM.ppt. [7] uml diagrams, Uml profile diagrams, profile-diagrams.html. [8] T. E. Foundation, Eclipse newsletter april 2014, org/community/eclipse_newsletter/2014/april/article2.php (2014). [9] TechnologyUK, Uml profile diagrams, computing/uml/profile_diagrams.shtml. [10] B. M. Arnaud Cuccuru, J. Tatibouet, Moka model execution, wiki.eclipse.org/papyrus/userguide/modelexecution. [11] I. Object Management Group, Qvt, [12] G. P. Paul Roubekas, N. FAUVERGUE, others., Papyrus user guide, [13] P. Eclipse, Papyrus youtube channel, channel/ucxypoblzc_rkls7_k2dtwya. [14] C. Damus, Christian damus youtube channel, channel/ucdyrc4lezoxkituy7b8xpna. 18