Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: activity diagram

Sortuj według:

Ogranicz wyniki do:

Exception Handling in Logic Controller Design by means of UML Activity Diagrams and Control Interpreted Petri Nets

100%

Grobelny M. , Pieczyński A.

tom R. 89, nr 5

314-317

Modelling of all aspects of logic controller in design phase is very important. The paper presents handling of possible exceptions with usage of two specification techniques – UML activity diagrams and control interpreted Petri nets. Sample control process of transportation of friable goods is a base for further discussion about complexity of exception handling in each technique. Furthermore, the target is to model exceptions with usage of standard syntax of each technique.

Szczególnie ważnym etapem procesu projektowania sterownika logicznego jest modelowanie poszczególnych jego perspektyw. Artykuł przedstawia możliwość reprezentacji obsługi wyjątków z wykorzystaniem dwóch technik modelowania – diagramów aktywności języka UML oraz interpretowanych sieci Petriego sterowania. Aspekty modelowania obsługi wyjątków dla obu wymienionych technik zostały zaprezentowane na przykładzie specyfikacji procesu sterowania transportem materiałów sypkich. Dodatkowo, celem jest zrealizowanie obsługi sytuacji wyjątkowych z wykorzystaniem tylko i wyłącznie standardowych elementów obu technik modelowania.

Formalization of functional requirements in software development process

67%

Sengupta S. , Bhattacharya S.

tom Vol. 33, No. 1

83-115

In this paper, we propose to establish traceability of functional requirements expressed in a SRS document in analysis and design phase that goes down to the coding phase. UML has become a de-facto standard for modeling object-oriented systems. To ensure traceability of requirements in different phases of software lifecycle, it is also mandatory to ensure consistency between different UML diagrams used in those different phases. Here, after specifying some rules to trace requirements and verify consistency, we formally represent functional requirement UML Use case diagram, and some other UML diagrams that are widely used for analyzing and designing object-oriented systems, using Z notation. At the end we represent the formalized functional requirement and the UML diagrams along with their relationship visually using Entity-Relationship (ER) diagram. Implementation of our approach would bridge the gap between a formal language, which is mathematical and difficult to understand and UML that is visual and easy to comprehend. Development of a tool based on this approach would generate a visual representation of formalized functional requirements and their traceability among different UML diagrams, from which automated traceability of requirement in different phases of software development and consistency verification between different UML diagrams can be achieved.