The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.
Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.
This paper presents preliminary results of the research concerning integration of Business Processes designed with BPMN models with Business Rules represented with the use of an expressive rule language XTT2. The presented solution allows for translation of BPMN diagram restricted to main control flow objects to XTT2. Business Rules. The translated rules can be executed using HeaRT, a rule engine for XTT2. The main goal of the research is to build a logical declarative model of BPMN-modeled process suitable for formal analysis.
PL
W pracy przedstawiono wstępne wyniki badań możliwości integracji narzędzi opisu procesów biznesowych z narzędziami do modelowania reguł. Proponowane podejście pozwala na translację bazowych diagramów BPMN do postaci regułowej w modelu XTT2, oraz na analizę i wykonanie otrzymanych reguł za pomocą silnika regułowego HeaRT. Badania ukierunkowane są na budowę logicznego, deklaratywnego modelu procesów BPMN, który pozwalałby na ich formalną analizę.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper introduces the concept of a "structured occurrence net", which as its name indicates is based on that of an "occurrence net", a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system. Structured occurrence nets consist of multiple occurrence nets, associated together by means of various types of relationship, and are intended for recording or predicting, either the actual behaviour of complex systems as they communicate and evolve, or evidence that is being gathered and analysed concerning their alleged past behaviour. We provide a formal basis for the new formalism and show how it can be used to gain better understanding of complex fault-error-failure chains (i) among co-existing communicating systems, (ii) between systems and their sub-systems, and (iii) involving systems that are controlling, creating ormodifying other systems. We then go on to discuss how, with appropriate tools support, perhaps using extended versions of existing tools, structured occurrence nets could form a basis for improved techniques of system failure prevention and analysis.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called MIRELLA. The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation. The design specification is automatically translated into PROLOG code, so the designer can focus on logical specification of safety and reliability. On the other hand, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved.
PL
W artykule omówione zostały wybrane problemy związane z projektowaniem i implementacją systemów regułowych. W celu rozwiązania najważniejszych z nich przedstawiona została nowa wizualna metoda reprezentacji wiedzy (XTT) oraz zaprezentowano nową metodologię projektowania, implementacji i analizy takich systemów. Podejście to jest wspierane przez narzędzie typu CASE nazwane MIRELLA. Pozwala ono na projektowanie systemu na wysokim poziomie abstrakcji, przy równoczesnym zachowaniu jego własności logicznych i formalnych. Na podstawie projektu generowany jest prototypowy model systemu w języku PROLOG, którego własności formalne mogą być na bieżąco analizowane.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.