| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Narasimha Bolloju, Sherry X. Sun |
Enhancing the quality of use case models and activity diagrams using a differential quality model.  |
DESRIST  |
2009 |
DBLP DOI BibTeX RDF |
quality dependencies, activity diagrams, use case models |
| 3 | Lilia Muñoz, Jose-Norberto Mazón, Jesús Pardillo, Juan Trujillo |
Modelling ETL Processes of Data Warehouses with UML Activity Diagrams. |
OTM Workshops |
2008 |
DBLP DOI BibTeX RDF |
modelling, UML, processes, activity diagrams, ETL |
| 3 | Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita |
Coverage-driven automatic test generation for uml activity diagrams. |
ACM Great Lakes Symposium on VLSI |
2008 |
DBLP DOI BibTeX RDF |
uml activity diagrams, test generation |
| 3 | Narasimha Bolloju, Sherry Xiaoyun Sun |
Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications. |
ER Workshops |
2008 |
DBLP DOI BibTeX RDF |
quality requirements specifications, activity diagrams, Use case models |
| 3 | Christoph Knieke, Michaela Huhn, Malte Lochau |
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Requirements Engineering, Activity Diagrams, Live Sequence Charts |
| 3 | Christoph Knieke, Michaela Huhn, Malte Lochau |
Modeling and Validation of Executable Requirements Using Live Activity Diagrams. |
SERA |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Requirements Engineering, Model Driven Engineering, Activity Diagrams, Live Sequence Charts |
| 3 | Guttorm Sindre |
Mal-Activity Diagrams for Capturing Attacks on Business Processes. |
REFSQ |
2007 |
DBLP DOI BibTeX RDF |
business processes, security requirements, activity diagrams, social engineering, fraud |
| 3 | Rik Eshuis |
Symbolic model checking of UML activity diagrams. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Unified Modeling Language, activity diagrams |
| 3 | Nicolas Guelfi, Amel Mammar |
A formal framework to generate XPDL specifications from UML activity diagrams. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
XPDL language, transformations, correctness proofs, UML activity diagrams |
| 3 | Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell |
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. |
ER |
2005 |
DBLP DOI BibTeX RDF |
UML, Activity Diagrams, Workflow Patterns, YAWL |
| 3 | Tsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse |
Identification of Categories and Choices in Activity Diagrams. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
choice relation framework, test frame, specification-based testing, Activity diagrams, classification-tree method, category-partition method |
| 3 | Juan Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
| 3 | Nandish V. Patel |
Healthcare Modelling through Role Activity Diagrams for Process-Based Information Systems Development. |
Requir. Eng. |
2000 |
DBLP DOI BibTeX RDF |
Role Activity Diagrams, Collaboration, Interaction, Requirements engineering, Business processes, Socio-technical |
| 2 | Peilei Ye |
Study on Formalizing Unified Modeling Language Activity Diagrams in FDR. |
MVHI |
2010 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, UML Activity Diagrams |
| 2 | Yosr Jarraya, Mourad Debbabi, Jamal Bentahar |
On the Meaning of SysML Activity Diagrams. |
ECBS |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu |
Modeling and integrating aspects with UML activity diagrams. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
integration, crosscutting concern, aspect-oriented modeling, UML activity diagram |
| 2 | Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer, Gerd Wierse |
Object Flow Definition for Refined Activity Diagrams. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Chi-Lun Liu |
Ontology-Based Requirements Conflicts Analysis in Activity Diagrams. |
ICCSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Dong Xu, Huaikou Miao, Nduwimfura Philbert |
Model Checking UML Activity Diagrams in FDR. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Tony Spiteri Staines |
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
UML AD, workflow applications, Formal verification, Specification, Event B |
| 2 | Chang-ai Sun |
A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Unified Modeling Language, Software Testing, Model-based Testing, Test Case Generation |
| 2 | Kenneth Boness, Rachel Harrison |
Goal Sketching with Activity Diagrams. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer |
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Mirco Tribastone, Stephen Gilmore |
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. |
WOSP |
2008 |
DBLP DOI BibTeX RDF |
pepa, uml, marte |
| 2 | Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne |
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. |
ECBS |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi |
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Stefan Sarstedt, Walter Guttmann |
An ASM Semantics of Token Flow in UML 2 Activity Diagrams. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin Siebenhaller, Michael Kaufmann |
Drawing activity diagrams. |
SOFTVIS |
2006 |
DBLP DOI BibTeX RDF |
UML |
| 2 | Alfonso Rodríguez, Eduardo Fernández-Medina, Mario Piattini |
Capturing Security Requirements in Business Processes Through a UML 2.0 Activity Diagrams Profile. |
ER (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Petia Wohed |
On the suitability of UML 2.0 activity diagrams for business process modelling. |
APCCM |
2006 |
DBLP DOI BibTeX RDF |
UML |
| 2 | Dong Xu, Huaizhong Li, Chiou Peng Lam |
Using Adaptive Agents to Automatically Generate Test Scenarios from the UML Activity Diagrams. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Nicolas Guelfi, Amel Mammar |
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Robert Chandler, Chiou Peng Lam, Huaizhong Li |
AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Costin Badica, Maria Teodorescu, Cosmin Spahiu, Amelia Badica, Chris Fox |
Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | A. K. Bhattacharjee, R. K. Shyamasundar |
Validated Code Generation for Activity Diagrams. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Yan Zhijun |
Consistency Analysis of Interorganizational Processes Based on Activity Diagrams. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Hemant Kr. Meena, Indradeep Saha, Koushik Kr. Mondal, T. V. Prabhakar |
An approach to workflow modeling and analysis. |
ETX |
2005 |
DBLP DOI BibTeX RDF |
Petri nets, workflow, Eclipse, activity diagrams, workflow analysis |
| 2 | Alexander Förster, Gregor Engels, Tim Schattkowsky |
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
Business Process, ISO 9001, UML Activity Diagrams, Process Quality |
| 2 | Rik Eshuis, Roel Wieringa |
Tool Support for Verifying UML Activity Diagrams. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens |
Analysing UML 2.0 activity diagrams in the software performance engineering process. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Harald Störrle |
Semantics of Control-Flow in UML 2.0 Activities. |
VL/HCC |
2004 |
DBLP DOI BibTeX RDF |
denotational and compositional semantics, modeling of web-services, work-flows and service-oriented architectures, Activity Diagrams, UML 2.0 |
| 2 | Costin Badica, Amelia Badica, Valentin Litoiu |
Role Activity Diagrams as Finite State Processes. |
ISPDC |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing |
Extending Activity Diagrams to Model Mobile Systems. |
NetObjectDays |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Ian Beeson, Stewart Green, Jin Sa, Alan Sully |
Linking Business Processes and Information Systems Provision in a Dynamic Environment. |
Information Systems Frontiers |
2002 |
DBLP DOI BibTeX RDF |
role activity diagrams, business process, process modelling, information system development, information systems architecture |
| 2 | Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng |
Timing Analysis of UML Activity Diagrams. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Marlon Dumas, Arthur H. M. ter Hofstede |
UML Activity Diagrams as a Workflow Specification Language. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Rik Eshuis, Roel Wieringa |
A Real-Time Execution Semantics for UML Activity Diagrams. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Elizabeth Chang, E. Gautama, Tharam S. Dillon |
Extended Activity Diagrams for Adaptive Workflow Modelling. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Anneke Kleppe, Jos Warmer |
Making UML Activity Diagrams Object-Oriented. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
UML metamodel, UML semantics, UML, constraints, information hiding, delegation, encapsulation, responsibility, activity diagram, pre- and postconditions, flow diagrams |
| 2 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
An ASM Semantics for UML Activity Diagrams. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Jabed Morshed Chowdhury, Raimundas Matulevicius, Guttorm Sindre, Péter Kárpáti |
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions. |
REFSQ |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashalatha Nayak, Debasis Samanta |
Synthesis of test scenarios using UML activity diagrams. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sana Oueslati Ben Amor, Mouez Ali, Faïez Gargouri |
Verification of the Consistency between Use Case and Activity Diagrams - A Step Towards Validation of User Requirements. |
ICEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Amelia Badica, Costin Badica |
Formal Verification of Business Processes Represented as Role Activity Diagrams. |
FedCSIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nasser Mousa Faleh. Mustafa, Gregor von Bochmann |
Transforming dynamic behavior specifications from activity diagrams to BPEL. |
SOSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sundar Gopalakrishnan, John Krogstie, Guttorm Sindre |
Adapted UML Activity Diagrams for Mobile Work Processes: Experimental Comparison of Colour and Pattern Fills. |
BMMDS/EMMSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Gessenharter, Martin Rauscher |
Code Generation for UML 2 Activity Diagrams - Towards a Comprehensive Model-Driven Development Approach. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows. |
COMPSAC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello |
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling. |
PROFES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
ADDiff: semantic differencing for activity diagrams. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita |
Efficient test case generation for validation of UML activity diagrams. |
Design Autom. for Emb. Sys. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lilia Muñoz, Jose-Norberto Mazón, Juan Trujillo |
A family of experiments to validate measures for UML activity diagrams of ETL processes in data warehouses. |
Information & Software Technology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. |
ICSOFT |
2010 |
DBLP BibTeX RDF |
|
| 1 | André Heuer, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl |
Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams. |
SPLC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed |
Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams. |
NOTERE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Djedjiga Mouheb, Dima Alhadidi, Mariam Nouh, Mourad Debbabi, Lingyu Wang, Makan Pourzandi |
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn |
Generating Test Plans for Acceptance Tests from UML Activity Diagrams. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
Model Based Testing, Activity Diagram, Test Case Generation |
| 1 | Tao Yue, Lionel C. Briand, Yvan Labiche |
An Automated Approach to Transform Use Cases into Activity Diagrams. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Birkmeier, Sven Overhage |
Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users. |
QoSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xing Tan, Michael Gruninger |
Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective. |
Web Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Brettschneider, Tobias Häberlein |
Functional Abstractions for UML Activity Diagrams. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva |
Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. |
QUATIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Grönniger, Dirk Reiss, Bernhard Rumpe |
Towards a Semantics of Activity Diagrams with Semantic Variation Points. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Birkmeier, Sebastian Kloeckner, Sven Overhage |
An Empirical Comparison of the Usability of BPMN and UML Activity Diagrams for Business Users. |
ECIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian |
Mapping UML Activity Diagrams to Analyzable Petri Net Models. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Putschögl, Bernhard Dorninger |
Modelling Interactions for Automatic Execution Using UML Activity Diagrams. |
Modellierung |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, José Luis Garrido, Manuel Noguera, María Visitación Hurtado, Lawrence Chung |
Extending and Formalizing UML 2.0 Activity Diagrams for the Specification of Time-Constrained Business Processes. |
RCIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sundar Gopalakrishnan, John Krogstie, Guttorm Sindre |
Adapting UML Activity Diagrams for Mobile Work Process Modelling: Experimental Comparison of Two Notation Alternatives. |
PoEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Sáez-Barona, Ismael Salvador, Diego Carrion, Leandro Gracia, Juan Carlos Pérez-Cortes |
Exploiting Parallelism in Multi-View Systems Using UML Activity Diagrams and OpenMP. |
DEXA Workshops |
2010 |
DBLP DOI BibTeX RDF |
UML, Code generation, OpenMP |
| 1 | Drazen Brdjanin, Slavko Maric, Dejan Gunjic |
ADBdesign: An Approach to Automated Initial Conceptual Database Design Based on Business Activity Diagrams. |
ADBIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivonne Erfurth, Wilhelm Rossak |
CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
CUTA, UML activity, requirements elicitation, card games |
| 1 | Bruno de Moura Araujo, Eber Assis Schmitz, Alexandre L. Correa, Antonio Juarez Alencar |
A method for validating the compliance of business processes to business rules. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
compliance validation, UML, business process, OCL, business rules |
| 1 | Paolo Bottoni, Andrea Saporito |
Resource-based enactment and adaptation of workflows from activity diagrams. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | A. K. Bhattacharjee, R. K. Shyamasundar |
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Debasish Kundu, Debasis Samanta |
A Novel Approach to Generate Test Cases from UML Activity Diagrams. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Li, Xianzhong Dai, Zhengda Meng, Jianping Dou, Xianping Guan |
Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams. |
Computers & Industrial Engineering |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Samuel, Rajib Mall |
Slicing-based test case generation from UML activity diagrams. |
ACM SIGSOFT Software Engineering Notes |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi |
Activity Diagrams. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. |
SERVICES I |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Flater, Philippe Martin, Michelle Crane |
Rendering UML Activity Diagrams as Human-Readable Text. |
IKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Weidong Zhao, Weihui Dai, Anhua Wang, Xiaochun Fang |
Role-Activity Diagrams Modeling Based on Workflow Mining. |
CSIE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sapna P. G., Hrushikesha Mohanty |
Prioritization of Scenarios Based on UML Activity Diagrams. |
CICSyN |
2009 |
DBLP DOI BibTeX RDF |
UML, Prioritization |
| 1 | Sabine Boufenara, Faiza Belala, Chafia Bouanaka |
A synchronization schema in activity diagrams via zero-safe-nets. |
AICCSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Daniyal, Syed Sibte Raza Abidi |
Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S. |
KR4HC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Raschke |
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuang-Nan Chang |
Using Activity Diagrams for Function Design. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Decker |
An UML profile for the modelling of mobile business processes and workflows. |
MobiMedia |
2009 |
DBLP DOI BibTeX RDF |
mobile business processes/workflows, usecase diagrams, modelling, UML, location-based services, activity diagrams |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")