Filters








22,419 Hits in 6.4 sec

An Executable UML with OCL-based Action Semantics Language

Ke Jiang, Lei Zhang, Shigeru Miyake
2007 Asia Pacific Software Engineering Conference. Proceedings  
We present its support environment-UML Virtual Machine (UVM) and suggest a Model-Driven Development (MDD) process with OxUML.  ...  Executable UML allows precisely describing the software system at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation.  ...  Based on it, we pro-pose an executable UML with OCL-based ASL (OxUML), present its support environment-UML Virtual Machine (UVM) and suggest a Model-Driven Development (MDD) process with OxUML.  ... 
doi:10.1109/apsec.2007.21 dblp:conf/apsec/JiangZM07 fatcat:z3qrxgk5yjdfblfwehhankajdm

An Executable UML with OCL-based Action Semantics Language

Ke Jiang, Lei Zhang, Shigeru Miyake
2007 14th Asia-Pacific Software Engineering Conference (APSEC'07)  
We present its support environment-UML Virtual Machine (UVM) and suggest a Model-Driven Development (MDD) process with OxUML.  ...  Executable UML allows precisely describing the software system at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation.  ...  Based on it, we pro-pose an executable UML with OCL-based ASL (OxUML), present its support environment-UML Virtual Machine (UVM) and suggest a Model-Driven Development (MDD) process with OxUML.  ... 
doi:10.1109/aspec.2007.21 fatcat:eqi3f2rehvdsvi5ymyjboogsae

USMMC: a self-contained model checker for UML state machines

Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
In this work, we present a tool, named USMMC, which turns model checking of UML state machines into practice.  ...  USMMC is a self-contained toolkit, which provides editing, interactive simulation as well as powerful model checking support for UML state machines.  ...  Another default reported about UML diagrams is the lacking of consistency usage [11] throughout the software development process.  ... 
doi:10.1145/2491411.2494595 dblp:conf/sigsoft/LiuL0ZWD13 fatcat:xmv7f7kwqvdjtpc7bwsloblu4y

Modeling and implementing variability in state machine based process family architectures for automotive systems

Arnd Schnieders
2006 Proceedings of the 2006 international workshop on Software engineering for automotive systems - SEAS '06  
In this paper we present an approach for modeling UML State Machine based process family architectures, which is part of our work to transfer Product Family Engineering techniques to process oriented software  ...  For modeling UML State Machine based architectures of automotive system families we introduce a set of variability mechanisms.  ...  a process family a process family architecture (PFA) is developed based on the process family requirements.  ... 
doi:10.1145/1138474.1138482 fatcat:sraq2v7jxvhdra6uwbx7ubynam

UML-PA AS AN ENGINEERING MODEL FOR DISTRIBUTED PROCESS AUTOMATION

Uwe Katzke, Birgit Vogel-Heuser
2005 IFAC Proceedings Volumes  
For the domain of process automation an implementation oriented approach for an object oriented software development for heterogeneous distributed systems is introduced.  ...  The adoption of UML regarding applied diagrams and stereotypes for process automation will be introduced and evaluated.  ...  These requirements are based on one hand on different interviews with software developers and users and on the other hand on the evaluation of presently offered UML tools.  ... 
doi:10.3182/20050703-6-cz-1902.01063 fatcat:xccoyqntobafpnai3ldbpyyyn4

UML 2.0 and agents: how to build agent-based systems with the new UML standard

Bernhard Bauer, James Odell
2005 Engineering applications of artificial intelligence  
UML 2.0 is the upcoming standard of the OMG for specifying object-oriented software systems. In this paper we will show how UML 2.0 can be applied for the specification of agent-based systems.  ...  Moreover we will give a short overview on existing agent methodologies to have a reference what has to be specified in such systems.  ...  Figure 18 An 18 Activity Diagram with role-based swim lanes. ( Figure 20 A 20 State Machine Diagram for a Process Order service.  ... 
doi:10.1016/j.engappai.2004.11.016 fatcat:5q7cxilh6jdh3otmfbzktsnt6q

Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering

Tarja Systä, Rudolf K. Keller, Kai Koskimies
2001 Software engineering notes  
A role state machine shows one aspect of the behavior.  ...  The UML variant of state machines is the so-called statechart diagram. A statechart diagram is a graph that represents a state machine.  ... 
doi:10.1145/505776.505782 fatcat:z2xn6guch5bchfy5ltkbmu25iy

UML based hierarchical state diagram approach for protocol designs

Sreejith Sudhakaran, Wah Man Cheung, Klaus D. McDonald-Maier, Gareth Howells
2010 2010 2nd Computer Science and Electronic Engineering Conference (CEEC)  
Keywords-Unified Modelling Language (UML); USB3.0; Model Driven Development (MDD); State machine based design; Intellectual Property(IP); Link Training and Status State Machine (LTSSM); Verilog; Hardware  ...  It focuses on the conversion of UML structure diagrams and hierarchical state machines into synthesizable hardware description language.  ...  UML in Electronic System Development The Unified Modeling Language (UML) can be described as a set of graphical symbols that help in representing and designing systems, mainly focused on software systems  ... 
doi:10.1109/ceec.2010.5606496 fatcat:m3v3lfla5nbifnavexg2ighpwm

From Design Specification to SystemC

Mohamed T. Kimour, Rachid Boudour
2006 Journal of Computer Science  
Such a framework uses as input UML state machine and object diagrams, which are more and more used as design models in embedded systems.  ...  The mapping to SystemC code offers not only a system-level executable specification, but also a means to facilitating the system partitioning in hardware and software parts.  ...  XMI is based on XML representation to describe UML diagrams, which are comprehensible by the machine.  ... 
doi:10.3844/jcssp.2006.201.204 fatcat:4nukaeyae5hwvn5utvy63lxz3m

Moliz

Tanja Mayerhofer, Philip Langer
2012 Proceedings of the 2nd International Master Class on Model-Driven Engineering Modeling Wizards - MW '12  
In this paper, we present ongoing research towards a model execution framework based on fUML that enables to test and validate UML models efficiently by providing debugging capabilities, as well as a test  ...  In model-driven development models are the primary artifacts in the software development process. Consequently, the quality of those models affects the quality of the developed system significantly.  ...  In the research project Moliz 2 , we aim at developing a model execution framework based on this standardized virtual machine enabling to debug and test UML models.  ... 
doi:10.1145/2448076.2448079 fatcat:cry5bg3uvfcstowbsxvckmtsjq

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.  ...  In this paper we propose a technique for assessing the consistency of two types behavioural specifications: scenarios and state machines.  ...  Such a software development process, where statebased component design is based on the specification of a set of use cases, is advocated by many componentbased, object-oriented, and real-time software  ... 
doi:10.1109/mompes.2007.12 dblp:conf/mompes/GraafD07 fatcat:wmr5bdn7ivdybm3er6f6oxec3y

SystemC/C-based model-driven design for embedded systems

Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2009 ACM Transactions on Embedded Computing Systems  
We first defined a design methodology and a development flow for the hardware, based on a SystemC UML profile and encompassing different levels of abstraction.  ...  We then included a multithread C UML profile for modelling software applications.  ...  This novel development approach, based on the reuse of hardware and software IPs, is driving fundamental changes in the design process.  ... 
doi:10.1145/1550987.1550993 fatcat:ikn2b5yenrf5xh5nxsakzvo5km

X3D-UML: 3D UML State Machine Diagrams [chapter]

Paul McIntosh, Margaret Hamilton, Ron van Schyndel
2008 Lecture Notes in Computer Science  
Using X3D-UML, 3D UML State Machine Diagrams have been evaluated against actual user tasks and data, using the Sequential Evaluation methodology.  ...  X3D-UML utilises X3D (eXtensible 3D) to enable standards-based advanced 3D UML visualisations.  ...  X3D-UML provides a standards-based approach to software visualisation, where the UML standard is presented through the X3D standard.  ... 
doi:10.1007/978-3-540-87875-9_19 fatcat:smnty54dunhy3cjwttbvepun3q

A Design Pattern for translating UML software models into IEC 61131-3 Programming Languages

Cesare Fantuzzi, Cristian Secchi, Marcello Bonfè
2011 IFAC Proceedings Volumes  
The paper has a great focus on applications and provides an example, based on a generic flow-pack machine, to better explain the proposed methodology.  ...  The process pass thought the phases of (1) conceptual model development of the software artifacts, and (2) model code deployment for the automation system target, which is in general a Programmable Logic  ...  A Review on model based approaches for software development of manufacturing systems The modern methodologies for software life-cycle management are based on engineering processes and procedures that provide  ... 
doi:10.3182/20110828-6-it-1002.02893 fatcat:vojorx7z7nbznal4d65torosae

Implementing a WLAN Video Terminal Using UML and Fully Automated Design Flow

Petri Kukkala, Mikko Setälä, Tero Arpinen, Erno Salminen, Marko Hännikäinen, Timo D. Hämäläinen
2007 EURASIP Journal on Embedded Systems  
This case study presents UML-based design and implementation of a wireless video terminal on a multiprocessor system-onchip (SoC).  ...  Currently, fully software encoder achieves the frame rate of 3.0 fps with three 50 MHz processors, which is one half of a reference C implementation.  ...  Dynamic mapping The context of a UML process (state machine) is completely defined by its current state and the internal variables.  ... 
doi:10.1155/2007/85029 fatcat:elcl747n4jflhlx7tb6lakpeq4
« Previous Showing results 1 — 15 out of 22,419 results