STATEMENT OF RESEARCH INTERESTS

Jozef Goetz Ph.D.
e-mail: jozefg@ecs.fullerton.edu


SPECIFIC RESEARCH INTEREST:

Modeling and Verification of WEB Services Architecture

My future research will concentrate on modeling and verification of WEB Services in e-commerce and decision management environment. The goal is to ensure that WEB services flow is deadlock-free and safe. The tools used here are Petri Nets. Petri Nets are formal, graphical, executable techniques for the specification and analysis of concurrent systems.

In particular, in order to generate a Petri net model of Web Services Architecture and its verification we need:

(a) To collect all required information about input/output data, network protocol, operation name and destination.

(b) To encode service descriptions via a Petri Net formalism.

(c) To verify that Petri Net model ensures that the web services flow is deadlock-free and safe.

The next focus will be on modeling the timing constrains of WEB Services using Timed Petri Nets to find the critical path or the minimum time of a cycle in order to improve the WEB service performance.

GENERAL RESEARCH INTEREST:

My general research interests fall into five following categories:

1. Internet technology, e-commerce,  WEB development, WEB Application Framework - .NET,  WEB Services - XML,  WEB client/server system.

2.  Software engineering, specification, design, modeling and implementation of software systems, object oriented system design and incremental development,  object oriented modeling techniques, distributed object architecture, component development.

3.  Operating systems, computer networks, WEB center development..

4.  Expert systems, artificial intelligence, robot systems, job-shop scheduling, resource allocation, scheduling problems, performance evaluation, graph theory and combinatorial algorithms.

5. Modeling and analysis techniques based on Petri nets:  WEB Services using Petri nets, Software Agent analysis using Petri Nets,  software for teaching  Petri nets. 

PETRI NETS RESEARCH INTEREST:  

My research interest in the areas of timed Petri nets and high level Petri nets (predicate/transition, colored, numerical and object Petri nets) and generalized stochastic Petri nets include the following topics:

  1. Operating System Concepts using Petri nets
  2. Performance evaluation using Petri nets
  3. “Disjunctive” Petri nets - potential possibilities to change the Petri net structure to meet optimization criteria
  4. Design of a software package for Petri nets
  5. Control of concurrent systems in such a way that each strategy of resource allocation guarantees deadlock-free
  6. Use of high-level Petri nets as a parallel execution model of logic programs and automated reasoning (e.g. how to recognize  promises from goals and vice versa)
  7. Resource allocation and operation scheduling problems of concurrent systems
  8. Computer-aided modeling and analysis of concurrent systems based on Petri nets
  9. Applications of Petri nets to flexible manufacturing systems, robotics, integrated telephone computer systems, distribution of   calls for call centers, WEB Services, WEB client/server systems and WEB computing etc.
  10. Specification, verification and implementation of communication protocols using Petri nets
  11. Neural networks versus Petri nets ( e.g. transformation of the neural network training concept to Petri nets )
  12. Object Petri nets
  13. Design and analysis of algorithms. 

DOCTORAL THESIS RESEARCH:

I researched on my doctoral dissertation: "Optimal Resources Allocation and Operations Scheduling Problems Solution for Computer Systems. I used disjunctive graphs for optimization operating system problems according to many criteria (minimum of completeness, lateness, weight sum of tardiness etc.) in deterministic conditions under constrained resources. I solved these problems using branch and bound method with mixed strategy of moving in the tree of solutions. I designed branching, choice, and elimination rules. I used lower and upper bounds for which derived the best formulae in class. I presented a model of computer system with the original formulation and solution of the above problems.