Relevant bibliographies by topics / UML Activity Diagrams

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers
  5. Reports

Academic literature on the topic 'UML Activity Diagrams'

Author: Grafiati
Published: 4 June 2021
Last updated: 15 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'UML Activity Diagrams.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "UML Activity Diagrams"

1

Kulkarni, Dr R. N., and C. K. Srinivasa. "Novel approach to transform UML Sequence diagram to Activity diagram." Journal of University of Shanghai for Science and Technology 23, no. 07 (July 26, 2021): 1247–55. http://dx.doi.org/10.51201/jusst/21/07300.

Full text
Abstract:
Unified Modelling Language (UML) is currently accepted as a defacto standard language for modeling the software in the software industry. It will allow to implement object oriented concepts to model the software system. It provides a complete pictographic representation of software. Broadly these UML diagrams are classified into two groups viz. Structural diagrams and Behavioral diagrams. The sequence diagrams and Activity diagrams belongs to the second group i.e. behavioral diagrams. The sequence diagram represents the sequence of messages flowing from one object to another and activity diagram represents the flow of activities one after the other in a system. In this paper, we are proposing an automated tool which transforms the sequence diagram (which is represented in the table format) into activity diagram. The sequence diagram which is represented in the three column table called sequence table comprises various components of sequence diagram like objects, interactions, messages, alternations, iterations, loops, etc. The proposed tool reads the sequence table and converts the entire table components into the equivalent Activity table. Further the tool reads the activity table and then transforms to its equivalent activity diagram.
APA, Harvard, Vancouver, ISO, and other styles
2

Chen, Huifeng, Jian-min Jiang, Zhong Hong, and Ling Lin. "Decomposition of UML activity diagrams." Software: Practice and Experience 48, no. 1 (August 10, 2017): 105–22. http://dx.doi.org/10.1002/spe.2519.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Singh, Gurpreet, and Rasbir Singh. "Generation of test cases using UML models." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 13, no. 7 (July 30, 2014): 4671–74. http://dx.doi.org/10.24297/ijct.v13i7.2511.

Full text
Abstract:
Software Testing plays an important role in Software development because it can minimize the development cost. UML is widely used in the software development, there consists of the designing and coding of the software. Designing phase is done with the help of the UML models, which consists of the sequence diagrams, activity diagrams, use case diagrams, state chart diagrams etc. After designing of the system, the next task is coding. Since the software development is time and human resource consuming, the reduction of consumption is done with the help of the code generation automatically. This work mainly focus on the UML sequence diagram and state chart diagram as the model. We Propose a Technique for Test Case Generation using UML Models. UML models give a lot of  information that should not be ignored in testing. An innovative approach of generating test cases from the combination of UML design diagrams has been discussed in this paper. Present work used an approach where sequence diagram and state chart diagram has been used to generate test cases. The test cases thus generated are suitable for dynamic testing of system.
APA, Harvard, Vancouver, ISO, and other styles
4

Mohamed, Sherif Magdy. "Enhanced UML Methodology with New Hybrid Diagrams: An ATM Application." Journal of Education and Vocational Research 4, no. 3 (March 30, 2013): 60–68. http://dx.doi.org/10.22610/jevr.v4i3.101.

Full text
Abstract:
Object oriented proved to be the most important software engineering tools. The main reason behind the importance is that, Object Oriented covers the most powerful programming languages such as Java and C++. UML is a modeling language which is a part of object oriented and it was created to provide the software development industry with analysis and design techniques based on some diagrams. The most common UML diagrams in use are Class and Activity diagram. To implement any system using object oriented UML, the programmer needs at least two or three diagrams beside the Use Case diagram in order to understand a full picture of the system. There is no diagram which can show the full picture of the system. In this research, new methodology called “Touch and Go” has been generated by the researchers to implement the system. In this methodology, analysis and design are merged in one stage called Touch. Implementation and testing stage are merged in one stage called Go. The Class and Activity diagram are merged to introduce new integrated diagram called Enhanced Class Activity (ECA) diagram and the normal Activity diagram will be modified and improved as Activity Remarked Class (ARC) diagram. Analytical analysis of the new methodology is implemented in ATM machine system which can be later implemented using Java language or any other Object Oriented language. A powerful system like ATM is chosen to apply the new technique and it has been shown clearly how the methodology is working perfectly with such system. This study helps to reduce the number of diagrams that are being used to implement the system, reducing total time of implementation and making the coding stage easier by using only few numbers of diagrams.
APA, Harvard, Vancouver, ISO, and other styles
5

LAM, VITUS S. W. "ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS." International Journal of Software Engineering and Knowledge Engineering 18, no. 04 (June 2008): 541–67. http://dx.doi.org/10.1142/s0218194008003787.

Full text
Abstract:
UML activity diagrams encompass a set of notational elements for capturing the dynamic behavior of a system. Although the graphical syntax of UML activity diagrams is well-defined in the UML documentation, there is still not a commonly accepted approach for reasoning about UML activity diagrams. In this paper, we present a formalization of the execution semantics of UML activity diagrams using the π-calculus. The formalization provides a theoretical foundation and formal analysis for UML activity diagrams, as well as a starting point for building automated software tool.
APA, Harvard, Vancouver, ISO, and other styles
6

Wang, Cong. "An Operational Semantics for UML Activity Diagrams." Journal of Computer Research and Development 44, no. 10 (2007): 1801. http://dx.doi.org/10.1360/crad20071024.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Eshuis, Rik. "Symbolic model checking of UML activity diagrams." ACM Transactions on Software Engineering and Methodology 15, no. 1 (January 2006): 1–38. http://dx.doi.org/10.1145/1125808.1125809.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Eshuis, R., and R. Wieringa. "Tool support for verifying UML activity diagrams." IEEE Transactions on Software Engineering 30, no. 7 (July 2004): 437–47. http://dx.doi.org/10.1109/tse.2004.33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Yusufu, Munina, Hai Jun Zhang, Gulina Yusufu, Zhan Dong Liu, Pen Cheng, and Dilidaer Dilisati. "Modeling and Analysis of Complex System with UML: A Case Study." Applied Mechanics and Materials 513-517 (February 2014): 1346–51. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.1346.

Full text
Abstract:
The Unified Modeling Language - UML - is the most used specification language, and the way the world models not only application structure, behavior, and architecture, but also business process and data structure. In this paper, we aim to demonstrate a system development methodology by generating the UML diagrams from the requirements of the Automatic Banking Machine (ABM) System and discuss their relationships, differences and suitability. The high-level requirements of the system are specified by using use-case diagram, activity diagram, state chart diagram, collaboration diagram, sequence diagram, and component diagram, and the low-level requirements of each component using class diagrams. We briefly introduce each diagram, their usage, their advantages and some limitations, and then we discuss the relationships and differences between two or more diagrams, and suitability for modeling the different parts of the system.
APA, Harvard, Vancouver, ISO, and other styles
10

Modi, Salisu, Hanan Abdulrahman Taher, and Hoger Mahmud. "A Tool to Automate Student UML diagram Evaluation." Academic Journal of Nawroz University 10, no. 2 (June 12, 2021): 189–98. http://dx.doi.org/10.25007/ajnu.v10n2a1035.

Full text
Abstract:
Unified modelling language (UML) is the accepted standard and modelling language for modeling in software development process. UML is widely used by most course tutors in teaching modules of software engineering and system analysis and design. Students taking such courses do submit assignments with UML diagrams such as use case, class, sequence, activity and so on. Different versions of such diagrams produced by the students for a given problem have to be assessed by the course tutor which is a challenging and time-consuming task. This paper presents a java-based tool which is developed based on a simple yet effective algorithm developed by the authors that will read student and tutors solution diagrams as inputs and evaluate and grade the diagrams automatically. The output of the tool is the score of the student diagram in respect of lecturer’s final solution. The output is presented in two feedback files, one containing students’ score for the lecturers and the other to be send to the student to note the areas that were incorrect. The tool has been tested and evaluated using a simple and assumed UML class diagram. The result shows that the tool functions effectively and can produce detail feedbacks for both students and tutors. The outcome of this paper contributes towards automating UML diagram evaluations.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "UML Activity Diagrams"

1

Sarstedt, Stefan. "Semantic foundation and tool support for model-driven development with UML 2 activity diagrams." [S.l. : s.n.], 2006. http://nbn-resolving.de/urn:nbn:de:bsz:289-vts-56434.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mustafa, Nasser Mousa Faleh. "Transformation of UML Activity Diagrams into Business Process Execution Language." Thèse, Université d'Ottawa / University of Ottawa, 2011. http://hdl.handle.net/10393/20106.

Full text
Abstract:
Researchers in software engineering proposed design method for distributed applications to construct a set of communicating system components from a global behavior. The joint behaviors of these components must precisely satisfy the specified global behavior. The next concern is to transform the constructed models of these components into executable business processes by ensuring the exchange of asynchronous messages among the generated business processes. The introduction of Service-Oriented Architecture (SOA) has helped to achieve this goal. SOA provides high flexibility in composing loosely-integrated services that can be used among business domains to carry out business transactions; this composition is known as service orchestration. Moreover, SOA supports Model Driven Architecture (MDA) such that services modeled as UML Activity Diagrams (AD) can be transformed into a set of Business Execution Language (BPEL) processes. Many researchers discussed the transformation of UML AD and the Business Process Modeling Notation (BPMN) into BPEL. However, they did not discuss the practical limitations that some of these transformations impose. This thesis addresses the imitations of the transformation from UML AD to BPEL processes using the IBM Rational Software Architect (RSA). We showed here that the tool is unable to create the correct BPEL artifacts from UML AD components in certain cases, for instance when the behavior includes the alternative for receiving single or concurrent messages, a weak loop, or certain choice activities. Furthermore, we provided novel solutions to the transformations in these cases in order to facilitate the transformation from UML AD to BPEL.
APA, Harvard, Vancouver, ISO, and other styles
3

Kartašov, Maksim. "Veiklos diagramų modeliavimo sistemos sudarymas ir tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2006. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2006~D_20060527_144628-10145.

Full text
Abstract:
Making electronic business systems, products of information technologies or solving real time tasks more and more IT specialists their designing work connect to UML language. The usage of this language provides opportunities to arrange documentation more simply, allows to communicate different position employees more easily, guarantee IT systems compatibility with business needs and requirements. One of the diagrams types used is activity diagram, which could be used to describe business processes, firms or its unit, compose official, activity or users instructions, show systems behaviour. Any investigative, designed or management activity at some cases is connected to modelling. Commonly designing systems, where parallel events could take place or, if necessary, to give an opportunity gradually, taking in account the reality, show events or state proceeding with the help of Petri nets. It is both graphical and mathematical design method. Designing activity diagrams of IT systems UML editors are used. To research and show events proceeding Petri nets are used. So the problem area is to compose a design system, which could transfer the elements of activity diagrams into Petri nets and model the functionality of the project. The major purpose of this study paper is to compose UML language activity diagrams modelling system, examine the functionality and design opportunities of system’s activity diagrams into Petri nets.
APA, Harvard, Vancouver, ISO, and other styles
4

Israr, Toqeer. "Modeling and Performance Analysis of Distributed Systems with Collaboration Behaviour Diagrams." Thèse, Université d'Ottawa / University of Ottawa, 2014. http://hdl.handle.net/10393/30950.

Full text
Abstract:
The use of distributed systems, involving multiple components, has become a common industry practice. However, modeling the behaviour of such systems is a challenge, especially when the behavior consists of several collaborations of different parties, each involving possibly several starting (input) and ending (output) events of the involved components. Furthermore, the global behavior should be described as a composition of several sub-behaviours, in the following called collaborations, and each collaboration may be further decomposed into several sub-collaborations. We assume that the performance of the elementary sub-collaborations is known, and that the performance of the global behavior should be determined from the performance of the contained elementary collaborations and the form of the composition. A collaboration, in this thesis, is characterized by a partial order of input and output events, and the performance of the collaboration is defined by the minimum delays required for a given output event with respect to an input event. This is a generalization of the semantics of UML Activities, where all input events are assumed to occur at the same time, and all output events occur at the same time. We give a semantic definition of the dynamic behavior of composed collaborations using the composition operators for control flow from UML Activity diagrams, in terms of partial order relationships among the involved input and output events. Based on these semantics, we provide formulas for calculating the performance of composed collaborations in terms of the performance of the sub-collaborations, where each delay is characterized by (a) a fixed value, (b) a range of values, and (c) a distribution (in the case of stochastic behaviours). We also propose approximations for the case of stochastic behavior with Normal distributions, and discuss the expected errors that may be introduced due to ignoring of shared resources or possible dependencies in the case of stochastic behaviours. A tool has been developed for evaluating the performance of complex collaborations, and examples and case studies are discussed to illustrate the applicability of the performance analysis and the visual notation which we introduced for representing the partial-order relationships of the input and output events.
APA, Harvard, Vancouver, ISO, and other styles
5

Passos, Lígia Maria Soares. "Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa." Universidade Federal de Uberlândia, 2009. https://repositorio.ufu.br/handle/123456789/12473.

Full text
Abstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
This work presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of linear logic, and an approach for the verification of workflow specifications in UML through the transformation of UML Activity Diagrams into WorkFlow nets. The qualitative analysis is concerned with the proof of soundness correctness criterion defined for WorkFlow nets. The quantitative analysis is based on the computation of symbolic dates for the planning of resources used to handle each task of the workflow process modeled by a t-Time WorkFlow net. For the verification of the specifications of workflow processes mapped into UML Activity Diagrams are presented formal rules to transform this ones into WorkFlow nets. In this context is proposed the analysis and correction of critical points in UML Activity Diagrams through the analysis of proof trees of linear logic. The advantages of such an approach are diverse. The fact of working with linear logic permits one to prove the correctness criterion soundness in a linear time without considering the construction of the reachability graph, considering the proper structure of the WorkFlow net instead of considering the corresponding automata. Moreover, the computation of symbolic dates for the execution of each task mapped into the t-Time WorkFlow net permits to plan the utilization of the resources involved in the activities of the workflow process, through formulas that can be used for any case handled by the correspondent workflow process, without to examine again the process to recalculate, for each new case, the dates of start and conclusion for the activities involved in the process. Regarding the verification of workflow processes mapped into UML Activity Diagrams, the major advantage of this approach is the transformation of a semi-formal model into a formal model, such that some properties, like soundness, can be formally verified.
Este trabalho apresenta um método para a análise qualitativa e quantitativa de Work- Flow nets baseado nas árvores de prova canônica da lógica linear e uma abordagem para a verificação de especificações de processos de workflow em UML através da transformação de Diagramas de Atividades da UML em WorkFlow nets. A análise qualitativa refere-se à prova do critério de corretude soundness definido para WorkFlow nets. Já a análise quantitativa preocupa-se com o planejamento de recursos para cada atividade de um processo de workflow mapeado em uma t-Time WorkFlow net e baseia-se no cálculo de datas simbólicas para o planejamento de recursos utilizados na realização de cada tarefa do processo de workflow. Para a verificação das especificações de processos de workflow mapeados em Diagramas de Atividades da UML são apresentadas regras formais para transformar estes diagramas em WorkFlow nets. Neste contexto também é proposta a análise e correção de pontos críticos em Diagramas de Atividades da UML através da análise de árvores de prova canônica da lógica linear. As vantagens das abordagens apresentadas neste trabalho são diversas. O fato de trabalhar com lógica linear permite provar o critério de corretude soundness em tempo linear e sem que seja necessária a construção de um grafo das marcações acessíveis, considerando diretamente a própria estrutura da WorkFlow net, ao invés de considerar o seu autômato correspondente. Além disso, o cálculo de datas simbólicas correspondentes à execução de cada tarefa mapeada em uma t-Time WorkFlow net permite planejar a utilização dos recursos envolvidos nas atividades do processo de workflow, através de fórmulas que podem ser utilizadas por qualquer caso tratado pelo processo de workflow correspondente, sem que seja necessário percorrer novamente o processo de workflow inteiro para recalcular, para cada novo caso, datas de início e término das atividades envolvidas no processo. Já no que diz respeito à verificação de processos de workflow mapeados em Diagramas de Atividades da UML, a principal vantagem desta abordagem é a transformação de um modelo semi-formal em um modelo formal, para o qual algumas propriedades, como soundness, podem ser formalmente verificadas.
Mestre em Ciência da Computação
APA, Harvard, Vancouver, ISO, and other styles
6

Ayala, Gaspar Sindy Annetty, Orozco Paula Lisbeth Ramirez, and Gutierrez Luis Enrique Ulco. "Aplicación de herramientas de productividad y mejora en el proceso de ensamblaje de mangueras hidráulicas en la empresa Contix S.A." Bachelor's thesis, Universidad Ricardo Palma, 2015. http://cybertesis.urp.edu.pe/handle/urp/1293.

Full text
Abstract:
La presente tesis buscó analizar y aplicar herramientas de productividad y mejora en el proceso de ensamblaje de mangueras hidráulicas en la empresa Contix S.A. La propuesta de mejora continua tuvo como objetivos: reducir los tiempos de entrega del producto final del proceso de ensamblaje; analizar, identificar y mejorar las demoras en los tiempos de operación, proponer una adecuada distribución de planta y minimizar las fallas de las máquinas. Además, se utilizó técnicas de ingeniería, como por ejemplo; diagrama de actividades, diagrama de flujo, diagrama de recorrido. También el estudio de tiempo es fundamental para establecer los tiempos necesarios para cada operación. Con estos métodos y herramientas de ingeniería se logró cumplir con el tiempo de entrega de los productos ensamblados y tener una distribución de planta ordenada que permitió una mayor fluidez de los operarios y del producto. Como resultado más importante se obtuvo un aumento en la productividad de 52%, consiguiendo reducir el tiempo de entrega del producto. Por consiguiente, aumentando la satisfacción del cliente. The following thesis seeks to analyze and apply productivity tools, in order to improve the assembly process of hydraulic hoses in the Company Contix S.A. The improvement proposal continue aims to reduce the delivery time of the final product of the assembly process; analyze, identify and improve the delays in the operation times. To propose an appropriate distribution of plant and to minimize the machines’ failures. In addition, engineering techniques will be used, such as; Activity Diagram (UML), Flow Diagram (or Flowchart), Circuit Diagram. It is also crucial the Study of time for determining the time required for each operation. These methods and engineering tools will allow to comply with the assembled products’ delivery time and also have an orderly distribution plant allowing greater fluidity of operators and product. As the most important result, an improved productivity of 52% will be achieved, reducing the delivery time of the product. As a result, the increase of customer satisfaction.
APA, Harvard, Vancouver, ISO, and other styles
7

Kučera, Antonín. "Návrh využití vývojového rámce Scrum a modelovacího jazyka UML pro zefektivnění tvorby webových stránek." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-165084.

Full text
Abstract:
The main goal of this diploma thesis is the proposal to use agile development procedures of Scrum framework with UML modeling language applicable for creating websites of small scale. The emphasis is especially put on creating a practically usable type model of the websites. The theoretical part of the thesis has two main chapters. In the "Agile methodology" chapter are listed principles of agile approach to creating software. The next part of this chapter is focus on agile methodologies (Scrum, XP, ASD, FDD, DSDM, LD and Crystal). In the "UML" chapter is introduced modeling language UML and its principles. The next part of this chapter is focus on UML diagrams used in practical part of this thesis (use case diagram, class diagram, sequence diagram, activity diagram and deployment diagram). The practical part of this thesis focuses on the design type model for creating websites of small scale. The type model is based both on the theoretical part of this work and practical experience of the author. In the first part is introduced scheme of model, where is shown the mutual relationship of individual phases. In the next part of this chapter are discussed the individual phases where is used the principle of agile development framework Scrum and examples of use of the UML diagrams.
APA, Harvard, Vancouver, ISO, and other styles
8

Honajzer, Martin. "Návrh subsystému CRM firemního informačního systému." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2008. http://www.nusl.cz/ntk/nusl-228295.

Full text
Abstract:
The aim of this work is to analyze and design model completely prepared for the developing team which must be able to build a fully functional CRM modul for company offering computer training. Through the use of UML diagrams it will figure out functions offered by the modul and the way, how these functions are accessible to the user. This work will also suggest some possibilities of work between this modul and the database in the SQL language.
APA, Harvard, Vancouver, ISO, and other styles
9

Brodecký, Radek. "Informační systém pro překladatelskou agenturu." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2008. http://www.nusl.cz/ntk/nusl-227935.

Full text
Abstract:
Presented thesis deals with design and implementation of an information system for a local translation agency. The main purpose of the information system is to provide functions for effective user/project management. Key part of system is represented by a multi-level processing of terminology queries from external translators. Further features include distribution of documents to users, resource planning, and work evaluation. In order to provide instant 24/7 access, the system has been implemented as a WWW application using PHP script language, MySQL database, and AJAX technology.
APA, Harvard, Vancouver, ISO, and other styles
10

Gajarský, Pavol. "Generování kódu z diagramů aktivity jazyka UML." Master's thesis, 2011. http://www.nusl.cz/ntk/nusl-313885.

Full text
Abstract:
Code generation from UML is still very limited. Diagrams, which are usually used for code generation describes the static structure. These are mostly the class diagrams. One of the most useful and least used types of diagrams is behavioral diagrams. The reason for this is mainly a lack of support from the UML specification. The onset of version 2.0 has brought visible changes in this area. This thesis will focus only on activity diagrams and possibilities of code generation from them. One of them will be verified on a prototype tool that can generate skeleton of code in chosen language (e.g. Java, C + +, PHP ,...). Then it will be compared to alternative approaches and evaluated in terms of its advantages and disadvantages. As input is expected activity diagram created and exported by external CASE tool in XMI format. Architecture of tool will provide possibility of defining new modules. So the end user will be able to program another output language by the medium of given interface.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "UML Activity Diagrams"

1

Al-Fedaghi, Sabah. "Scrutinizing UML Activity Diagrams." In Information Systems Development, 59–67. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/b137171_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Xuandong, Li, Cui Meng, Pei Yu, Zhao Jianhua, and Zheng Guoliang. "Timing Analysis of UML Activity Diagrams." In ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools, 62–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45441-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Abbas, Messaoud, Mounir Beggas, and Ammar Boucherit. "Formalizing and Verifying UML Activity Diagrams." In Communications in Computer and Information Science, 49–63. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32213-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Grønmo, Roy, and Birger Møller-Pedersen. "Aspect Diagrams for UML Activity Models." In Applications of Graph Transformations with Industrial Relevance, 329–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89020-1_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mijatov, Stefan, Tanja Mayerhofer, Philip Langer, and Gerti Kappel. "Testing Functional Requirements in UML Activity Diagrams." In Tests and Proofs, 173–90. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21215-9_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Börger, Egon, Alessandra Cavarra, and Elvinia Riccobene. "An ASM Semantics for UML Activity Diagrams." In Algebraic Methodology and Software Technology, 293–308. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45499-3_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gessenharter, Dominik, and Martin Rauscher. "Code Generation for UML 2 Activity Diagrams." In Modelling Foundations and Applications, 205–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21470-7_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Petriu, Dorina C., and Yimei Sun. "Consistent Behaviour Representation in Activity and Sequence Diagrams." In ≪UML≫ 2000 — The Unified Modeling Language, 369–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40011-7_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Dumas, Marlon, and Arthur H. M. ter Hofstede. "UML Activity Diagrams as a Workflow Specification Language." In ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools, 76–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45441-1_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Daw, Zamira, and Rance Cleaveland. "An Extensible Operational Semantics for UML Activity Diagrams." In Software Engineering and Formal Methods, 360–68. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22969-0_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "UML Activity Diagrams"

1

Sunitha, E. V., and Philip Samuel. "Enhancing UML activity diagrams using OCL." In 2013 IEEE International Conference on Computational Intelligence and Computing Research (ICCIC). IEEE, 2013. http://dx.doi.org/10.1109/iccic.2013.6724115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Striewe, Michael, and Michael Goedicke. "Automated assessment of UML activity diagrams." In the 2014 conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2591708.2602657.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Brettschneider, M., and T. Häberlein. "Functional abstractions for UML activity diagrams." In 2010 Forum on Specification & Design Languages (FDL 2010). IET, 2010. http://dx.doi.org/10.1049/ic.2010.0151.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kim, Hyungchoul, Sungwon Kang, Jongmoon Baik, and Inyoung Ko. "Test Cases Generation from UML Activity Diagrams." In Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007). IEEE, 2007. http://dx.doi.org/10.1109/snpd.2007.189.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ben, Jemni. "From UML Activity Diagrams to Event B." In Information Control Problems in Manufacturing, edited by Bakhtadze, Natalia, chair Dolgui, Alexandre and Bakhtadze, Natalia. Elsevier, 2009. http://dx.doi.org/10.3182/20090603-3-ru-2001.00069.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Drusinsky, Doron. "From UML activity diagrams to specification requirements." In 2008 IEEE International Conference on System of Systems Engineering (SoSE). IEEE, 2008. http://dx.doi.org/10.1109/sysose.2008.4724143.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Xu, Dong, Huaikou Miao, and Nduwimfura Philbert. "Model Checking UML Activity Diagrams in FDR." In 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science. IEEE, 2009. http://dx.doi.org/10.1109/icis.2009.107.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Li, Jing, Jinhua Li, and Fangning Zhang. "Model Checking UML Activity Diagrams with SPIN." In 2009 International Conference on Computational Intelligence and Software Engineering. IEEE, 2009. http://dx.doi.org/10.1109/cise.2009.5363181.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Isabelle Olszewska, Joanna. "UML Activity Diagrams for OWL Ontology Building." In 7th International Conference on Knowledge Engineering and Ontology Development. SCITEPRESS - Science and and Technology Publications, 2015. http://dx.doi.org/10.5220/0005633103700374.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Xu, Dong, Nduwimfura Philbert, Zongtian Liu, and Wei Liu. "Towards Formalizing UML Activity Diagrams in CSP." In 2008 International Symposium on Computer Science and Computational Technology. IEEE, 2008. http://dx.doi.org/10.1109/iscsct.2008.379.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "UML Activity Diagrams"

1

Flater, David, Philippe A. Martin, and Michelle L. Crane. Rendering UML activity diagrams as human-readable text. Gaithersburg, MD: National Institute of Standards and Technology, 2007. http://dx.doi.org/10.6028/nist.ir.7469.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'UML Activity Diagrams' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography