19,734 Hits in 4.0 sec

Visualizing model mappings in UML

Jan Hendrik Hausmann, Stuart Kent
2003 Proceedings of the 2003 ACM symposium on Software visualization - SoftVis '03  
This paper proposes an extension to UML for expressing mappings between models using diagrams, and illustrates how the extension can be used in metamodeling.  ...  syntax of the Unified Modeling Language (UML).  ...  Conclusions We have presented a novel approach for visualizing mappings in UML models.  ... 
doi:10.1145/774856.774858 fatcat:m7rtpsmzqbd4hiyfmbhnljblsy

Visualizing model mappings in UML

Jan Hendrik Hausmann, Stuart Kent
2003 Proceedings of the 2003 ACM symposium on Software visualization - SoftVis '03  
This paper proposes an extension to UML for expressing mappings between models using diagrams, and illustrates how the extension can be used in metamodeling.  ...  syntax of the Unified Modeling Language (UML).  ...  Conclusions We have presented a novel approach for visualizing mappings in UML models.  ... 
doi:10.1145/774833.774858 dblp:conf/softvis/HausmannK03 fatcat:qkteva5yjrg2zkruy3qrmzlbjq

Systematic generation of standard compliant tool support of diagrammatic modeling languages

Alexis Fouche, Florian Noyrit, Sebastien Gerard, Maged Elaasar
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
In the Model-Driven Engineering community, the abstract syntax of modeling languages is usually defined and implemented using metamodeling techniques.  ...  In this context, a first normative specification of the concrete syntax of UML 2.5 has been recently released using Diagram Definition.  ...  the model elements (A in Fig. 3 ), a notation model conforming to UMLDI (a specialization of the DI metamodel for UML), containing instances of the visual grammar (B in Fig. 3 ).  ... 
doi:10.1109/models.2015.7338266 dblp:conf/models/FoucheNGE15 fatcat:4trlpqcx6zcuboyk4nb6mi6v4a

A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems [chapter]

Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum
2006 Lecture Notes in Computer Science  
(4/4) Hydra Metamodel-based formalization framework • Take rules for mapping UML models to the specification language (i.e., Promela) for the targeted model checker (i.e., SPIN) UML Promela  ...  , safety and other invariants Analyze the behavioral properties Analyze the behavioral properties Challenges to use a model checker in UML models Patterns in property specifications for finite state verification  ... 
doi:10.1007/11880240_49 fatcat:wxyj5qtcprfurdt6ebgn7olkum

Vision-based Presentation Modeling of Web Applications: A Reverse Engineering Approach

Natheer Khasawneh, Oduy Samarah, Safwan Al-Omari, Stefan Conrad
2012 Journal of Emerging Technologies in Web Intelligence  
Second, the identified presentation elements in step one are mapped to the most appropriate UML presentation model elements.  ...  Third, the resulting presentation model is made available in Magicdraw for manipulation. Our approach is applied and evaluated in the Goalzz home page.  ...  ACKNOWLEDGMENT This research was supported in part by German Research Foundation (DFG), Higher Council for Science and Technology (HCST) and Jordan University of Science and Technology (JUST).  ... 
doi:10.4304/jetwi.4.2.134-141 fatcat:tuacl6hb7zfjdb6sp7uunjs2yu

Recovering UML class models from C++: A detailed explanation

Andrew Sutton, Jonathan I. Maletic
2007 Information and Software Technology  
associations (open diamonds in UML).  ...  This comparison shows that the presented mapping rules effectively produce meaningful and semantically accurate UML models.  ...  Both Microsoft's Visual Studio 2005 and Apple's XCode2 both support the ability to model classes in UML-like diagrams.  ... 
doi:10.1016/j.infsof.2006.10.011 fatcat:4y5obbguqneihgwygj6uh5lzza

Obtaining and Visualization of the Topological Functioning Model from the UML Model

Viktoria Ovchinnikova
2015 Applied Computer Systems  
After that the domain model can be created. A short overview and an example of obtaining the domain model, Topological Functioning Model (TFM), from source code are provided in the paper.  ...  A domain model can provide compact information about its corresponding software system for business people.  ...  The transformation algorithm was theoretically developed in [1] and [2] by the mappings between TFM and UML model elements was provided in [18] .  ... 
doi:10.1515/acss-2015-0018 fatcat:qdosb7mhkrebzcnoodzwqm3dve

Rational Software Architect: A tool for domain-specific modeling

D. Leroux, M. Nally, K. Hussey
2006 IBM Systems Journal  
RSA diagrams can be used in editing and displaying models derived from any EMF-based metamodel.  ...  The combination of RSA and EMF provides a powerful capability for integrating domain-specific languages (DSLs) with UMLt in a single toolset.  ...  In RSA 6.0, the services provided by this component allow EJB, Java, and Cþþ elements to be visualized and integrated into UML models.  ... 
doi:10.1147/sj.453.0555 fatcat:zccc6hrwljfipmok36rmat6aha

Visualizing Requirements in UML Models

Sascha Konrad, Heather Goldsby, Karli Lopez, Betty Cheng
2006 2006 First International Workshop on Requirements Engineering Visualization (REV'06 - RE'06 Workshop)  
This paper describes an alternative approach termed REVU (Requirements Visualization of UML), a process for visualizing functional requirements in terms of behavioral interactions in a UML model.  ...  As the Unified Modeling Language (UML) and modeldriven development (MDD) become increasingly common in industry, many developers are faced with the difficult task of understanding how an existing UML model  ...  Acknowledgements The authors thank the current and former faculty and students from the Software Engineering and Network Systems (SENS) Laboratory at Michigan State University, in particular Dr.  ... 
doi:10.1109/rev.2006.11 fatcat:drfywqusezg2bemtka7lv5tcfe

A Mapping Language from Models to DI Diagrams [chapter]

Marcus Alanen, Torbjörn Lundkvist, Ivan Porres
2006 Lecture Notes in Computer Science  
In this article, we present a language to describe mappings between modeling languages and diagrams, some example mappings and our experience in using them.  ...  Better and correct support for DI would ease interchange of visual models and hasten the adoption of model-driven development.  ...  In a broader context of Model Driven Engineering, this mapping can be used to build generic modeling tools that can create and transform visual models and diagrams in domain specific modeling languages  ... 
doi:10.1007/11880240_32 fatcat:xkddacae3fhkrh5nzgidjwruc4

Visual Modeling of OWL DL Ontologies Using UML [chapter]

Sara Brockmans, Raphael Volz, Andreas Eberhart, Peter Löffler
2004 Lecture Notes in Computer Science  
Similarly, we invent a UML profile, which allows to visually model OWL ontologies in a notation that is close to the UML notation. This allows to develop ontologies using UML tools.  ...  This paper introduces a visual, UML-based notation for OWL ontologies. We provide a standard MOF2 compliant metamodel which captures the language primitives offered by OWL DL.  ...  Research for this paper has been partially funded by the EU in the IST projects KnowledgeWeb (IST-2004-507482) and Sekt (IST-2003-506826), as well as by the Graduate School IME -University Karlsruhe.  ... 
doi:10.1007/978-3-540-30475-3_15 fatcat:3htm2p5xbfgutbldeiwon2xqta

YANG2UML: Bijective transformation and simplification of YANG to UML

Mario Golling, Robert Koch, Peter Hillmann, Rick Hofstede, Frank Tietze
2014 10th International Conference on Network and Service Management (CNSM) and Workshop  
YANG itself is a semantically rich language, which -in order to facilitate familiarization with the relevant subject -is often visualized using UML to involve other experts or developers and to support  ...  Therefore, we have (i) defined a bidirectional mapping of YANG to UML, (ii) developed a strategy to reduce the numbers of objects, and (iii) created a tool that renders the created UML diagrams, closing  ...  As modules define the root of the YANG tree, they will be represented by packages in the UML visualization.  ... 
doi:10.1109/cnsm.2014.7014179 dblp:conf/cnsm/Golling0HHT14 fatcat:ybzbyumhwzaiddaxbyezlfj42u

Towards the Integration of Visual and Formal Models for GUI Testing

Ana C.R. Paiva, João C.P. Faria, Raul F.A.M. Vidal
2007 Electronical Notes in Theoretical Computer Science  
A familiar visual notation a subset of UML with minor extensions is used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria.  ...  This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process.  ...  Visual to formal model translation -an initial formal model in Spec is obtained automatically from the UML model according to a set of rules; class diagrams are mapped straightforwardly; state machine  ... 
doi:10.1016/j.entcs.2007.08.010 fatcat:677ccah7ojhbbb3yx467znm4li

A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies [chapter]

Saartje Brockmans, Peter Haase, Pascal Hitzler, Rudi Studer
2006 Lecture Notes in Computer Science  
Based on this metamodel and profile, UML tools can be used for visual modeling of rule-extended ontologies.  ...  In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile for OWL DL.  ...  The usefulness of a visual syntax for modeling languages has been shown in practice; visual modeling paradigms such as the Entity Relationship (ER, [4] ) model or the Unified Modeling Language (UML,  ... 
doi:10.1007/11762256_24 fatcat:i2uyotzhhjen3atknn2lkbydey

Conceptual Modeling of Topic Maps with ORM Versus UML [chapter]

Are D. Gulbrandsen
2006 Lecture Notes in Computer Science  
Established evaluation criteria for conceptual modeling languages are used to compare Topic Map ontology modeling with ORM and UML, to try to find if ORM is a good alternative to UML.  ...  The paper aims to discuss strengths and weaknesses of using Object Role Modeling (ORM) and UML Class Diagrams for conceptual modeling of Topic Maps.  ...  With the right tool support, switching between using ORM and UML for ontology modeling could one day be possible.  ... 
doi:10.1007/11676904_8 fatcat:vw7zexnf5rhj5jry4ymyi2ffum
« Previous Showing results 1 — 15 out of 19,734 results