Service-oriented Process Model Research Articles

A Petri net-based methodology to increase flexibility in service-oriented holonic manufacturing systems

Distributed control systems such as the holonic manufacturing systems and service-oriented architectures have demonstrated to provide higher levels of flexibility, notably in the planning and scheduling functionalities, if well exploited. In scheduling, the use of fixed process plans generated by traditional planning approaches, usually leads to unrealistic schedules due to the lack of considerations of the workshop status. IPPS approaches try to break the gap between these two functionalities in favor of providing flexible plans adapting to the shop floor's state. A key element in the creation of flexible process plans is the definition of a process model capable of representing alternatives solutions to the sequencing problem and therefore increasing the potential solution space. This paper presents a methodology to increase planning flexibility in service-oriented manufacturing systems (SOHMS). The methodology introduces a Petri net service-oriented process model (SOP model) capable of computing a product's deadlock free sequential space and adapts to the fractal character of holonic architectures. A set of modeling rules, with illustrations, is presented for the automatic generation of the Petri net, based on a set of precedence conditions. To explore the solution space represented by the SOP model a holonic interaction protocol is presented. Moreover, a set of behavioral strategies is proposed in order to cope with the effects of a possible combinatorial explosion. A study case applied workshop example is presented to illustrate the modeling process of SOP models, compute the sequential solution space and demonstrate how this notably increases the number of potentially goods feasible solutions.

WSCPC: An architecture using semantic web services for collaborative product commerce

In collaborative product commerce (CPC), design activities need to be carried out concurrently with the identification of potential manufacturing partners based on the design requirements and manufacturing constraints. This paper presents a web service based CPC framework, WSCPC (web services for CPC). WSCPC integrates design process, business plan, and assembly operations using web services in which a task is regarded as a service that an organization can provide and is outsourced to other companies on the fly. In addition, we propose a service-oriented process model that enables a machine to locate actively a CPC service, to check service capabilities, and to execute collaborative services into an optimized process workflow. Our service-oriented process model is a general drawing to realize functionalities, such as defining CPC service, enacting CPC service, and monitoring the executing status of CPC service. CPC, therefore, can utilize web services to not only discover diverse services of design, manufacturing and logistics, but configure collaborative process design, supporting service oriented CPC within WSCPC framework.

Process-Based E-Service Composition for Modeling and Automating Zero Latency Supply Chains

E-services are teams of applications and humans (participating electronically) that work together to provide a service or a product. Virtual Enterprises (VEs) are business or organizations that provide products or services that are created and managed by combining and wrapping e-services provided by multiple independent enterprises. To operate efficiently VEs must form supply chains that utilize and manage e-services. In this paper, we propose a Service Oriented Process model (SOP) and describe the architecture and the basic design principles of the Collaboration Management Infrastructure (CMI), a system that supports SOP. SOP permits modeling of e-services and provides for e-service integration to construct efficient multi-enterprise supply chains. This is accomplished by modeling composite e-services as Multi-Enterprise Processes (MEPs). In particular, SOP supports service activities for modeling the services themselves, primitives for composing supply chains from services, and primitives for automating service coordination as required by a supply chain. The CMI system implements SOP and uses a semantic broker that has knowledge about the service capabilities an quality. Therefore, a MEP (and hence its supply chain) is capable of on-the-fly choice of the service providers that are best suited to its objectives (e.g., cheapest or fastest).