Towards a UML profile for modeling WAP applications

UML (Unified Modeling Language) is one of the most used languages to specify and document informatics applications. However, UML is a generalpurpose language, so it often lacks of elements to model and represent concrete concepts of specifics domains. As a solution, OMG (Object Management Group) has created the profiles, a mechanism to extend the syntax and semantics of UML to express more specific concepts of certain application domains. In this work we present a UML profile for modeling WAP (Wireless Applications Protocol) applications. The main goal of the proposed profile is to extend UML to provide specifics elements (labeled classes, stereotypes, tagged values and constraints) that allow software developers to modelWAP applications. The expressiveness of the UML diagrams allows modeling important stages of the process of common applications; nevertheless, the modeling process of WAP applications is still a too specific domain that can be hardly dealt with in its entirety without extending the language. In the process exists navigational, design and construction issues that cannot be modeled using the traditional elements of UML. However, by using the specific elements created by the proposed profile, these issues can be completely solved, and even a greater expressiveness can be obtained.Facultad de Informátic

INTEGRATING BUSINESS PROCESS CONCEPTS INTO UML ACTIVITY MODEL

The Unified Modeling Language (UML) activity model is widely accepted for modeling processes from pure technical views. Because it's rich high level design language and supported by standard body; OMG which involve most of top worldwide IT players. It turns out in modeling information systems, business processes are main component so needs suitable modeling language such as Business Process Model and Notation (BPMN) that is originated in organization domain. However, learning new language has the cost of learning curve. Since UML activity model has commonality with BPMN as both share the core principles of process modeling, this paper proposes sustainable change to UML activity model by introducing business concepts so technical modelers can speak with UML activity a different language. This synergistic relationship not only doubles the benefit of UML activity and reduces the learning curve, but also highlight the differences that add value to editor providers. A light weight extension or profile has been designed and evaluated using a real case stud

A Semiotics View of Modeling Method Complexity - The Case of UML

Unified Modeling Language (UML) is the standard modeling language for object oriented system development. Despite its status as a standard, UML’s formal specification is fuzzy and its theoretical foundation is weak. Semiotics, the study of signs, provides us good theoretical foundation for UML research as UML graphical notations are some kinds of signs. In this research, we use semiotics to study the graphical notations in UML. We hypothesized that using iconic signs as UML graphical notations leads to more accurate representation and arouses fewer connotations than using symbolic signs. Since symbolic signs involve more learning efforts, we assume that expert users of UML will perform better with symbolic signs than novice users. We created an open-ended survey to test these hypotheses. The qualitative analysis of the survey process can help us gain in-depth understanding of the complexity of modeling language graphical notations. In addition, the introduction of semiotics in this research helps build a solid theoretical foundation of IS modeling method research

Unified Approach in the DSS Development Process

The structure of today's decision support environment become very complex due to new generation of Business Intelligence applications and technologies like Data Warehouse, OLAP (On Line Analytical Processing) and Data Mining. In this respect DSS development process are not simple and needs an adequate methodology or framework able to manage different tools and platforms to achieve manager's requirements. The DSS development process must be view like a unified and iterative set of activities and operations. The new techniques based on Unified Process (UP) methodology and UML (Unified Modeling Language) it seems to be appropriate for DSS development using prototyping and RAD (Rapid Application Development) techniques. In this paper we present a conceptual framework for development and integrate Decision Support Systems using Unified Process Methodology and UML.Decision Support Systems, Unified Process, UML, Prototyping, DSS Tools

Enterprise modeling:process and REA value chain perspective

The paper focuses on enterprise business value chain modeling as an alternative to business process modeling. Well known REA methodology proposed by McCarthy and Geerts is used as the basic modeling framework. The research presented in the paper results in a generic semantic enterprise model using REA ontology. This rather static model is then converted into UML activity, sequence and state diagrams thus achieving dynamic view of the REA model. The dynamic REA view connects the process model and the value chain perspectives. It is shown that by using REA model transition called dynamization not only process models at task level can be achieved but also a consistency check of the REA model can be accomplished. By means of step by step value chain modeling of the enterprise a consistent process model can be reached preserving all advantages of the typical business process modeling methodsProcess model; Value chain model; REA; Production planning

On Formalizing UML and OCL Features and Their Employment to Runtime Verification

Model-driven development (MDD) has been identified as a promising approach for developing software. By using abstract models of a system and by generating parts of the system out of these models, one tries to improve the efficiency of the overall development process and the quality of the resulting software. In the context of MDD the Unified Modeling Language (UML) and its related textual Object Constraint Language (OCL) have gained a high recognition. To be able to generate systems of high quality and to allow for interoperability between modeling tools, a well-defined semantics for these languages is required. This thesis summarizes published work in this context that employs an endogenous metamodeling approach to define the semantics of newer elements of the UML. While the covered elements are exhaustively used to define relations between elements of the metamodel of the UML, the UML specification leaves out a precise definition of their semantics. Our proposed approach uses models, not only to define the abstract syntax, but also to define the semantics of UML. By using UML and OCL for this, existing modeling tools can be used to validate the definition. The second part of this thesis covers work on the usage of UML and OCL models for runtime verification. It is shown how models can still be used at the end of a software development process, i. e., after an implementation has manually been added to generated parts, even though they are not used as central parts of the development process. This work also influenced the integration of protocol state machines into a modeling tool, which lead to publications about the runtime semantics of state machines and the capabilities to declaratively specify behavior using state machines