Petri nets approach for designing the migration process towards industrial cyber-physical production systems

Presently, many industries are facing strong challenges related to the demand of customized and high-quality products. These pressures lead to internal company's conflicts where current production systems have a rigid structure, forcing the company into a organization stall when a fast product change is required. Therefore, the need to smoothly migrate traditional systems into more feature-rich and cost-effective systems, namely Cyber-Physical Production Systems (CPPS), became a highly discussed topic. PERFoRM project focuses the conceptual transformation of existing production systems towards plug\&produce ones to achieve flexible and reconfigurable manufacturing environments. In particular, the smooth migration process is considered crucial to effectively transpose existing production systems into truly CPPS. This paper describes the use of Petri nets to design the migration process under the PERFoRM perspective, taking advantage of its inherent capabilities to design, analyze, simulate and validate such complex processes.This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 680435.info:eu-repo/semantics/publishedVersio

Cyclic Website Reengineering Process Model Based On Website Auditing

Websites like all web applications evolved very quickly, E-Companies are in highly competitive environment, they have to follow the customer needs and their competitor

COBOL systems migration to SOA: Assessing antipatterns and complexity

SOA and Web Services allow users to easily expose business functions to build larger distributed systems. However, legacy systems - mostly in COBOL - are left aside unless applying a migration approach. The main approaches are direct and indirect migration. The former implies wrapping COBOL programs with a thin layer of a Web Service oriented language/platform. The latter needs reengineering COBOL functions to a modern language/ platform. In our previous work, we presented an intermediate approach based on direct migration where developed Web Services are later refactored to improve the quality of their interfaces. Refactorings mainly capture good practices inherent to indirect migration. For this, antipatterns for WSDL documents (common bad practices) are detected to prevent issues related to WSDLs understanding and discoverability. In this paper, we assess antipatterns of Web Services’ WSDL documents generated upon the three migration approaches. In addition, generated Web Services’ interfaces are measured in complexity to attend both comprehension and interoperability. We apply a metric suite (by Baski & Misra) to measure complexity on services interfaces - i.e., WSDL documents. Migrations of two real COBOL systems upon the three approaches were assessed on antipatterns evidences and the complexity level of the generated SOA frontiers - a total of 431 WSDL documents.Fil: Mateos Diaz, Cristian Maximiliano. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; ArgentinaFil: Zunino Suarez, Alejandro Octavio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil. Instituto Superior de Ingeniería del Software. Universidad Nacional del Centro de la Provincia de Buenos Aires. Instituto Superior de Ingeniería del Software; ArgentinaFil: Flores, Andrés Pablo. Universidad Nacional del Comahue. Facultad de Informática. Departamento Ingeniería de Sistemas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Patagonia Norte; ArgentinaFil: Misra, Sanjay. Atilim University; Turquía. Covenant University; Nigeri

Measuring physical density : implications on the use of different measures on land use policy in Singapore

Thesis (M.C.P.)--Massachusetts Institute of Technology, Dept. of Urban Studies and Planning, 1999.Includes bibliographical references (p. 137-140).Land use planning policies in Singapore have been driven by the goal to optimize the use of the scarce land resource. Density measures how intensively land has been put to use and is thus a good indicator of how planning policies are performing in relation to this goal of land use optimization. This study looks at how physical density has been measured in Singapore and assesses the suitability of the methods of measurement. It also evaluates current planning practice to determine how successful they have been in achieving the goal to optimize land use. The Development Guide Plan for the Punggol Planning Area was used as the case study.by Claire S. Chan.M.C.P

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach

This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions