UML-based transformation framework

Top PDF UML-based transformation framework:

An OCL-Based Framework for Model Transformations

An OCL-Based Framework for Model Transformations

We focus on a transformation situation between a statechart and an extended hierarchical automaton. A UML statechart (state machine) [12] offers a light-weight notation for describing the system behavior. In order to model-check statecharts, it is necessary to transform them and represent them in a mathematical formalism like Extended Hierarchical Automata (EHAs). EHAs have been proposed in [13] as an intermediate format to facilitate linking new tools to a statechart-based environment. This formalism uses single- source/single-target transitions (as in usual automata), and forbids interlevel transitions. The EHA notation is a simple formalism with a more restricted syntax than statecharts which nevertheless allows us to capture the richer formalism [13]. Figure 1 presents models for a traffic supervisor system for a crossing of a main road and a country road [14]. The lamp controller provides higher precedence to the main road as follow: If more than two cars are waiting at the main road (this information is provided by a sensor), the lamp will be switched from red to red-yellow immediately, instead of obeying
Show more

16 Read more

Transforming Simplified Requirement in to a UML Use Case Diagram Using an Open Source Tool

Transforming Simplified Requirement in to a UML Use Case Diagram Using an Open Source Tool

The successful development of this software system which could transform User Stories to Use Case Models, would be a partial validation of our Ontology Based Framework, which was published in 2013 [7], [19]. At that stage, using this Ontology Based Framework as a basis, we could develop software which could not only transform User stories to Use case model, ERDs into Class diagrams - (a transformation which has already been conceptually validated by another experiment [20] – but also develop software which could perform other transformations such as lower level DFD to State Diagram and Sequence Diagram, Flow Chart to Activity Diagram, Entity Life History to State Diagram, and so on and so forth.
Show more

10 Read more

A framework for model transformation verification

A framework for model transformation verification

The most comprehensive technology appears to be B, which is also the only one to directly support inductive proof over computation steps. However, B requires substantial expertise in logic and set theory to use successfully, as most verification tasks involve interactive proof: automated proof may only resolve a small percentage of refinement obligations in particular. B also does not provide any counter-example finding capabilities. A disadvantage of many formalisms is that they are based on a two-valued first-order or relational logic, in contrast to the 3-valued logic of OCL used in UML. However, the complexity of the full OCL value system, involving both invalid and null values, and its lack of clear semantics, means that tools which do attempt to handle full OCL necessarily make specific assumptions about the semantics, which may not match the specifier’s intentions [11].
Show more

51 Read more

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML 
BEHAVIORAL DESIGN

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML BEHAVIORAL DESIGN

Model transformation (MT) has become an important concern in Software Engineering [1], because it is related to system design. Model transformation can be used in many different application scenarios, for instance, to provide interoperability between models of different size and complexity [2]. Traditionally, model transformations are done for purposes such as code generation, refinement, and refactoring [3]. Currently, there are researches on Model Transformation from Requirement to Use Case diagram, Use Case description to Activity diagram and Use Case to Sequence Diagram and many more. However, the research is based on only one specific output and not comprehensive as it should be because it only converts the requirement into one specific Unified Modeling Language (UML) diagram at a time. Transformation model need one important approach, which is the requirement traceability in order to trace the keywords as input before automatically converted into UML diagram. In this paper, we propose an approach and tool to transform the requirement into UML model that are Use Case diagram and Activity diagram since there are still not exist the transformation which is required from requirement into behavioral UML diagram called RETRANS. It is different from the existing program because this tool will convert the requirement into two different UML diagrams at a time which is not provided by the existing tool.. We have also come out with a framework as the main guidance for developing this project.
Show more

7 Read more

Review of UML Tools and UML Based Software Metrics for Improving Software Quality

Review of UML Tools and UML Based Software Metrics for Improving Software Quality

Poseidon from Gentle ware has its roots in the Agrium open source project. The Agrium modeling tool evolved as an open source effort and is a useful, full-featured UML tool freely available under the Open Publication License. Gentle ware has taken Agrium a step further and turned it into a good modeling tool. Poseidon comes in different flavors suited to different requirements. Poseidon supports forward and reverse engineering and documentation generation by using special-purpose plug-ins. Gentle ware has not forgotten its open source moorings and offers the Poseidon for UML Community Edition 1.5 free for individual software developers.
Show more

6 Read more

An enhanced UML consistency checker using logical approach

An enhanced UML consistency checker using logical approach

There are many researchers involved in doing research on managing syntactical and horizontal inconsistency between UML diagrams. However, limitations such as huge complexity of the UML that contains different notations, different types of diagram for different view of a system and lack of UML syntax and semantics are some of the sources of inconsistencies problem in a UML model. Therefore, in order to improve the validating consistency of the UML model requires constant improvements. Numerous approaches related to consistency specification and inconsistency detection has been carried out. However, current solutions using simplified version of the UML result in poor integration between the consistency management with CASE tool environment. Therefore, improvement on consistency rules specification requires the rules to be specified over standard UML elements that adhered to the UML models. Thus, in overcoming the drawbacks as mentioned before, this research focuses on formalizing syntactical rules for part of the UML elements adhering to four (4) UML diagrams; use case diagram, activity diagram, sequence diagram and class diagram, into logical specification. Syntactical rules for each of the UML elements are defined in logical specification to give more precise description to their natural language descriptions. The UML elements are then used to formalize twelve (12) horizontal consistency rules that will be used in detecting inconsistencies between those four (4) UML diagrams. The consistency rules are integrated into UML Checker and are used to validate the UML model. The next chapter discusses the literature on the existing approaches related to consistency management.
Show more

51 Read more

Metamodel transformations between UML and OWL

Metamodel transformations between UML and OWL

Both the Unified Modeling Language (UML) and the Web Ontology Language (OWL) are used for conceptual modeling. Currently, a push towards the use of OWL can be observed. However, whereas UML has been an established conceptual modeling language for decades, OWL struggles with adoption and tool- ing. Academic research has attempted to leverage existing UML models by automatically transforming UML models into OWL ontologies. But despite research spanning over a decade, there is no consensus on how UML should be transformed into OWL. We observed that most studies focus solely on unidirectional transformations from UML to OWL, and tools implementing the transformations are often missing, outdated or abandoned. In addition, there is a lack of case studies that evaluate the quality of the proposed transformations. We have implemented a bidi- rectional metamodel based transformation tool between UML and OWL to contribute to a better understanding of to what extent it is possible to automatically transform UML models into OWL ontologies and vice versa. Based on roundtrip transformations we found out that there is a significant overlap between UML and OWL, making it possible to automatically transform a sig- nificant part of UML models into syntactically valid OWL on- tologies and vice versa. But, there is also a significant loss of information due to a lack of features. Finally, using case studies we found that despite being syntactically valid, peculiarities ex- ist in automatically transformed models and ontologies. These peculiarities exist due to slight differences in semantics of simi- lar constructs, and differences in modeling approaches between UML and OWL.
Show more

95 Read more

Tool Support for fuml Models

Tool Support for fuml Models

The UML Class Diagrams are widely used to create the structure of a model. They are intuitive and easy to use. However, the UML behavior diagrams (Activity Diagrams and State Machines) are not easy to use for larger models. The fUML standard provides a simplified subset of UML Action Semantics package (abstract syntax) for creating executable UML models. It also simplifies the context to which the actions may be applied. For instance, the structure of the model will consist of packages, classes, properties, operations and associations, while the interfaces and association classes are not included.
Show more

8 Read more

Sensivity Analysis of the Cellular Automata Model for Austenite Ferrite Phase Transformation in Steels

Sensivity Analysis of the Cellular Automata Model for Austenite Ferrite Phase Transformation in Steels

Small, medium and large industrial companies aim to de- velop an innovative and efficient manufacturing tech- nology to make products that are competitive on the global market. However, development of these new technolo- gies based on conventional approach composed of indus- trial test and trials is very expensive and time consuming. As a result, industry cannot quickly adapt to the rapidly changing demands of the market. Thus, recently, industry more often relies on technology development supported by a series of numerical calculations and computer simu- lations. These approaches provide possibility to accurately describe material behavior not only at the macro scale level but also can predict changes in the microstructure at the mezo or micro scale levels. As a result, significant drop in the amount of laboratory or industrial tests is possible. This creates an opportunity to save valuable time and also decrease R&D costs. However, access to appropriate hardware and software is crucial in this ap- proach; otherwise it is impossible to take full advantage of the computer aided technology design.
Show more

6 Read more

TOWARDS IMPLEMENTING A FRAMEWORK FOR MODELING SOFTWARE REQUIREMENTS IN MAGICDRAW UML

TOWARDS IMPLEMENTING A FRAMEWORK FOR MODELING SOFTWARE REQUIREMENTS IN MAGICDRAW UML

guage and use it properly in practice. A typical modeler should use only a small subset of UML, which is relevant to his work. However, this subset is different depending on the application domain and modeler’s role in software development process. It is also important to understand how to evolve UML mo- dels and relate the requirements artifacts properly. Since UML doesn’t define modeling method, the prac- titioners lack guidance on how to apply it efficiently, and apply it only fragmentally loosing many benefits that UML provides. Practitioners and researchers pro- pose different approaches for eliciting and analyzing software requirements. The most popular method used in modern requirements analysis is use cases. It was invented in Ericsson, popularized by Ivar Jacobson [7] and widely adopted in the industry. UML provides Use Case diagram for visualizing use case analysis artifacts. However, requirements analysis is not limi- ted to use cases that capture only the end user level functional requirements. In order to specify precise requirements one needs to have a good understanding of the business domain. For this purpose, analysts create domain vocabularies, model business processes, business concept relationships, business rules and events, business object lifecycles. For modeling busi- ness processes, one can apply UML Activity diagram or Business Process Modeling Notation (BPMN), which is a new standard from OMG [8]. However, many practitioners still use the outdated IDEF nota- tion [9] or non-standard modeling using vendor- specific symbols provided by tools like Microsoft Visio. For conceptual modeling analysts continue to apply the outdated Entity Relationship (ER) notation, which has been popular in database design since 70s [10]. This notation is pretty straightforward to map to UML Class diagram with a limited level of visible details. A lot of attention is paid to the business goals [11], business rules [12, 13
Show more

12 Read more

Transformation by Modeling MOF 2.0 QVT: From UML to MVC2 Web model

Transformation by Modeling MOF 2.0 QVT: From UML to MVC2 Web model

Object Constraint Language (OCL) is a formal lan- guage used to describe expressions on UML models. These expressions typically specify invariant conditions that must hold for the system being modeled or queries over objects described in a model. Note that when the OCL expressions are evaluated, they do not have side effects. OCL expressions can be used to specify oper- ations / actions that, when executed, do alter the state of the system. UML modelers can use OCL to specify application-specific constraints in their models.

11 Read more

Modeling Extraction Transformation Load Embedding Privacy Preservation using UML

Modeling Extraction Transformation Load Embedding Privacy Preservation using UML

ETL is an important foundation of building data warehouse[1]. Users extract the required data from the data source, clean the data in accordance with pre-defined model schema and then data will be loaded into the data warehouse. A common management and design tool for ETL , system structure and program framework has been discussed in [1]. Traditional methods of ETL development are very much difficult to meet business requirements so the authors have demonstrated an extended UML mechanism by which a faster representation is possible [2]. In [3] the authors have studied how the meta data can be used such that higher performance can be achieved and has also shown optimization using meta data concept gives better performance.
Show more

5 Read more

Transformation of the World Order from Unipolar System to a Multipolar One: Some Theoretical Analyses

Transformation of the World Order from Unipolar System to a Multipolar One: Some Theoretical Analyses

stagnate period compared to the growing major power’s economies, and this accelerates the decay of the United States unipolarity (Lundestad and Jakobsen, 2011). In addition, historically, due to having the highest ratio of involvements in wars, the unipolar configuration is deemed as conflict prone, which adversely affects its stability (Monteiro, 2011/2012). Fettweis (2017) holds the similar opinion by stating that the recent peaceful condition of the world cannot be attributed to the global order provided by the United States. At the same time, by opposing the hegemonic stability theory, the realist scholars opine that one new major power has already emerged to counter the American power, while others are in the wings (Layne, 2012). Moreover, by recognizing the power shift, the US administration has already admitted the appearance of the multipolarity (Keersmaeker, 2017). In the same way, considering the demographics, military, and economic capabilities, General Joseph Dunford, the Chairman of the Joint Chiefs of Staff of the US Armed Forces, has argued that China will be the most significant threat to the United States by 2025 along with Russia (Browne, 2017). Thus, the evidences demonstrate that due to the rising of some competent major powers, the international system is converting from unipolarity to multipolarity. Moreover, the underlying balance of power dynamics regarding the ongoing changeover of the international system from unipolarity to multipolarity confirms the theoretical framework of this study.
Show more

7 Read more

Enterprise modeling:process and REA value chain perspective

Enterprise modeling:process and REA value chain perspective

activity diagram. To facilitate the process and make it more transparent, unique mapping between both perspectives was designed and verified. Each agent is mapped into a single partition which is important because agents play decisive roles in those processes. Each event is transformed into a unique frame. The frames are named after events. So the simple checking of transition is that the number of frames has to comply to the number of events. Resources are illustrated in the border lines between two neighboring agents. The activity diagram also reflects relations between entities in the REA model. Finally, each activity diagram has its starting point and point of terminations that are also illustrated in the diagram. UML state and sequence diagrams utilize UML activity diagram for describing different views on the problem. Transition described in the paper shows potential for introducting the commitments into the activity diagram too what could lead to modeling of cycles. But this is a task for further research. Thus, it can be seen that business process modeling based on value chain is possible and advantages of value chains can be used. However, there are still questions open for further research. Firstly, no iterations or cycles were modeled. The production schedule normally consists of more production runs planned what leads to necessary modeling of cyclic operations. Secondly, we used a very simple model leaving other processes like planning, reservations, co- operations of more workers or machines beyond model scope. Thirdly, like majority of REA models, our model was created from the single company perspective which makes it difficult to use it to model networks of collaborating trading parties. These questions represent the next research challenges.
Show more

18 Read more

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML 
BEHAVIORAL DESIGN

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML BEHAVIORAL DESIGN

As we know, fuzzy logic control is a model- free method, and it can handle ill-defined and complex nonlinear systems, even those with significant uncertainties and unknown dynamics. Fuzzy rule-based control systems have been extensively used in many areas, including cluster analysis, the controller design, and image processing. The fuzzy control methods have been shown to be effective for systems with uncertainties [7-9]. The stability analysis is always an important

5 Read more

A Model Transformation Environment for Embedded Control Software Design with Simulink Models and UML Models

A Model Transformation Environment for Embedded Control Software Design with Simulink Models and UML Models

Ramos-Hernandez et al. have presented a tool that trans- forms a Simulink model to a UML model[3][4]. The tool generates classes corresponding to each blocks of the Simulink model. A dependency is generated corresponding to a line that connects blocks. M¨uller-Glaser et al. have presented a method to transform a Simulink model to a UML model, in which each object of the generated UML model corresponds each element of the Simulink model[5][6]. Blocks, lines and junctions are represented as objects in the UML model. Sj¨ostedt et al. have presented a tool that transforms a Simulink model to a UML model[7]. The tool generates composite structure diagrams as structural models and activity diagrams as behavior models. However, classes of UML models generated by those tools may not be reusable because each class represents just an element of the original Simulink models. To improve the reusability of the software, a UML model should be structured based on the object- oriented concept.
Show more

6 Read more

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML 
BEHAVIORAL DESIGN

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML BEHAVIORAL DESIGN

In this paper, we proposed a new inverse halftoning algorithm based shearlet. In the new method, the inverse halftoning is posed as a deconvolution problem in the presence of colored noise. The new method performs inverse halftoning by first inverting the model-specified convolution operator and then attenuating the residual colored noise using scalar shearlet shrinkage. And the optimal threshold is estimated by the maximum a posteriori function. Experimental results show that the new method yields state-of-the-art performance. Recently, Liu [16] has proposed inverse halftoning based the Bayesian theorem, which can be employed prior to any signal processing over a halftone image or the inverse halftoning. In the future, we will focus on Bayesian based inverse halftoning in shearlet domain.
Show more

5 Read more

2 Getting Started with jgrasp 2.0

2 Getting Started with jgrasp 2.0

When your program consists of two or more files, you should strongly consider creating a jGRASP project (.gpj) and then adding your program files to the project. For C, C++, Objective-C, and Ada, having all source files for your program in a project allows multiple files to be compiled and linked, and allows you to have separate source and executable directories if desired. For Java, there are many additional advantages: (1) allows jGRASP to make sure all files in the project have been compiled, (2) allows you to generate Javadoc documentation for your project, (3) allows you to generate a UML class diagram, and (4) when using plug-ins such as Checkstyle and JUnit, allows you see the respective status for each file in the project.
Show more

35 Read more

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML 
BEHAVIORAL DESIGN

NEW MODEL TRANSFORMATION USING REQUIREMENT TRACEBILITY FROM REQUIREMENT TO UML BEHAVIORAL DESIGN

In recent times, the technology of wireless sensor network has a great impact on technical fields like wireless communication, information technology, electrical etc. However the major problem faced in this technology is that the sensor nodes run out of energy very quickly. Many routing protocols have been proposed to solve this problem mainly focussing on the accomplishment of minimizing the energy consumption in the sensor system. In this paper, two hierarchical protocols cluster based and chain based protocol for WSNs have been discussed. In both type of protocols some special nodes called cluster heads/chain heads acts as leader for a group of nodes. Each head collects data from its member nodes and forward it to the sink (base station). Here consider a homogeneous network where all the nodes in the network have uniform and limited resource energy. So it is essential to avoid quick depletion of head nodes. Hence every node in the network takes their turn to act as head but only for a limited period of time. Energy saving in these approaches can be obtained by cluster formation, head election and data aggregation at the head nodes. The proposed Energy Balancing Clustering Protocol (EBCP) which uses Bacterial Foraging Optimization Algorithm in electing the cluster head. The simulation results shows that the proposed protocol extends the life time of the network when compared with Energy Efficient Unequal Clustering (EEUC)and PEGASIS with Double Cluster Head technique(PDCH).
Show more

16 Read more

Al Dehni, Shadi
  

(2008):


	Model Transformation For Validation Of Software Design.


Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Al Dehni, Shadi (2008): Model Transformation For Validation Of Software Design. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik

Model Checking ist eine Methode zur formalen Verifikation von nebenl¨aufigen Systemen mit endlichem Zustandsraum. Beispiele solcher Systeme sind elektrische Schaltungen oder Kom- munikationsprotokolle. Eine Systemspezifikation ist durch temporallogische Formeln gegeben, f¨ur die es effiziente symbolische Algorithmen gibt, um das Systemmodell zu durchlaufen und die G¨ultigkeit der Spezifikation zu ¨uberpr¨ufen. Sogar große Zustandsr¨aume k¨onnen mit diesen Algorithmen in wenigen Minuten ¨uberpr¨uft werden. Graphische Notationen spielen bei der Modellierung und beim Entwurf von Software eine große Rolle. Die Unified Modeling Lan- guage (UML) bildet dabei einen Standard f¨ur die Spezifikation, Visualisierung, Konstruktion und Dokumentation von Artifakten von Software-Systemen. Heutzutage erlauben Graphgram- matiken einen hohen Grad der Abstraktion von Software-Architekturen und bilden eine Basis f¨ur verschiedene Analysen und Transformationen. Die verwendeten Methoden, Techniken und Ergebnisse wurden bereits in vielen Bereichen der Informatik angewandt.
Show more

217 Read more

Show all 10000 documents...