8,513 Hits in 4.0 sec

Analysis of UML Activities Using Dynamic Meta Modeling [chapter]

Gregor Engels, Christian Soltenborn, Heike Wehrheim
2007 Lecture Notes in Computer Science  
In this paper, we exemplify this by showing how DMM can be used to give a semantics to and define an associated analysis technique for UML Activities.  ...  Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models.  ...  Section 3 explains the approach of Dynamic Meta Modeling, and defines the semantics for UML Activities.  ... 
doi:10.1007/978-3-540-72952-5_5 fatcat:u6nmj7ntwvbibjjlmsrievu2xy

MAS Meta-models on Test: UML vs. OPM in the SODA Case Study [chapter]

Ambra Molesini, Enrico Denti, Andrea Omicini
2005 Lecture Notes in Computer Science  
Meta-modelling SODA allows us to evaluate the effectiveness of the two approaches over both the structural and dynamics parts.  ...  Both UML and OPM are used to express the meta-model of SODA, an agent-oriented methodology which stresses interaction and social aspects of MASs (multi-agent systems).  ...  SODA Meta-model in UML The UML meta-model of SODA (Figure 1 ) reflects the SODA distinction between the analysis phase (top) and the design phase (bottom).  ... 
doi:10.1007/11559221_17 fatcat:35cxsahcevb3loq7kmepsef5ci

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation

Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche
2015 Procedia Computer Science  
In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool.  ...  For realizing this transformation, we have proposed a meta-model for UML-AD and another one for PN. Based on these meta-models, we define a graph grammar that performs the transformation process.  ...  In a future work, we plan to use another specification and we verify other diagrams of UML. Fig. 1 . 1 Activity diagram Meta-Model. Fig. 2 . 2 Petri Nets Meta-Model.  ... 
doi:10.1016/j.procs.2015.07.261 fatcat:3b35y2mexzdpdk3l23flnfdsmm

An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions [chapter]

Ileana Ober
2003 Lecture Notes in Computer Science  
We present an approach towards a formal dynamic semantics for UML using ASM.  ...  We also describe how the ASM domains and functions used in the semantics are built initially from a particular UML model. * The major part of this work was done while the author was at Telelogic (  ...  The dynamic semantics does not correspond directly to anything from the UML meta-model, although the basic concepts (operation, signal, etc) are part of the meta-model and have been translated into ASM  ... 
doi:10.1007/3-540-36498-6_21 fatcat:iphqw6xitjgp5d6s5th7ytds2a

SPEM on test

Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
Meta-models are meant to check and verify both the software development process and the completeness and expressiveness of methodologies.  ...  In particular, we take the SODA methodology as a significant case study in order to assess strengths and limitations of SPEM, given the peculiar SODA focus on the modelling and engineering of (i) social  ...  SOFTWARE PROCESS ENGINEERING META-MODEL SPEM is an OMG standard object-oriented meta-model defined as an UML profile and used to describe a concrete software development process or a family of related  ... 
doi:10.1145/1363686.1363853 dblp:conf/sac/NardiniMOD08 fatcat:wqzu2cjaunhazgwbvvgmmocg4m

Formal Aspects of Enterprise Modeling Methods: A Comparison Framework

Domenik Bork, Hans-Georg Fill
2014 2014 47th Hawaii International Conference on System Sciences  
These methods not only support the representation and analysis of complex interactions between technical services and human actors.  ...  For the design of work and knowledge systems it is today common to revert to enterprise modeling methods.  ...  The central elements of an AD (i.e. activities and activity edges) are formally introduced using a meta model 4 derived by the Meta-Object Facility (MOF) meta meta model 5 .  ... 
doi:10.1109/hicss.2014.422 dblp:conf/hicss/BorkF14 fatcat:gmprefzzrvfpli3w5zqy5aheum

Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems [chapter]

Mohd Syazwan Abdullah, Ian Benest, Richard Paige, Chris Kimble
2007 Lecture Notes in Computer Science  
The profile is implemented using the eXecutable Modelling Framework (XMF) Mosaic tool.  ...  This paper discusses extending the Unified Modelling Language by means of a profile for modelling knowledge-based system in the context of Model Driven Architecture (MDA) framework.  ...  The languages used in knowledge modelling are project based using a mix of notations such as Unified Modeling Language (UML), Integrated Definition Method (IDEF), Structured Analysis and Design Technique  ... 
doi:10.1007/978-3-540-75563-0_30 fatcat:sblrje4g2vdmjf6ihdtlfxonae

SR-UML: Quality Visualization in Software Design

The analysis of these systems is focused on dynamic or execution time behavior for achieving quality.  ...  In the same context, this paper redefines Functional Flow Specification for dynamic analysis of critical and collaborating systems.  ...  This is a conjugate of flow (dynamics) of UML specifications and analysis of reliability in terms of RBDs.  ... 
doi:10.35940/ijitee.k1987.0981119 fatcat:uwwu6znyhrc3zcyuxxdgbu6pmq

Extending UML 2 Activity Diagrams with Business Intelligence Objects [chapter]

Veronika Stefanov, Beate List, Birgit Korherr
2005 Lecture Notes in Computer Science  
In this paper, we extend a business process modeling diagram, namely the UML 2 activity diagram with a UML profile, which allows to make this relationship explicit.  ...  The model is tested with example business processes.  ...  The model shows where and how business processes use a DWH environment, and which parts of the business processes depend on which parts of the DWH.  ... 
doi:10.1007/11546849_6 fatcat:zooewo3ofjbbjhipirdoqzeikq

From Functional Analysis to CAD Modelling Based on Knowledge Transformation Driven by the Design Process [chapter]

Mehdi Iraqi, Lionel Roucoules
2012 IFIP Advances in Information and Communication Technology  
The UML activity diagrams and the IDEFØ meta-model are linked for supporting automatic generation of product models using specific transformation knowledge.  ...  The authors therefore propose the use of a MBE architecture for driving the product modelling based on the design process model.  ...  Moreover this process model drives UML activity that automatically creates models from one to others.  ... 
doi:10.1007/978-3-642-35758-9_41 fatcat:xirizzf3urbpvekelhdo5y2rle

Measuring Method Complexity: UML versus BPMN

Jan Recker, Michael zur Muehlen, Keng Siau, John Erickson, Marta Indulska
2009 Americas Conference on Information Systems  
Our research finds that BPMN has very high levels of complexity when contrasted with UML.  ...  Graphical models are used to depict relevant aspects of real-world domains intended to be supported by an information system.  ...  The Rossi and Brinkkemper (1996) complexity metrics use meta-models of modeling methods as a basis for analysis.  ... 
dblp:conf/amcis/ReckerMSEI09 fatcat:apusxkzglvatbazc2qn23p6wc4

UML Profile and Extensions for Complex Approval Systems with Complementary Levels of Abstraction

Aditya Akundi, Francisco Zapata, Eric Smith
2012 Procedia Computer Science  
Extending the Unified Modelling Language (UML) version 2.0 with a profile and stereotypes that allow the modelling of an approval system with multiple levels, each with inherently dualistic complementarity  ...  The objective was to extend UML to model the complex, emergent and multi-level decision making which occurs within modern multidisciplinary projects.  ...  A Stereotype is defined as a revised version of any of UML element within the UML meta-model.  ... 
doi:10.1016/j.procs.2012.09.032 fatcat:k6bk6fyebfaidl6alsgw2en2sm

Benefits of reverse engineering technologies in software development makerspace

M.H. Aabidi, Bouziane El Mahi, Chafik Baidada, Abdeslam Jakimi, Hany Ammar, A. Atangana, H. Bulut, Z. Hammouch, H.M. Baskonus, T. Mekkaoui, F. Bin Muhammad Belgacem
2017 ITM Web of Conferences  
To facilitate the software development process, it would be ideal to have tools that automatically generate or help to generate UML (Unified Modeling Language) models from source code.  ...  A key component of this activity is the understanding of the design, operation, and behavior of existing manufactured artifacts, such as software code bases, hardware systems, and mechanical assemblies  ...  In this paper we proposed a new approach to extract UML dynamic behavior diagrams from the Java source code using both the static and dynamic analysis.  ... 
doi:10.1051/itmconf/20171301028 fatcat:y5jit7ijznhgvbrc5szv6kc4g4

Multi-view Consistency in UML [article]

Alexander Knapp, Till Mossakowski
2016 arXiv   pre-print
We also give a classification of different techniques for multi-view UML/OCL consistency: consistency rules, the system model approach, dynamic meta-modelling, universal logic, and heterogeneous transformation  ...  We study the question of consistency of multi-view models in UML and OCL. We first critically survey the large amount of literature that already exists.  ...  Dynamic Meta-modelling.  ... 
arXiv:1610.03960v1 fatcat:pv54iuodbjeknasghsxvbhldue

From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool

Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid
2016 Proceedings of the 11th International Joint Conference on Software Technologies  
However along with the variety of schedulability analysis tools, bridging the gap between design models and meta-models of the documented scheduling analysis tools becomes an important issue.  ...  The recent Unified Modeling Language (UML) profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) is well adapted for systems modeling.  ...  An input meta-model may be defined using UML, SysML, MARTE, XML, etc.  ... 
doi:10.5220/0005982902020209 dblp:conf/icsoft/MagdichKMA16 fatcat:n4dgymdu35etphfakzu77qqg6y
« Previous Showing results 1 — 15 out of 8,513 results