- 53
- 127 534
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
PragmaDev Process BPMN Performance Analysis
Demonstration of PragmaDev Process V3.2 Performance Analysis feature.
Переглядів: 142
Відео
Introduction to BPSim for BPMN simulation
Переглядів 2627 місяців тому
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
Переглядів 19610 місяців тому
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
Переглядів 12310 місяців тому
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.
Переглядів 13811 місяців тому
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.
Переглядів 885Рік тому
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.
Переглядів 101Рік тому
PragmaDev Process V3 webinar on March 13, 2023. 0:00 Introduction 7:23 Demonstration 17:20 Simulation results
Automatic Testing of Business Processes
Переглядів 3 тис.Рік тому
Presentation at the UCAAT conference on Oct20, 2021.
exoTICus
Переглядів 86Рік тому
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
Переглядів 2032 роки тому
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
Переглядів 1572 роки тому
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
Переглядів 7172 роки тому
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,8 тис.2 роки тому
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: ua-cam.com/video/COHG4y47OJY/v-deo.html
PragmaDev Process one minute introduction.
Переглядів 2353 роки тому
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,5 тис.4 роки тому
Verify your BPMN with PragmaDev Process
JuIcE System optimisation, a use case in the space domain
Переглядів 3376 років тому
JuIcE System optimisation, a use case in the space domain
1mn teaser of PragmaDev Studio benefits
Переглядів 1,9 тис.7 років тому
1mn teaser of PragmaDev Studio benefits
System optimization, a use case in the space domain
Переглядів 1547 років тому
System optimization, a use case in the space domain
Optimizing Performance of SDL systems
Переглядів 4087 років тому
Optimizing Performance of SDL systems
PragmaDev Tracer online demonstration
Переглядів 8027 років тому
PragmaDev Tracer online demonstration
one of my hated module but i have to take it thanks
13:08
you saveeeeed meeeee
Thanks for this great presentation ! Is the slide support available ?
You can find the slides on this link: www.pragmadev.com/downloads/Trainings/SDLTutorial.pdf
@@PragmaDevSoftwareThanks a lot ! Hello and kudos of a julia lang coder from Lyon, FR
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.