554 Hits in 3.1 sec

Modeling of Field Artillery Tasks with Live Sequence Charts

Gürkan Özhan, Halit Oğuztüzün, Pinar Evrensel
2008 The Journal of Defence Modeling and Simulation: Applications, Methodology, Technology  
The behavioral part of the model describes the FA missions in the language of Live Sequence Charts (LSCs).  ...  The conceptual model is constructed as a metamodel by using the GME (Generic Modeling Environment) toolkit.  ...  (ret) Serdar Kutlu in the face validations of the Field Artillery metamodel. The authors also thank Mr. Utkan Eryılmaz for his valuable proofreading.  ... 
doi:10.1177/875647930800500402 fatcat:gplzqmy2ija2jeiqmdbu6xmb7q

Using UML Behavioral Model to Support Aspect Oriented Model

Zahid Hussain Qaisar, Nauman Anwar, Shafiq Ur Rehman
2013 Journal of Software Engineering and Applications  
This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.  ...  Advices are like operation so we modeled them in sequence diagram which show what operation this advice will perform.  ...  The idea is to give a Meta model for the aspect oriented program which is the extension of the UML Meta model which is a standard language for the modeling.  ... 
doi:10.4236/jsea.2013.63014 fatcat:6k2qefdcs5hrhmpd2imz4blwfe

Metamodeling and model transformations in modeling and simulation

Deniz Cetinkaya, Alexander Verbraeck
2011 Proceedings of the 2011 Winter Simulation Conference (WSC)  
Metamodeling and model transformations are the key concepts in Model Driven Development (MDD) approaches as they provide a mechanism for automated development of well structured and maintainable systems  ...  However, neither defining a metamodel nor developing a model transformation is an easy task.  ...  FAMM supports the behavioral description of federates based on live sequence charts and it is defined with metaGME.  ... 
doi:10.1109/wsc.2011.6148005 dblp:conf/wsc/CetinkayaV11 fatcat:fblsyhhaybcipfzjkhrnj26hnq

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations

Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
2015 Procedia Computer Science  
In this paper, we propose an operational semantics for UML2SD (Unified Modeling Language 2 Sequence Diagrams) to its equivalent Büchi automaton.  ...  In 4 the authors define a transformation from live sequence charts to automata. They use the unwinding algorithms to generate automata.  ...  The rules for specifying transformation from basic interaction to automaton are based on the semantics of live sequence charts, while the rules for specifying transformation of combined fragments are based  ... 
doi:10.1016/j.procs.2015.07.253 fatcat:xttmzn3tcfgkxhwurc3svt4som

Replaying Execution Trace Models for Dynamic Modeling Languages

Ábel Hegedüs, István Ráth, Dániel Varró
2012 Periodica Polytechnica Electrical Engineering  
Our approach complements static and dynamic metamodels by introducing a generic execution trace metamodel which is used to replay completed executions of a simulation directly over the dynamic model.  ...  In the paper, we present a technique for replaying recorded execution traces of dynamic modeling languages.  ...  It also supports generation, analysis, visualization and interaction through the live sequence chart formalism.  ... 
doi:10.3311/ppee.7078 fatcat:niy6adxgsbcf3f6ko64tjfghkm

Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries

Michael Bar-Sinai, Gera Weiss, Assaf Marron
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
We present a methodology for describing executable semantics of diagrammatic modeling languages, and an execution engine based on such definition.  ...  Resultant definition is executable, can inter-operate with similar definitions of other languages, and is accessible to practitioners who read code but shy away from transition formulae.  ...  Each scenario describes a facet of the system's behavior and is described in a live sequence chart (an LSC).  ... 
dblp:conf/models/Bar-SinaiWM16 fatcat:fk43htbrjvapxfvctax47xlqiu

Using UML Action Semantics for model execution and transformation

Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel
2002 Information Systems  
Furthermore, the semantic gap from high-level UML concepts to low-level programming constructs found in traditional object-oriented language prevents the development of efficient code generators.  ...  This formalism provides both, a metamodel integrated into the UML metamodel, and a model of execution for these statements.  ...  For instance, state charts, sequence diagrams or collaboration diagrams expose different aspects of the same behavior.  ... 
doi:10.1016/s0306-4379(02)00014-5 fatcat:44tgk5gx4rayrmjcls2ayhopte

Model-Driven Consistency Checking of Behavioural Specifications

Bas Graaf, Arie van Deursen
2007 Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07)  
The technique is based on the generation of state machines from scenarios. We specify the required mapping using model transformations.  ...  For the development of software intensive systems different types of behavioural specifications are used.  ...  Furthermore we would like to thank Océ, and in particular Lou Somers for providing the case study.  ... 
doi:10.1109/mompes.2007.12 dblp:conf/mompes/GraafD07 fatcat:wmr5bdn7ivdybm3er6f6oxec3y

Integrating Web-Based Collaborative Live Editing and Wireframing into a Model-Driven Web Engineering Process

Peter de Lange, Petru Nicolaescu, Alexander Tobias Neumann, Ralf Klamma
2020 Data Science and Engineering  
In this contribution, we present a MDWE approach with live code editing and wireframing capabilities.  ...  The combination of collaborative modeling, coding and wireframing, all in NRT, bears a lot of potential for improving MDWE practices.  ...  Both the wireframe model and the conceptual model are used as input for the code generation to generate the code artifacts depicted in the Live Code Editor ofFig. 3c.  ... 
doi:10.1007/s41019-020-00131-3 fatcat:b3t6qylbgbhlrm6icomvcmlqzi

The Doctoral Symposium at MODELS 2009 [chapter]

Juergen Dingel
2010 Lecture Notes in Computer Science  
[5] ) where code is automatically generated from models.  ...  IBM alphaWorks provides a tool that generates parallel code from UML models and supports concurrent patterns for multicore environments [5] .  ...  The MIC metaprogrammable toolsdesigned for modeling, model management and model transformationare automatically customized by the metamodels. 2) Modeling treatment protocols.  ... 
doi:10.1007/978-3-642-12261-3_1 fatcat:5sjnbavhwje7lphkdlznmg5kpi

Repast Simphony Statecharts

Jonathan Ozik, Nicholson Collier, Todd Combs, Charles M. Macal, Michael North
2015 Journal of Artificial Societies and Social Simulation  
Visual approaches include drag-and-drop editing capabilities for constructing state-based models of agent behaviors and conditions for agent state transitions.  ...  Used in ABSS, they can clarify a model's logic and allow for efficient software engineering of complex state-based models.  ...  The state chart editor code is generated from the Graphical Model, the metamodel, and the generated metamodel code using GMF's code generation. 3.6 We also used GMF and EMF to generate the validation  ... 
doi:10.18564/jasss.2840 fatcat:seftwxeyfrbh3bsjjnyb4sd2ae

Supporting the platform extensibility for the model-driven development of agent systems by the interoperability between domain-specific modeling languages of multi-agent systems

Geylani Kardas, Emine Bircan, Moharram Challenger
2017 Computer Science and Information Systems  
and model-totext transformations from scratch in order to make the DSMLs functional for each different agent execution platforms.  ...  In this paper, we present an alternative approach which considers the construction of the interoperability between MAS DSMLs for a more efficient way of platform support extension.  ...  agents living together.  ... 
doi:10.2298/csis170113034k fatcat:wq42kxjs3rbsda5bntshhcvjwy

Analyzing the evolution of eclipse plugins

Michel Wermelinger, Yijun Yu
2008 Proceedings of the 2008 international workshop on Mining software repositories - MSR '08  
Eclipse is a good example of a modern component-based complex system that is designed for long-term evolution, due to its architecture of reusable and extensible components.  ...  Figure 3 shows the bar charts for the first sequence and Figure 4 shows for the second sequence we defined.  ...  Finally, all metrics are put into automatically generated spreadsheets that conform to OpenOffice's XML format. RESULTS AND ANALYSIS We have defined two sequences of releases to analyse.  ... 
doi:10.1145/1370750.1370783 dblp:conf/msr/WermelingerY08 fatcat:ode7izr5wza7lhkonwe4n26rba

An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications [chapter]

Laura M. Daniele, Luís Ferreira Pires, Marten van Sinderen
2009 Lecture Notes in Computer Science  
Most reported MDA approaches give much attention to structural aspects in PSMs and in generated code, and less attention to the PIM level and the behaviour of the modelled applications.  ...  Consequently, application behaviour is generally not (well) defined at the PIM level.  ...  a service specification example for the Live Contacts application.  ... 
doi:10.1007/978-3-642-02674-4_15 fatcat:3gnwjik3qzguflyncjnmkfkn5i

On OO Design Consistency in Iterative Development

U. Bellur, V. Vallieswaran
2006 Third International Conference on Information Technology: New Generations (ITNG'06)  
entities along with versioning of code.  ...  In this effort, we propose a solution to the first two issues using a relational meta-model of various design & code entities and an algorithm to check consistency over this relational meta-model.  ...  Here too they use a relational metamodel uses class diagram, message sequence chart, state diagram and use case diagram.  ... 
doi:10.1109/itng.2006.102 dblp:conf/itng/BellurV06 fatcat:xkjk54isrrdcrjyhtfpqpobqfu
« Previous Showing results 1 — 15 out of 554 results