|
International standards
PragmaDev uses recognized international standards in its tools.
|
The Business Process Model and Notation (BPMN) specification provides a graphical notation for specifying business processes in a Business Process Diagram. Its goal is to support Business Process Modeling by providing a standard notation that is comprehensible to business users yet represents complex process semantics for technical users. |
|
BPSim is an extension to BPMN in order to add time and cost information to the different activities. The information comes with statistical distributions. Running a BPSim simulation allows to estimate the lead time and cost of a whole process in order to optimize it. |
|
ITU-T Z.100 Specification and Description Language. Initially designed to describe telecommunication protocols SDL actually fits any communicating system and has been used in a lot of different areas such avionics, space, automotive... |
|
ITU-T Z.160 series Testing and Test Control Notation. TTCN-3 is the ideal technology to write test cases for conformance to a standard. Initially used in the telecommunication area by European Telecommunication Standardisation Institute, TTCN-3 is also used by the Automative industry to produce Autosar conformance test cases. |
|
Specification and Description Language Real Time. As a variant of SDL, SDL-RT replaces the action language in the model by C/C++ code. The model is therefore very close to the final code and is ideal for real time developers. ITU-T has published in its Z.104 recommandation a standard way of integrating C in SDL models. |
|
Unified Modeling Language. Standardized by the Object Management Group UML has been widely adopted but suffers from the start by a lack of precision. UML models can be interpreted very differently and for that reason are mostly used as a non executable high level model for documentation. The standardized UML profile based on SDL Z.109 addresses this weakness and combines the best of both worlds. |
A well defined process
PragmaDev Process relies on BPMN standard semantic to execute, explore and simulate the model. As a result the process has no ambiguity left and its implementation in operation is safe and sound.PragmaDev Process BPMN simulator is based on BPSim recommendation. Time and cost information with statistical distributions are added.
Different levels of modeling in one tool
PragmaDev Studio offers different levels of modelling within the same tool: informal (UML), semi-formal (SDL-RT), and fully formal modeling (SDL). While informal modeling is mainly used for documentation, the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, and test of the model.
Different levels of modeling
PragmaDev Studio supports TTCN-3 testing language that has the same level of abstraction than your model. It is therefore possible to test an informal model as well as an implementation on target, and to cover all phases in the development cycle.
