Wyniki wyszukiwania - BazTech

1

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

Grobelny M., Pieczyński A.

Przegląd Elektrotechniczny

|

2013

|

R. 89, nr 5

314-317

EN

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.

PL

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.

2

Integration of heterogeneous web services in exceptional situations

Kaczmarek L.

Foundations of Computing and Decision Sciences

|

2011

|

Vol. 36, No. 3-4

219-228

EN

Web services are intended to enable interoperability between heterogeneous distributed systems. Although the technology has been widely adopted and accepted, there are still differences between runtime platforms in exception structure and handling. This results in difficulties in effective handling of exceptions during Web services invocation. The paper presents a solution that enables coordinated exception handling between different environments, which involves communication between the client and server to exchange exceptional information and invocation of defined handling functions. The functions are supplied by dedicated libraries that extend heterogeneous runtime platforms. Additionally, IDE environments are augmented with facilities for development of Web services exception processing code. An implementation of the solution for IBM WebSphere Application Server and Microsoft Internet Information Server is presented

3

Thread Algebra with Multi-Level Strategies

Bergstra J.A., Middelburg C.A.

Fundamenta Informaticae

|

2006

|

Vol. 71, nr 2,3

153-182

EN

In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads are interleaved. The theory includes interleaving operators for a number of plausible deterministic interleaving strategies. The interleaving of different threads constitutes a multi-thread. Several multi-threads may exist concurrently on a single host in a network, several host behaviors may exist concurrently in a single network on the internet, etc. In the current paper, we assume that the above-mentioned kind of interleaving is also present at these other levels. We extend the theory developed so far with features to cover the multi-level case. We use the resulting theory to develop a simplified formal representation schema of systems that consist of several multi-threaded programs on various hosts in different networks. We also investigate the connections of the resulting theory with the algebraic theory of processes known as ACP.

4

Strategie obsługi wyjątków w aplikacjach rozproszonych

Kaczmarek P., Krawczyk H.

Studia Informatica

|

2003

|

Vol. 24, nr 4

259-271

PL

Rozpatrzono wykorzystanie mechanizmu obsługi wyjątków w systemach rozproszonych. Zaprezentowano różne strategie obsługi wyjątków dla różnych modeli przetwarzania i odpowiadających im środowisk programistycznych. Przyjęto nową koncepcję zdalnego odbiorcy wyjątków oraz zaprezentowano jego implementację przy wykorzystaniu biblioteki MPI oraz RMI.

EN

Utilisation of exception handling mechanisms in distributed applications is considered. Different exception handling strategies arę presented for various suitable programming platforms. The new concept of remote exception handling is proposed and its implementations in MPI and RMI libraries arę given.

5

Trends in modern exception handling

Kuta M.

Computer Science

|

2003

|

Vol. 5

41-54

EN

Exception handling is nowadays a necessary component of error proof information systems. The paper presents overview of techniques and models of exception handling, problems connected with them and potential solutions. The aspects of implementation of propagation mechanisms and exception handling, their effect on semantics and general program efficiency are also taken into account. Presented mechanisms were adopted to modern programming languages. Considering design area, formal methods and formal verification of program properties we can notice exception handling mechanisms are weakly present what makes a field for future research.

PL

Obsługa wyjątków jest współcześnie nieodzownym składnikiem systemów informatycznych odpornych na błędy. W artykule przedstawiono przegląd technik i modeli obsługi błędów, związane z nimi problemy oraz ich potencjalne rozwiązania. Uwzględniono również zagadnienia dotyczące implementacji mechanizmów propagacji i obsługi błędów, ich wpływ na semantykę oraz ogólną efektywność programów. Przedstawione mechanizmy znalazły zastosowanie we współczesnych językach programowania. Jeśli chodzi o dziedzinę projektowania, metody formalne oraz formalne dowodzenie własności, to mechanizmy obsługi wyjątków nie są w nich dostatecznie reprezentowane, co stanowi pole dla nowych badań.