Service-oriented Approach Supporting Dynamic Manufacturing Networks Operations

[EN] In the current economic crisis, also the manufacturing sector is asked to evolve towards more dynamic organizational structures within which, composing manufacturing processes, almost in real time, will become a need. This work aims at introducing flexibility and dynamisms to current manufacturing processes by separating its tasks from its final performers. With the proposed approach, the performers replacement can be done almost seamlessly. Additionally, the approach shows how dynamic negotiation and contracting, either for a whole process or a single activity, can be smoother if the task specification is based on a standard service interface defined at the ecosystem level. At the end, a prototype implementation is briefly described.Franco Pereyra, RD.; Ortiz Bas, Á.; Gómez-Gasquet, P. (2013). Service-oriented Approach Supporting Dynamic Manufacturing Networks Operations. IFIP Advances in Information and Communication Technology. 408:345-354. doi:10.1007/978-3-642-40543-3_37S345354408Osório, A.L., Afsarmanesh, H., Camarinha-Matos, L.M.: Open Services Ecosystem Supporting Collaborative Networks. In: Ortiz, Á., Franco, R.D., Gómez Gasquet, P. (eds.) BASYS 2010. IFIP AICT, vol. 322, pp. 80–91. Springer, Heidelberg (2010)Afsarmanesh, H., Camarinha-Matos, L., Msanjila, S.: On management of 2nd generation Virtual Organizations Breeding Environments. Annual Reviews in Control 33(2), 209–219 (2009)Afsarmanesh, H., Camarinha-Matos, L.: A Framework for Management of Virtual Organization Breeding Environments. In: Camarinha-Matos, L.M., Afsarmanesh, H., Ortiz, A. (eds.) Collaborative Networks and Their Breeding Environments. IFIP, vol. 186, pp. 35–48. Springer, Boston (2005)Franco, R.D., Ortiz Bas, A., Gómez-Gasquet, P., Rodriguez Rodriguez, R.: Open Ecosystems, Collaborative Networks and Service Entities Integrated Modeling Approach. In: Camarinha-Matos, L.M., Xu, L., Afsarmanesh, H. (eds.) Collaborative Networks in the Internet of Services. IFIP AICT, vol. 380, pp. 74–83. Springer, Heidelberg (2012)Minguez, J., Zor, S., Reimann, P.: Event-driven business process management in Engineer-to-Order supply chains. In: 2011 15th International Conference on Computer Supported Cooperative Work in Design (CSCWD), pp. 624–631 (2011)Wang, X., Cai, H., Xu, B.: An Extended Petri-Net Based Approach for Supply Chain Process Modeling and Web Service Transformation. In: International Conference on Management and Service Science, MASS 2009, pp. 1–5 (2009)Mowshowitz, A.: The switching principle in Virtual Organization. eJOV 1(1), 7–18 (1999)Franco, Ortiz Bas, Lario Esteban, F.C.: Modeling extended manufacturing processes with service-oriented entities. Service Business 3(1), 31–50 (2009)Vallejos, R.V., Lima, C., Varvakis, G.: A Framework To Create A Virtual Organization Breeding Environment In The Mould And Die Sector. In: Camarinha-Matos, L.M., Afsarmanesh, H., OIlus, M. (eds.) Network-Centric Collaboration and Supporting Frameworks. IFIP, vol. 224, pp. 599–608. Springer, Boston (2006)Bocchi, L., Fiadeiro, J., Rajper, N., Reiff-Marganiec, S.: Structure and Behaviour of Virtual Organisation Breeding Environments (January 2010)Romero, D., Molina, A.: VO breeding environments & virtual organizations integral business process management framework. Information Systems Frontiers 11(5), 569–597 (2009)Ulieru, M., Grobbelaar, S.: Engineering Industrial Ecosystems in a Networked World. In: 5th IEEE International Conference on Industrial Informatics, vol. 1, pp. 1–7 (2007)Rajini, S.N.S., Bhuvaneswari, D.T.: Service Based Architecture for Manufacturing Sector (2010)Lobov, A., Puttonen, J., Herrera, V.V., Andiappan, R., Lastra, J.L.M.: Service oriented architecture in developing of loosely-coupled manufacturing systems. In: 6th IEEE International Conference on Industrial Informatics, INDIN 2008, pp. 791–796 (2008)Jammes, F., Smit, H., Lastra, J.L.M., Delamer, I.M.: Orchestration of service-oriented manufacturing processes. In: 10th IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2005, vol. 1, pp. 617–624 (2005)Zor, S., Görlach, K., Leymann, F.: Using BPMN for Modeling Manufacturing Processes. Neuer Wissenschaftlicher Verlag, Wien (2010

Semantic model-driven development of service-centric software architectures

Service-oriented architecture (SOA) is a recent architectural paradigm that has received much attention. The prevalent focus on platforms such as Web services, however, needs to be complemented by appropriate software engineering methods. We propose the model-driven development of service-centric software systems. We present in particular an investigation into the role of enriched semantic modelling for a modeldriven development framework for service-centric software systems. Ontologies as the foundations of semantic modelling and its enhancement through architectural pattern modelling are at the core of the proposed approach. We introduce foundations and discuss the benefits and also the challenges in this context

Ontology-based patterns for the integration of business processes and enterprise application architectures

Increasingly, enterprises are using Service-Oriented Architecture (SOA) as an approach to Enterprise Application Integration (EAI). SOA has the potential to bridge the gap between business and technology and to improve the reuse of existing applications and the interoperability with new ones. In addition to service architecture descriptions, architecture abstractions like patterns and styles capture design knowledge and allow the reuse of successfully applied designs, thus improving the quality of software. Knowledge gained from integration projects can be captured to build a repository of semantically enriched, experience-based solutions. Business patterns identify the interaction and structure between users, business processes, and data. Specific integration and composition patterns at a more technical level address enterprise application integration and capture reliable architecture solutions. We use an ontology-based approach to capture architecture and process patterns. Ontology techniques for pattern definition, extension and composition are developed and their applicability in business process-driven application integration is demonstrated

An Approach to Transform Public Administration into SOA-based Organizations

Nowadays, Service-Oriented Architectures (SOA) is widely spread in private organizations. However, when transferring this knowledge to Public Administration, it is realized that it has not been transformed in terms of its legal nature into organizations capable to operate under the SOA paradigm. This fact prevents public administration bodies from offering the efficient services they have been provided by different boards of governments. A high-level framework to perform this transformation is proposed. Taking it as starting point, an instance of a SOA Target Meta-Model can be obtained by means of an iterative and incremental process based on the analysis of imperatives and focused on the particular business context of each local public administration. This paper briefly presents a practical experience consisting in applying this process to a Spanish regional public administration.Junta de Andalucía TIC-578

A System for Deduction-based Formal Verification of Workflow-oriented Software Models

The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are considered as a set of temporal logic formulas, seems to be the significant obstacle for an inexperienced user when applying the deductive approach. A system, and its architecture, for the deduction-based verification of workflow-oriented models is proposed. The process of inference is based on the semantic tableaux method which has some advantages when compared to traditional deduction strategies. The algorithm for an automatic generation of logical specifications is proposed. The generation procedure is based on the predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea for the approach is to consider patterns, defined in terms of temporal logic,as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between intuitiveness of the deductive reasoning and the difficulty of its practical application in the case when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing our understanding of, the deduction-based formal verification of workflow-oriented models.Comment: International Journal of Applied Mathematics and Computer Scienc

Eco‐Holonic 4.0 Circular Business Model to Conceptualize Sustainable Value Chain Towards Digital Transition

The purpose of this paper is to conceptualize a circular business model based on an Eco-Holonic Architecture, through the integration of circular economy and holonic principles. A conceptual model is developed to manage the complexity of integrating circular economy principles, digital transformation, and tools and frameworks for sustainability into business models. The proposed architecture is multilevel and multiscale in order to achieve the instantiation of the sustainable value chain in any territory. The architecture promotes the incorporation of circular economy and holonic principles into new circular business models. This integrated perspective of business model can support the design and upgrade of the manufacturing companies in their respective industrial sectors. The conceptual model proposed is based on activity theory that considers the interactions between technical and social systems and allows the mitigation of the metabolic rift that exists between natural and social metabolism. This study contributes to the existing literature on circular economy, circular business models and activity theory by considering holonic paradigm concerns, which have not been explored yet. This research also offers a unique holonic architecture of circular business model by considering different levels, relationships, dynamism and contextualization (territory) aspects

Approaches Regarding Business Logic Modeling in Service Oriented Architecture

As part of the Service Oriented Computing (SOC), Service Oriented Architecture (SOA) is a technology that has been developing for almost a decade and during this time there have been published many studies, papers and surveys that are referring to the advantages of projects using it. In this article we discuss some ways of using SOA in the business environment, as a result of the need to reengineer the internal business processes with the scope of moving forward towards providing and using standardized services and achieving enterprise interoperability.Business Rules, Business Processes, SOA, BPM, BRM, Semantic Web, Semantic Interoperability

Development of Transformations from Business Process Models to Implementations by Reuse

This paper presents an approach for developing transformations from business process models to implementations that facilitates reuse. A transformation is developed as a composition of three smaller tasks: pattern recognition, pattern realization and activity transformation. The approach allows one to reuse the definition and implementation of pattern recognition and pattern realization in the development of transformations targeting different business process modeling and implementation languages. In order to decouple pattern recognition and pattern realization, the approach includes a pattern language to represent the output of the pattern recognition task, which forms the input of the pattern realization task