Integración de sistemas ERP para el monitoreo de planes y detección de eventos disruptivos en cadenas de suministros

Los sistemas de Planificación de Recursos Empresariales (ERP Enterprise Resource Planning) se definen como un conjunto de aplicaciones que permiten gestionar de manera integrada los procesos de negocio de las empresas. En la actualidad, los sistemas ERP carecen de flexibilidad suficiente para generar Cadenas de Suministros (CS) flexibles capaces de reaccionar rápidamente a eventos disruptivo. Es por ello, en este trabajo se propone un servicio MASM-ERP que integra los planes de abastecimiento, producción y distribución definidos en los ERP de las empresas involucradas en una CS. También permite monitorear la ejecución de estos planes y notificar la ocurrencia de eventos disruptivos a los actores pertinentes. El monitoreo durante la ejecución de planes permite anticiparse a los cambios que podrían tener lugar en el horizonte de tiempo considerado y mejorar los procesos de toma de decisión.IX Workshop Innovación en Sistemas de Software (WISS).Red de Universidades con Carreras en Informática (RedUNCI

Modelo de negocio en EM3 basado en la herramienta Innovación Think

The tools of innovation constitute a momentous element in the support to takes it of decisions in front of the models of current businesses.  The bursting in artificial intelligence has made significant emphasis on the tools of innovation, standing out the reasoning based on cases, as a belonging technique to the artificial intelligence, useful for the support to takes it of decisions. about the matter, the Think innovation tool, it is based specifically on the reasoning based on cases, to do of the model of EM3 businesses, a model capable of rectifying the deficiencies of a business and conduct to efficient attainment of the income-yield capacity of the businesses. The model of EM3 business, contribute to innovate towards an objective market, in which is involved the areas that know the market for the sake of lining up thoughts to achieve better innovations and cover the needs of the market, all it thanks to the recommendations that contribute the innovation tool Think when using the technique of artificial intelligence the reasoning based on cases. At present work it is proposed as objective describe the innovation tool Think, to lean it takes of decisions and decide the viability and income-yield capacity of the businesses, by obtaining through it maps of clients in which it is identified your needs, in order to achieve redesign strategies of businesses that favor the income-yield capacity.Las herramientas de innovación constituyen un elemento trascendental en el apoyo a la toma de decisiones frente a los modelos de negocios actuales.  La irrupción de la Inteligencia Artificial ha hecho énfasis significativo en las herramientas de innovación, destacándose el Razonamiento Basado en Casos, como una técnica perteneciente a la Inteligencia Artificial, útil para el apoyo a la toma de decisiones. Al respecto, la herramienta   Innovación Think, se basa específicamente en el Razonamiento Basado en Casos, para hacer del modelo de negocios EM3, un modelo capaz de rectificar las deficiencias de un negocio y conducir a un logro eficiente de la rentabilidad de los negocios. El modelo de negocio EM3, contribuye a innovar hacia un mercado objetivo, donde se involucra las áreas que conocen el mercado en aras de alinear pensamientos para lograr mejores innovaciones y cubrir las necesidades del mercado, todo ello gracias a las recomendaciones que aporta la herramienta Innovación Think, al utilizar como técnica de Inteligencia Artificial el Razonamiento Basado en Casos. En el presente trabajo se propone como objetivo describir la herramienta Innovación Think, para apoyar la toma de decisiones y determinar la viabilidad y rentabilidad de los negocios, obteniéndose a través de ella un mapeo de clientes donde se identifican sus necesidades, con el fin de lograr rediseñar estrategias de negocios que favorezcan la rentabilidad

Bridging the Gap Between Business Process Models and Service Composition Specifications

Fundamental goals of any Service Oriented Architecture (SOA) include the flexible support and adaptability of business processes as well as improved business-IT alignment. Existing approaches, however, have failed to fully meet these goals. One of the major reasons for this deficiency is the gap that exists between business process models on the one hand and workflow specifications and implementations (e.g., service composition schemes) on the other hand. In practice, each of these two perspectives has to be regarded separately. In addition, even simple changes to one perspective (e.g. due to new regulations or organizational change) require error-prone, manual re-editing of the other one. Over time, this leads to degeneration and divergence of the respective models and specifications. This aggravates maintenance and makes expensive refactoring inevitable. This chapter presents a flexible approach for aligning business process models with workflow specifications. In order to maintain the complex dependencies that exist between high-level business process models (as used by domain experts) and technical workflow specifications (i.e., service composition schemas), respectively, (as used in IT departments) we introduce an additional model layer – the so-called system model. Furthermore, we explicitly document the mappings between the different levels (e.g., between business process model and system model). This simplifies model adoptions by orders of magnitudes when compared to existing approaches

Estudio Comparativo de Plataformas Cloud Computing para Arquitecturas SOA

Las plataformas Cloud Computing están fundadas en un paradigma tecnológico moderno que ofrece nuevas alternativas a empresas de diversas envergaduras para implementar modelos de negocios innovadores. Con estos nuevos modelos de negocio las empresas pequeñas pueden hacer uso de las plataformas Cloud Computing disponiendo de la posibilidad de incrementar, tanto progresiva como abruptamente, su capacidad de cómputo y almacenamiento de datos en función de las necesidades y en tiempo real, implicando una oportunidad singular para la competencia de mercado. En adición, las arquitecturas orientadas a servicios otorgan características de grandes beneficios para los sistemas modernos, permitiendo altos niveles de reutilización de funcionalidades, encapsulamiento y nuevas oportunidades para sociedades entre proveedores y consumidores de servicios. En este trabajo se propone, entonces, analizar y comparar las plataformas de los principales proveedores de servicios Cloud Computing, alineados a los distintos modelos arquitectónicos SOA que de las plataformas antedichas se desprenden con el objetivo de encontrar similitudes y diferencias, así como también faltantes

Model Checking Commitment-Governed Compositions of Web Services

We propose a new approach towards verifying compositions of web services using model checking. In order to perform such a verification, we transform the web service composition into a Multi-Agent System (MAS) model where the process in charge of the composition and the participating services are represented by agents. We model the behavior of the resulting MAS using the extended Interpreted Systems Programming Language (ISPL+), the dedicated language of the MCMAS+ model checker for MAS. We use commitments between agents to regulate and reason about messages between composite web services. The properties against which the compositions are verified are expressed in the Computation Tree Logic of Commitments (CTLC), an extension of the branching logic CTL that supports commitment modalities. We describe BPEL2ISPL+, a tool we developed to perform the automatic transformation from the web service composition described in Business Process Execution Language (BPEL) into a verifiable MAS model described in ISPL+. The BPEL2ISPL+ tool is applied to a concrete BPEL web service composition and its accurate representation in ISPL+ is obtained. The CTLC properties used to verify the compositions regulated by commitments are represented along with the agents abstracting the participating web services. The MCMAS+ model checker is used to verify the model against these properties, providing thus a new approach to model check agent-based web service compositions governed by commitments

Erhöhung der Flexibilität und Durchgängigkeit prozessorientierter Applikationen mittels Service-Orientierung

Höhere Flexibilität für IT-gestützte Prozesse ist eine der zentralen Erwartungen, die von Anwenderseite an eine Service-orientierte Architektur (SOA) gestellt wurden. Insbesondere sollen fachliche Anforderungen an Geschäftsprozesse rasch in betriebliche Informationssysteme, d.h. die technische Implementierung der Prozesse, überführt werden können. Des Weiteren ist die Fähigkeit, auf Änderungen der fachlichen oder technischen Ebene schnell und korrekt zu reagieren, unabdingbare Voraussetzung für den Betrieb prozessorientierter Applikationen in einer SOA. Eine Herausforderung ist in diesem Zusammenhang die Diskrepanz zwischen den Anforderungen der Fachbereiche und den vom IT-Bereich realisierten technischen Implementierungen (sog. Business-IT-Gap). Um den genannten Herausforderungen gerecht zu werden, bedarf es einer durchgängigen Definition, Verwaltung und Pflege von Prozessen, Services und Datenobjekten, sowohl auf fachlicher als auch auf technischer Ebene. Informationen zum Beziehungsgeflecht zwischen fachlichen und technischen Prozessen, Services und Datenobjekten sind in heutigen Unternehmensarchitekturen meist nicht vorhanden, was zu weiteren Problemen führt. So ist etwa bei Außerbetriebnahme eines Services nicht immer nachvollziehbar, welche (prozessorientierten) Applikationen davon betroffen sind. Dadurch ist es wiederum schwierig sicherzustellen, dass die Deaktivierung einzelner Services oder Service-Versionen in der Folge nicht zu unerwarteten Fehlern führt, etwa dass ein implementierter Geschäftsprozesses nicht mehr ausführbar ist. Die vorliegende Arbeit adressiert mit ENPROSO (Enhanced Process Management through Service Orientation) diese Problemfelder und stellt einen Ansatz zur Verbesserung der Konsistenz zwischen fachlichen Anforderungen und implementierten Prozessen dar. Die Verwaltung und Konsistenzsicherung des komplexen Beziehungsgeflechts fachlicher und technischer Artefakte wird durch geeignete Methoden und Vorgehensmodelle für eine durchgängige Prozessmodellierung unterstützt. So lassen sich bereits bei der fachlichen Modellierung benötigte Informationen (z.B. über wiederverwendbare Services) explizit dokumentieren. Dadurch entsteht bereits während der fachlichen Analyse und Konzeptentwicklung eine detaillierte Beschreibung des zu implementierenden Sachverhalts. Zudem ist es möglich, fachliche Anforderungen schon in frühen Phasen der Softwareentwicklung vollständig zu dokumentieren und dadurch Aufwände für die Implementierung in späteren Phasen zu reduzieren. Zur Verwaltung der von einer SOA benötigten Artefakte ist ein umfassendes und generisches Repository-Metamodell notwendig, das die konsistente Speicherung aller Artefakte mit allen relevanten Beziehungen ermöglicht. Auf diese Weise kann die Konsistenz der gegenwärtig im Repository dokumentierten Artefakte sichergestellt werden

Analyzing the Interoperability of WS-Security and WS-ReliableMessaging Implementations

Since their invention as lightweight integration technology about a decade ago, Web Services have matured significantly. Today, major middleware solution vendors as well as industry communities like RosettaNet are propagating Web services even for exchanging business-critical data and implementing inter-organizational business processes. Core enablers for using Web services in this domain are stateful interactions using the Web Services Business Process Execution Language (WS-BPEL) as well as advanced communication features like security and reliability using the WS-Security and WS-ReliableMessaging standard specifications. However, advanced communication features come at the price of complexity which challenges interoperability across different Web services stack implementations. Interoperability, in turn, is a predominant requirement for an integration technology such as Web services, in particular if inter-organizational business processes are supposed to be implemented on top of that technology. This paper approaches the problem of testing the interoperability of the so-called WS-* standards, advanced Web services communication features that are typically defined as SOAP extensions and configured using WS-Policy. Being essential to business process integration, WS-Security and WS-ReliableMessaging are selected as representatives of this group and the two major Java-based Web services stack implementations Metro and Axis2 are tested for interoperability. We operationalize the notion of interoperability for testing WS-* standards, suppose an approach for deriving test cases from WS-* specifications as well as a method for performing the test cases, and we provide a comprehensive interoperability review of the two selected Web services stack implementations

SKIL 2012 - Dritte Studentenkonferenz Informatik Leipzig: Dritte Studentenkonferenz Informatik Leipzig 2012Leipzig, Deutschland, 25. September 2012Tagungsband

Die Studentenkonferenz des Instituts für Informatik der Universität Leipzig richtet sich an alle Studierende der Informatik sowie angrenzender Disziplinen mit Schwerpunkt Informatik. Die Konferenz setzt sich zum Ziel, Studierenden eine Plattform zu bieten, ihre Projekte und Forschungsvorhaben vorzustellen. Im Mittelpunkt der Tagung stehen studentische Projekte aus Seminaren, Praktika, Abschlussarbeiten oder extracurricularen Aktivitäten. Die SKIL bietet den Studierenden die Möglichkeit, vor einem akademischen Publikum Ideen, Pläne und Ergebnisse zu präsentieren und zu diskutieren. Die Organisation der Konferenz unterscheidet sich nur wenig von wissenschaftlichen Fachkonferenzen. Die Einreichung der Beiträge erfolgte mit Hilfe eines Conference Systems; anschließend wurden alle Einreichungen durch das Programmkomitee bewertet. Angenommene Beiträge wurden am Konferenztag vorgestellt und in dem hier vorliegendem Tagungsband publiziert. Die dritte Studentenkonferenz Informatik Leipzig 2012 fand im Rahmen der SABRE am 25.09.2012 statt. Die SABRE ist eine internationale integrative Multikonferenz auf dem Gebiet zukunftsweisender Technologien der Softwareentwicklung, Agententechnologien und Servicecomputing für Wirtschaft, Entwicklung und Wissenschaft. Die SKIL 2012 wurde am Institut für Angewandte Informatik (InfAI) e.V. organisiert. Initiiert und maßgeblich realisiert wurde die SKIL 2012 von den Forschungsgruppen Agile Knowledge Engineering and Semantic Web (AKSW) und Service Science and Technology (SeSaT) der Universität Leipzig