Filters








4,750 Hits in 3.6 sec

A UML approach to the generation of test sequences for Java-based concurrent systems

S.-K. Kim, L. Wildman, R. Duke
2005 2005 Australian Software Engineering Conference  
To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object.  ...  Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states.  ...  The underlying UML model of Java Concurrency In this section, we briefly describe concurrency in Java. A typical application involving Java concurrency is presented in Figure 1 .  ... 
doi:10.1109/aswec.2005.11 dblp:conf/aswec/KimWD05 fatcat:7i3altu7jzaunfek5sjaunni54

JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs [chapter]

Katharina Mehner
2002 Lecture Notes in Computer Science  
The Unified Modeling Language (UML) is used for the visualization of traces. Traces are automatically analyzed for deadlocks.  ...  The tracing is implemented using the Java Debug Interface (JDI) of the Java Platform Debugger Architecture. The visualization is integrated into the UML CASE tool Together.  ...  The author likes to thank Annika Wagner for support in the early stages of the project, Bernd Weymann for his major contribution to the implementation during his diploma thesis, and the unknown referees  ... 
doi:10.1007/3-540-45875-1_13 fatcat:ksfyqxjrlbfufjie43zkgfurf4

Textual, Executable, Translatable UML

Gergely Dévai, Gábor Ferenc Kovács, Ádám An
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In particular, txtUML is presented, a Java API and library to build UML models using Java syntax, then run and debug them by reusing the Java runtime environment and existing debuggers.  ...  Finally, implementation details involving Java threads, reflection and AspectJ are presented.  ...  UML language embedded in Java.  ... 
dblp:conf/models/DevaKA14 fatcat:6bqpq2lzyvdmbpgrn44bcdldyi

Towards the reverse engineering of UML sequence diagrams for multithreaded java software

Chafik Baidada, Bouziane El Mahi, Abdeslam Jakimi
2018 Mathematics in Natural Science  
In this paper, we present an ongoing work on extracting UML diagram models from object-oriented programming languages.  ...  The behavior of multithreaded system's runtime is often more complex than the behavior of a single threaded system because of parallel execution and interactions between multiple threads.  ...  In this activity, we generate and build the UML behavioral models using the transformation models rules (static and dynamic).  ... 
doi:10.22436/mns.02.01.05 fatcat:rvfay6kernag5oy6zfyzkwlemm

A UML Model for Mobile Game on the Android OS

Zhu Quan-yin, Jin Yin, Xu Chengjie, Gen Rui
2011 Procedia Engineering  
The UML model supports the game development and provides happiness for players in the leisure time.  ...  The game management, the service class, the sound manager class, the game view class, the pass tips window class, and the rank window class are designed by UML model respectively.  ...  Fig. 3 . 3 The game service UML model Fig. 5 . 5 The music play UML model Fig. 6 . 6 The game view UML model Fig. 7 7 (a) rank window UML model; (b) pass tips window UML model Fig. 8 (a) The First  ... 
doi:10.1016/j.proeng.2011.11.2648 fatcat:ppv76ihsjrdgrlz5ari6ba6gbe

Visualising the Execution of Concurrent Object-Oriented Programes Dynamically Using UML

Hugo Leroux, Christopher Exton
2001 International Conference in Central Europe on Computer Graphics and Visualization  
We thus investigate the qualities of UML as a language; discuss some of the issues associated with concurrency and Java and finally discuss the design of our visualisation tool.  ...  This is particularly true since both are complex issues in their own rights. Visualisation, when used adequately, can be of tremendous assistance in expediting comprehension of such complex issues.  ...  If an exception is raised during the execution of a thread in Java and the thread fails to handle the exception, then the thread is abandoned without further notice.  ... 
dblp:conf/wscg/LerouxE01 fatcat:c2l2rttj55arxch5lnrfu7mgbq

Extending the Standard Execution Model of UML for Real-Time Systems [chapter]

Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard
2010 IFIP Advances in Information and Communication Technology  
The ongoing OMG standard on the "Semantics of a Foundational Subset for Executable UML Models" identifies a subset of UML (called fUML, for Foundational UML), for which it defines a general-purpose execution  ...  In this paper, we show that this approach is not directly feasible, because of the way concurrency and asynchronous communications are actually handled in the fUML execution model.  ...  However, the "Java to Activities" mapping (defined in Appendix A of [2] , and followed for the definition of the Execution Model) does not consider native Java threading mechanisms. fUML mechanisms related  ... 
doi:10.1007/978-3-642-15234-4_6 fatcat:362u4nifzzbeles5hzi65nb7wy

Visualization of Concurrent Program Executions

Cyrille Artho, Klaus Havelund, Shinichi Honiden
2007 Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International  
We propose an approach based on UML sequence diagrams, addressing shortcomings of such diagrams for concurrency.  ...  It is based on the Java programming language, but readily applicable to other programming languages using the same thread model [9, 15, 21] .  ...  In most modern programming languages that follow a POSIX thread model [9, 15, 21] , a thread is inactive when created.  ... 
doi:10.1109/compsac.2007.236 dblp:conf/compsac/ArthoHH07 fatcat:7pocp5eionhonbzwz6jmc7j53u

Secure Java Development with UML [chapter]

Jan Jürjens
2002 IFIP Advances in Information and Communication Technology  
Find correct required security policies in advance (not through "penetrate-and-fix"). • fewer vulnerabilities • reduced cost (development, maintenance) UML UML: standard modeling language for object-oriented  ...  Conclusion Use formal core of UML to specify and reason about access control in Java-based systems. • Provides support for correct use of relatively complicated mechanisms. • Relatively feasible: developers  ...  UML specification for guard objects only grants permissions implied by access permission requirements. Access control consistent with functionality (step 4). Includes: Proposition.  ... 
doi:10.1007/0-306-46958-8_8 fatcat:uviqn2h2mvetnl37qnscpemwvy

Rapid prototyping of real-time reactive systems

Konrad Kulakowski, Marek Kostrzewa
2008 2008 International Conference on Signals and Electronic Systems  
RAT (Reactive Appliance Toolkit) is a kind of software that allows for the creation of an executable model of a real-time reactive system in UML and Real-Time Java and, simulates its behavior and verifies  ...  .: MDA (Model Driven Architecture) or executable modelling, which could provide a working prototype of a system in the early stage of development.  ...  It supports UML based visual modelling and transformation from a UML model into source code in RT Java. Some new artefacts such as stereotypes: appliance or sensors, are introduced.  ... 
doi:10.1109/icses.2008.4673443 fatcat:t5f36rc2ind3vnrpzhmmjfnjvq

UML Model Design for Mobile Game on the Android OS

Zhu Quanyin, Jin Ying, Xu Chengjie, Geng Rui
2012 Advances in Information Sciences and Service Sciences  
The UML model supports the game development and provides happiness for players in the leisure time.  ...  model respectively.  ...  The game view UML model The rank and pass tips window UML model Window bag is used in on the game popwindow collective management.  ... 
doi:10.4156/aiss.vol4.issue11.3 fatcat:b3nmly4ztnelzlmckhacxnlcmu

Testing and Simulating Production Control Systems Using the Fujaba Environment [chapter]

Jörg Niere, Albert Zündorf
2000 Lecture Notes in Computer Science  
From UML to Java And Back Again 1. attribute blocked is true  ...  The generated Java code is executed in a Java Virtual Machine (JVM) and can be visualized by an integrated object browser.  ...  Statecharts are implemented using threads in order to be executed concurrently.  ... 
doi:10.1007/3-540-45104-8_37 fatcat:slpx45yfdzge7naax3rkizkraq

Distributed System Resource Racing Conditions Automated Testing Method

Robertas Jasaitis, Jonas Prapuolenis, Eduardas Bareisa
2013 TEM Journal  
Such applications are multi threaded by nature and it is a common situation when few clients are using the same application at the same time.  ...  In this paper we are presenting an automated testing method that is able to detect problems related to resource racing conditions in a distributed system.  ...  We solve this problem in a most simple and least expensive (in a perspective of model checker changes). All we do is we create two separate threads in the code.  ... 
doaj:24ed9ae04fb74b1dae73e25edacf0d91 fatcat:akmurm2wnrglrjzh7dlrqixdiy

Using UML as front-end for heterogeneous software code generation strategies

Lisane B. Brisolara, Marcio F. S. Oliveira, Ricardo Redin, Luis C. Lamb, Luigi Carro, Flavio Wagner
2008 Proceedings of the conference on Design, automation and test in Europe - DATE '08  
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FSM).  ...  In addition, the proposed synthesis tool automatically handles processor allocation, mapping of threads to processors, and insertion of required Simulink temporal barriers, ports, and dataflow connections  ...  Proposed design flow Moreover, in case a Simulink compiler is not available, the same UML model can be used to generate multithreaded code for other languages, e.g. Java.  ... 
doi:10.1145/1403375.1403494 fatcat:z5ljv5kjjjaoxgyvj233iccb2y

Using UML as Front-end for Heterogeneous Software Code Generation Strategies

Lisane B. Brisolara, Marcio F.S. Oliveira, Ricardo Redin, Luis C. Lamb, Luigi Carro, Flavio Wagner
2008 2008 Design, Automation and Test in Europe  
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FSM).  ...  In addition, the proposed synthesis tool automatically handles processor allocation, mapping of threads to processors, and insertion of required Simulink temporal barriers, ports, and dataflow connections  ...  Proposed design flow Moreover, in case a Simulink compiler is not available, the same UML model can be used to generate multithreaded code for other languages, e.g. Java.  ... 
doi:10.1109/date.2008.4484731 dblp:conf/date/BrisolaraORLCW08 fatcat:p5oaqlz3ireclhaldq4bv5j66a
« Previous Showing results 1 — 15 out of 4,750 results