Capturing and Verifying Dynamic Systems Behavior Using UML and $$\pi $$ π -Calculus
| Autor: | Mokhtar Beldjehem, Aissam Belghiat, Allaoua Chaoui |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Object-oriented programming
050208 finance Theoretical computer science Theory Modeling language Programming language Computer science Formal semantics (linguistics) 05 social sciences 020207 software engineering 02 engineering and technology computer.software_genre Formal methods Unified Modeling Language Pi calculus 0502 economics and business 0202 electrical engineering electronic engineering information engineering Real word computer computer.programming_language |
| Zdroj: | Theoretical Information Reuse and Integration ISBN: 9783319313092 Theoretical Information Reuse and Integration |
| DOI: | 10.1007/978-3-319-31311-5_3 |
| Popis: | UML is a semi-formal modeling language for object oriented systems. It is widely accepted and its applications become more and more widespread in real word projects. The UML diagrams suffer from lack of formal semantics which hinders their automatic verification. It is actually a problem that always arises. Formal methods can be used to overcome it. \(\pi \)-calculus is a flexible formal theory with several applications. It offers a rich theory and tools for verification purposes. Thus, this paper presents an approach for capturing and verifying the dynamic behavior of systems using UML diagrams and \(\pi \)-calculus. We illustrate our approach by an example in order to explain it. Then we tackle another small example to show the verification capabilities provided by the approach. An implementation of the approach is presented. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|