![]() Specification of different abstraction levels to distribute the concepts of the domainĪppropriately. Is the design and implementation of DSMLs. One of the most prominent fields of Model-Driven Software Engineering (MDSE) To reveal errors and potential misbehaviours. Simulation, execution and verification of models prior to their actual implementation Increased the interest in the behavioural aspects of modelling languages, facilitating the Moreover, the pervasive and concurrent nature of today’s software has Languages (DSMLs) to bridge the gap between clients, domain experts and softwareĮngineers. Has enforced the needs to explore the development of Domain-Specific Modelling The adoption of software systems to support almost all kinds of tasks for the society It is paramount to explore techniques that speed up the construction of softwareĪnd desirably increase the reliability and quality of the final products. Nowadays software has scaled to a point where it is present in every aspect of our Eine Reihe von Techniken zur Effizienzsteigerung der Implementierung wird betrachtet. Wir betrachten CTL- und einen neuartigen LTL-Modelchecker. Implementierung von symbolischen Modelcheckers für k-beschränkte P/T-Netzte wird beschrieben. Saturation-basierte Techniken werden bei den Aufzählungen von stark zusammenhängenden Komponenten und Modelchecking eingesetzt. Der Ansatz erlaubt Diagrammgrößen kleiner zu halten und kann Effizienz der symbolischen Analyse drastisch steigern. Wir untersuchen dann wie Effizienz der symbolischen Erreichbarkeitsanalyse verbessert werden kann und präsentieren einen neuen Saturation-Ansatz, der Strukturen von ROIDDs und k-beschränkten P/T-Netzen ausnutzt. Wir beschreiben Implementierung eines ROIDD-Packetes und spezielle ROIDD-Operationen, die in symbolischen Algorithmen verwendet werden. Reduced ordered interval decision diagrams (ROIDDs) werden eingesetzt um Zustandsmengen von k-beschränkten Netzen zu codieren. Der Schwerpunkt dieser Arbeit liegt bei verschiedenen Techniken, die Effizienz der symbolischen Petrinetzanalyse steigern können. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |