物件導向軟體之架構(Object-Oriented Software Construction)探討

In retail information systems it is common practice to subsume the data of products into product groups, which offers organizational advantages for example when new branches are opened, because they are assigned product groups instead of single products Inspired by this approach, this paper focuses on business processes and proposes the usage of workflow modules stored in a workflow warehouse, which represent reusable, standardized components that are used to build more complex workflow models In particular, the paper provides a formal foundation for such compositions in form of a workflow algebra based on Petri nets, which has similar operators known from relational algebra in databases In addition, the need for a concept of workflow normalization is presented, which arises during the composition of workflow modules Finally, it is shown how the algebra can also be applied in the context of Web service composition

A formal foundation for workflow composition, workflow view definition, and workflow normalization based on petri nets

A method is provided for facilitating generation of a wireless application capable of receiving messages from a server-side application. The method comprising the following steps. A structured data file defining the wireless application is parsed for identifying at least one exposed function. Message definitions are generated in accordance with the exposed function for enabling communication between the server-side application and the wireless application. At least one interoperability functions is generated. Each interoperability function is associated with one of the exposed functions. The interoperability function is configured to execute the associated exposed function upon receipt of a message defined by a corresponding message definition.

Xml push and remote execution of a wireless application

Object-oriented software development practices are being rapidly adopted within increasingly complex systems, including reactive, real-time and concurrent system applications. While data modeling is performed very well under current object-oriented development practices, behavioral modeling necessary to capture critical information in real-time, reactive, and concurrent systems is often lacking. Addressing this deficiency, we offer an approach for modeling and analyzing concurrent object-oriented software designs through the use of behavioral design patterns, allowing us to map stereotyped UML objects to colored Petri net (CPN) representations in the form of reusable templates. The resulting CPNs are then used to model and analyze behavioral properties of the software architecture, applying the results of the analysis to the original software design.

/pdf/modeling-behavioral-design-patterns-of-concurrent-objects-6tli8ypyrf.pdf

Modeling behavioral design patterns of concurrent objects

The well-behaved properties in workflow systems are very important for business processes. In this paper, a structured business process modelling approach by using free-choice Petri nets and workflow analysis techniques is proposed. This approach can be used to verify the soundness of workflow process specification for finding control-flow errors in the designs. For example, deadlock and dangling tasks in process models can be avoided by using this approach. However, for arbitrary Petri nets, the checking of sound properties is a NP-hard problem. This paper presents a structured business process modelling algorithm. This algorithm employs six well-behaved control structures, chaining rule and modified nesting rule to construct well-behaved process models. The resulting process models from this algorithm are free-choice workflow-nets, for which sound property can be decided in polynomial time. The proposed method is an extension of the workflow-net. The basic transformation rules in the workflow-net are subsets of the proposed nesting rule in this paper. The process models resulted from this structured business process modelling algorithm also have the advantages of modularity, readability and maintainability.

Petri net-based workflow modelling and analysis of the integrated manufacturing business processes

Object Oriented Methodolog lacks the rigor to verify and validate the designed system. Petri Nets provide formal graphical representation, incorporate concurrency, and parallelism. In Colored Petri Nets, objects and object attributes can be modeled with data structures. The hierarchical structure of Colored Petri Nets is useful in representing Class Inheritance and to describe dynamics of objects. To check the correctness of the designed system, there is a need to integrate Object-Oriented techniques at design level and use of Colored Petri Nets at the Verification and Validation level in software system development. This paper presents a technique to transform an Object Oriented Design into Hierarchical Colored Petri Nets model with Abstract Node approach. An example of ATM is presented to illustrate the Abstract Node method.

Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets

This paper presents a new method of designing large concurrent systems which is based on a combination of object-oriented design and high-level Petri nets. Object-oriented technology has well established design techniques but lacks analysis and verification methods of the designed system and concurrency aspects. On the other hand, Petri nets is a well defined formalism of parallel systems modeling and analysis (including conflict resolution, allocation, etc.) that lacks clear and effective specification of system design techniques. The method presented in the paper takes advantage of both object-oriented design and high-level Petri nets by using object-oriented technology in the design stage and high-level Petri nets in the analysis stage. The result is a fully designed and analyzed model of a system in an object-oriented sense as well as in a high-level Petri net sense. It means that there exists two 'views' of a system: object-oriented and Petri net, which can be used separately or in combination depending on the needs of the designer.

A method of concurrent object-oriented design using high-level Petri nets

This paper presents modeling and analysis of workflows for Printing Wiring Board manufacturing system using Petri nets.

http://ieeexplore.ieee.org/iel5/8325/26406/01176385.pdf

Workflow modeling and diagnosis with Petri nets - A case study of a manufacturing process

Development of complex concurrent systems is very often performed in a top-down or bottom-up approach depending on design circumstances. Such design reflects vertical conceptual modeling of concurrent systems with certain number of abstraction/ refinement layers. Petri net morphisms have been proven to be useful in this process as long as certain desired structural and behavioral properties of such systems are preserved. We use example of a renting agency to illustrate applicability of morphisms in systematic development of distributed systems. Preservation of structural and behavioral properties of Petri net morphisms is also discussed.

Boleslaw Mikolajczak

Papers

Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets

A method of concurrent object-oriented design using high-level Petri nets

Workflow modeling and diagnosis with Petri nets - A case study of a manufacturing process

Conceptual modeling of concurrent systems through stepwise abstraction and refinement using Petri net morphisms

Conceptual modeling of concurrent systems through stepwise abstraction and refinement using Petri net morphisms