- 54
- 129 498
PragmaDev Software
เข้าร่วมเมื่อ 18 ต.ค. 2011
PragmaDev provides two lines of product: 1) PragmaDev Process is a simple and powerful tool that aims at helping business process modelers to verify and optimise their models. It integrates a BPMN editor, an executor, an explorer, and a simulator. 2) PragmaDev Studio is a tool to specify and design communicating systems. It integrates four different tools based on international standard technologies. It targets architects/system engineers, developers, and testers. This channel contains conference talks, demonstrations, and trainings related to the technologies we use. More information on our web site: www.pragmadev.com
Experimenting low code with SDL and BPMN.
Presentation of our paper at SAM 2024 conference in Linz, Austria on Sep 23, 2024.
มุมมอง: 73
วีดีโอ
PragmaDev Process BPMN Performance Analysis
มุมมอง 1506 หลายเดือนก่อน
Demonstration of PragmaDev Process V3.2 Performance Analysis feature.
Introduction to BPSim for BPMN simulation
มุมมอง 3009 หลายเดือนก่อน
An introduction to BPSim in order to enhance business processes described in BPMN with time, cost, and resources. This allows to run simulations to evaluate the lead time, the cost, the quality and to optimize resources allocated to the different activities. 0:00 Introduction 1:55 Organization 2:08 Scenario 2:43 Simulation parameters 3:35 Time parameters 5:39 Cost parameters 5:58 Resource param...
BPMN Digital Twin demo
มุมมอง 205ปีที่แล้ว
This video shows the demonstration we presented on Nov 20th 2023: a BPMN Digital Twin of a Cosmyx 3D printing factory.
Webinar on PragmaDev Process V3.1 newfeatures
มุมมอง 129ปีที่แล้ว
PragmaDev Process is a tool to edit, verify, and optimize business processes modeles with BPMN and BPSim. This webinar presents the main two features of this version: fast BPMN edition and multi-core simulation. 0:00 Introduction 11:30 Fast edition 25:47 Multicore simulation
Language Agnostic Model Checking for SDL.
มุมมอง 145ปีที่แล้ว
Presentation of our paper at the SAM 2023 conference, a satellite of Models, in Västerås, Sweden, on October 2nd 2023.
Optimizing resources in a business process described with BPMN and BPSim.
มุมมอง 953ปีที่แล้ว
This a demonstration of PragmaDev Process V3 that introduces resources in business process simulation in order to optimize them. It goes through a simple example to demonstrate how to achieve optimization. The process is described with BPMN and the estimated time and cost are described with BPSim.
Webinar on resources optimization for your business process.
มุมมอง 108ปีที่แล้ว
PragmaDev Process V3 webinar on March 13, 2023. 0:00 Introduction 7:23 Demonstration 17:20 Simulation results
Automatic Testing of Business Processes
มุมมอง 3Kปีที่แล้ว
Presentation at the UCAAT conference on Oct20, 2021.
exoTICus
มุมมอง 882 ปีที่แล้ว
PragmaDev is an active member of SYSTEM@TIC and was involved in the exoTICus project. The project leader Yann Gasté from Alcatel-Lucent introduces the project in French in this video shot on 22nd of June 2009.
PragmaDev Tester short introduction and demonstration
มุมมอง 2182 ปีที่แล้ว
PragmaDev Tester is one of the 4 parts of PragmaDev Studio. PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. It can be used to test abstract specification as well as the implementation of a system. PragmaDev Tester is based on TTCN-3 international standard. TTCN-3 stands for Testing a Test Control and Notation. 0:00 Introduction 1:04 ...
PragmaDev Tester presentation and demonstration
มุมมอง 1652 ปีที่แล้ว
This video is with the old Real Time Developer Studio branding instead of PragmaDev Studio but the explanations and the demonstration are still valid. The presentation goes through some explanations regarding TTCN-3, how it is generated, and demonstrate it with the tool.
Introduction to SDL-RT
มุมมอง 7372 ปีที่แล้ว
This video presents SDL-RT modeling language. SDL-RT is a combination of ITU-T SDL, ANSI C/C language, and OMG UML modeling notation. It is targeting code generation for embedded and real time software running on a Real Time Operating System. 0:00 Origins 2:53 Benefits 5:56 Architecture 7:45 Communication 8:35 Synchronization 9:12 Behavior and data 22:10 Object orientation 32:49 MSC 36:47 Forma...
PragmaDev Process BPMN Simulation with BPSim
มุมมอง 2.8K2 ปีที่แล้ว
This is a demonstration of the new simulation feature in version 2 of PragmaDev Process. It shows how to add the BPSim information to the BPMN, launches a simulation, and analyses the results. More information about PragmaDev Process in this video: th-cam.com/video/COHG4y47OJY/w-d-xo.html
PragmaDev Process one minute introduction.
มุมมอง 2433 ปีที่แล้ว
PragmaDev Process one minute introduction.
Introduction à PragmaDev Process en une minute.
มุมมอง 923 ปีที่แล้ว
Introduction à PragmaDev Process en une minute.
Verify your BPMN with PragmaDev Process
มุมมอง 1.5K4 ปีที่แล้ว
Verify your BPMN with PragmaDev Process
JuIcE System optimisation, a use case in the space domain
มุมมอง 3386 ปีที่แล้ว
JuIcE System optimisation, a use case in the space domain
1mn teaser of PragmaDev Studio benefits
มุมมอง 1.9K7 ปีที่แล้ว
1mn teaser of PragmaDev Studio benefits
System optimization, a use case in the space domain
มุมมอง 1557 ปีที่แล้ว
System optimization, a use case in the space domain
Joli boulot ; mais "Bras au repos" est un etat et devrait etre modélisé avec un "receive event" en entree de lane + un "data object" dont le state varie en repos/occupé. Le "event received" etant declencheur direct du changement d'etat ; les activités exhibant une modif du state le pendant indirect (cf.CQRS pour les majeures infos)
one of my hated module but i have to take it thanks
13:08
you saveeeeed meeeee
C'est super ce travail Courage et bravo 👌 à toute l'équipe Cosmyx
anyone can draw diagram from a case study?
Great clarity, simplicity and completeness. Great that there is a simple, yet elaborate enough example.
Great video!
great presentation
Why is length 09 min 15:42
9 is the length of the whole sequence that follows. That include the VisibleString (type is 1 + length is 1 + value is 4 = 6) and the Integer (type is 1 + length is 1 + value is 1 = 3).
very good
Hi, it would be much better if you provide us the complete installation process on windows pc .. i have try many way till now unable to setup development and test environment...please help us regarding
Simple, concise, extraordinary. Thank you.
Great video! Best so far I've seen! Thank you for this presentation
thanks sir
thanks a lot, really great introduction!!!
15:21 why is the total length 9? It's really bugging me, and I don't get why it's 9. I do understand how the length of the different types of strings and what not are calculated though. I just want to know where does the 9 come from.
I'm not sure, whether I get it now, but I think: -) you counted a byte extra for the length of "john", and a byte extra to its tag (VisibleString) -) you counted a byte extra for the age 42, and a byte extra for its tag (INTEGER) which means that the total length is: length of the string ("john") + 2 + length of the integer (42) + 2 = 9 Is that right? Either way I was totally confused that you filled the row of the total length, which is 9, before filling the rest of the table, which confused me because you need at first the length of everything before knowing the total length.
@@venustheplanet8208 Length field is meant to give the number of bytes(octets) enclosed in the Value field of TLV. Here in this case Length 09 is basically the number of octets (bytes) enclosed inside the sequence Person. The 9 Octets are 1A 04 4A 6F 68 6E 02 01 2A.
Qual é a a relação entre ASN.1, SMI e MIB ? . ASN.1, SMI e MIB; WHAT IS THE RELATION WITH THIS GUYS ? Help me
SMI (Structure of Management Information) is an adapted subset of ASN.1used in SNMP to define MIB objects.
@@PragmaDevSoftware Thank you so much
that was perect
eL magnefico
Good explanation with example
I need ur help
Hlo sir
Superb Sir. Explained the asn1 in Detail. Very impressive 👏. Thanks you for your efforts
What about DER?
Is SDL used for tech writers creating dita?
Thank you for this. It was concise & to the point. Loved it more at speed 1.25 :))
Thank you!
Thank you !!
Les SIAME en force !
Poggers
Oh shit, here we go again. Big up au SECIL de l'année pro
15:00 ".. And age with cheese, An Integer." Ah yes Integers.. The good old age with some cheese on it
Very useful and informative video.
Great video - thanks Emmanuel!
Thanks a lot Emanuel. That’s amazing presentation !!!
Can I know how to install this software in ubuntu
Sir
Emmanuel, thank you so much for this amazing explanation! It's so good this is the first time I take the time to say thanks as opposed to simply upvoting.
Great sir Thanks for the video
Merci !
diamante en el minuto 24:02
gracias estepa
Vamos a prepagag una sena de pigcoteo
Nice job Sir 🙌
nice explanation
It's such a great explanation, huge, huge thanks!
the best explanation ever, simple and precise, just wowwww
0:00 RIP HEADPHONE USERS
Amazing video ! Ce présentateur, quel swag !
Nice Video, Thanks!!
Very basic
I was expecting to hear more about SDL as it is the "tittle" of the video! Thank you for the video anyways.