Download or read book Weak conformance between process models and synchronized object life cycles written by Meyer, Andreas and published by Universitätsverlag Potsdam. This book was released on 2015-06-09 with total page 38 pages. Available in PDF, EPUB and Kindle. Book excerpt: Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking.
Download or read book Service Oriented Computing written by Xavier Franch and published by Springer. This book was released on 2014-10-10 with total page 619 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed conference proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. The 25 full and 26 short papers presented were carefully reviewed and selected from 180 submissions. The papers are organized in topical sections on business process management; service composition and discovery; service design, description and evolution; cloud and business service management; ensuring composition properties; quality of service; semantic web services; service management; cloud service management; business service management; trust; service design and description.
Download or read book Proceedings of the 6th Ph D Retreat of the HPI Research School on Service oriented Systems Engineering written by Meinel, Christoph and published by Universitätsverlag Potsdam. This book was released on 2013 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Perspectives in Business Informatics Research written by Björn Johansson and published by Springer. This book was released on 2017-08-21 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 16th International Conference on Perspectives in Business Informatics Research, BIR 2017, held in Copenhagen, Denmark, in August 2017. This year the BIR conference attracted 59 submissions from 23 countries. They were reviewed by 45 members of the Program Committee, and as a result, 17 full papers and 3 short papers were selected for presentation at the conference and publication in this volume. They are organized in sections on enterprise architecture, business process management, business analytics, information systems applications, and information systems development. In addition, the summaries of the two conference keynotes are also included. This year, the conference theme was the digital transformation, which will impact most businesses, organizations and societies and call for new and radical approaches to how we adopt, use and manage IT.
Download or read book Business Process Management Workshops written by Niels Lohmann and published by Springer. This book was released on 2014-05-09 with total page 585 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of nine international workshops held in Beijing, China, in conjunction with the 11th International Conference on Business Process Management, BPM 2013, in August 2013. The nine workshops comprised Business Process Intelligence (BPI 2013), Business Process Management and Social Software (BPMS2 2013), Data- and Artifact-Centric BPM (DAB 2013), Decision Mining and Modeling for Business Processes (DeMiMoP 2013), Emerging Topics in Business Process Management (ETBPM 2013), Process-Aware Logistics Systems (PALS 2013), Process Model Collections: Management and Reuse (PMC-MR 2013), Security in Business Processes (SBP 2013) and Theory and Applications of Process Visualization (TAProViz 2013). The 38 revised full papers presented were carefully reviewed and selected from 74 submissions.
Download or read book New Advances in Information Systems and Technologies written by Álvaro Rocha and published by Springer. This book was released on 2016-03-15 with total page 1113 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains a selection of articles from The 2016 World Conference on Information Systems and Technologies (WorldCIST'16), held between the 22nd and 24th of March at Recife, Pernambuco, Brazil. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences and challenges of modern Information Systems and Technologies research, together with their technological development and applications. The main topics covered are: Information and Knowledge Management; Organizational Models and Information Systems; Software and Systems Modeling; Software Systems, Architectures, Applications and Tools; Multimedia Systems and Applications; Computer Networks, Mobility and Pervasive Systems; Intelligent and Decision Support Systems; Big Data Analytics and Applications; Human-Computer Interaction; Health Informatics; Information Technologies in Education; Information Technologies in Radiocommunications.
Download or read book Proceedings of the 9th Ph D retreat of the HPI Research School on service oriented systems engineering written by Meinel, Christoph and published by Universitätsverlag Potsdam. This book was released on 2017-03-23 with total page 266 pages. Available in PDF, EPUB and Kindle. Book excerpt: Design and implementation of service-oriented architectures impose numerous research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Service-oriented Systems Engineering represents a symbiosis of best practices in object orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. Service-oriented Systems Engineering denotes a current research topic in the field of IT-Systems Engineering with high potential in academic research and industrial application. The annual Ph.D. Retreat of the Research School provides all members the opportunity to present the current state of their research and to give an outline of prospective Ph.D. projects. Due to the interdisciplinary structure of the Research School, this technical report covers a wide range of research topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.
Download or read book Parts without a whole written by Schmiedgen, Jan and published by Universitätsverlag Potsdam. This book was released on 2016-02-03 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: This explorative study gives a descriptive overview of what organizations do and experience when they say they practice design thinking. It looks at how the concept has been appropriated in organizations and also describes patterns of design thinking adoption. The authors use a mixed-method research design fed by two sources: questionnaire data and semi-structured personal expert interviews. The study proceeds in six parts: (1) design thinking¹s entry points into organizations; (2) understandings of the descriptor; (3) its fields of application and organizational localization; (4) its perceived impact; (5) reasons for its discontinuation or failure; and (6) attempts to measure its success. In conclusion the report challenges managers to be more conscious of their current design thinking practice. The authors suggest a co-evolution of the concept¹s introduction with innovation capability building and the respective changes in leadership approaches. It is argued that this might help in unfolding design thinking¹s hidden potentials as well as preventing unintended side-effects such as discontented teams or the dwindling authority of managers.
Download or read book Development of AUTOSAR standard documents at Carmeq GmbH written by Hebig, Regina and published by Universitätsverlag Potsdam. This book was released on 2016-01-11 with total page 56 pages. Available in PDF, EPUB and Kindle. Book excerpt: This report documents the captured MDE history of Carmeq GmbH, in context of the project Evolution of MDE Settings in Practice. The goal of the project is the elicitation of MDE approaches and their evolution.
Download or read book Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks written by Beyhl, Thomas and published by Universitätsverlag Potsdam. This book was released on 2016-01-12 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graph databases provide a natural way of storing and querying graph data. In contrast to relational databases, queries over graph databases enable to refer directly to the graph structure of such graph data. For example, graph pattern matching can be employed to formulate queries over graph data. However, as for relational databases running complex queries can be very time-consuming and ruin the interactivity with the database. One possible approach to deal with this performance issue is to employ database views that consist of pre-computed answers to common and often stated queries. But to ensure that database views yield consistent query results in comparison with the data from which they are derived, these database views must be updated before queries make use of these database views. Such a maintenance of database views must be performed efficiently, otherwise the effort to create and maintain views may not pay off in comparison to processing the queries directly on the data from which the database views are derived. At the time of writing, graph databases do not support database views and are limited to graph indexes that index nodes and edges of the graph data for fast query evaluation, but do not enable to maintain pre-computed answers of complex queries over graph data. Moreover, the maintenance of database views in graph databases becomes even more challenging when negation and recursion have to be supported as in deductive relational databases. In this technical report, we present an approach for the efficient and scalable incremental graph view maintenance for deductive graph databases. The main concept of our approach is a generalized discrimination network that enables to model nested graph conditions including negative application conditions and recursion, which specify the content of graph views derived from graph data stored by graph databases. The discrimination network enables to automatically derive generic maintenance rules using graph transformations for maintaining graph views in case the graph data from which the graph views are derived change. We evaluate our approach in terms of a case study using multiple data sets derived from open source projects.
Download or read book Inductive invariant checking with partial negative application conditions written by Dyck, Johannes and published by Universitätsverlag Potsdam. This book was released on 2016-04-13 with total page 48 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.
Download or read book Proceedings of the Second HPI Cloud Symposium Operating the Cloud 2014 written by Bosse, Sascha and published by Universitätsverlag Potsdam. This book was released on 2015-12-23 with total page 74 pages. Available in PDF, EPUB and Kindle. Book excerpt: Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic “Operating the Cloud”. Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Hence, HPI’s Future SOC Lab is the adequate environment to host this event which is also supported by BITKOM. On the occasion of this workshop we called for submissions of research papers and practitioners’ reports. “Operating the Cloud” aims to be a platform for productive discussions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration. In this workshop proceedings the results of the second HPI cloud symposium "Operating the Cloud" 2014 are published. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium in 2015.
Download or read book Modeling collaborations in self adaptive systems of systems written by Wätzoldt, Sebastian and published by Universitätsverlag Potsdam. This book was released on 2015-04-30 with total page 78 pages. Available in PDF, EPUB and Kindle. Book excerpt: An increasing demand on functionality and flexibility leads to an integration of beforehand isolated system solutions building a so-called System of Systems (SoS). Furthermore, the overall SoS should be adaptive to react on changing requirements and environmental conditions. Due SoS are composed of different independent systems that may join or leave the overall SoS at arbitrary point in times, the SoS structure varies during the systems lifetime and the overall SoS behavior emerges from the capabilities of the contained subsystems. In such complex system ensembles new demands of understanding the interaction among subsystems, the coupling of shared system knowledge and the influence of local adaptation strategies to the overall resulting system behavior arise. In this report, we formulate research questions with the focus of modeling interactions between system parts inside a SoS. Furthermore, we define our notion of important system types and terms by retrieving the current state of the art from literature. Having a common understanding of SoS, we discuss a set of typical SoS characteristics and derive general requirements for a collaboration modeling language. Additionally, we retrieve a broad spectrum of real scenarios and frameworks from literature and discuss how these scenarios cope with different characteristics of SoS. Finally, we discuss the state of the art for existing modeling languages that cope with collaborations for different system types such as SoS.
Download or read book Proceedings of the 8th Ph D retreat of the HPI research school on service oriented systems engineering written by Meinel, Chistoph and published by Universitätsverlag Potsdam. This book was released on 2015 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the Research Scholl, this technical report covers a wide range of research topics. These include but are not limited to: Self-Adaptive Service-Oriented Systems, Operating System Support for Service-Oriented Systems, Architecture and Modeling of Service-Oriented Systems, Adaptive Process Management, Services Composition and Workflow Planning, Security Engineering of Service-Based IT Systems, Quantitative Analysis and Optimization of Service-Oriented Systems, Service-Oriented Systems in 3D Computer Graphics sowie Service-Oriented Geoinformatics.
Download or read book Business Information Systems written by Witold Abramowicz and published by Springer. This book was released on 2016-06-27 with total page 453 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the refereed proceedings of the 19th International Conference on Business Information Systems, BIS 2016, held in Leipzig, Germany, in July 2016. The BIS conference series follows trends in academia and business research; thus the theme of the BIS 2016 conference was Smart Business Ecosystems". This recognizes that no business is an island and competition is increasingly taking place between business networks and no longer between individual companies. A variety of aspects is relevant for designing and understanding smart business ecosystems. They reach from new business models, value chains and processes to all aspects of analytical, social and enterprise applications and platforms as well as cyber-physical infrastructures. The 33 full and 1 short papers were carefully reviewed and selected from 87 submissions. They are grouped into sections on ecosystems; big and smart data; smart infrastructures; process management; business and enterprise modeling; service science; social media; and applications.
Download or read book Models in Software Engineering written by Thomas Kühne and published by Springer. This book was released on 2007-05-16 with total page 343 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006, in Genoa, Italy, in October 2006 (see LNCS 4199). The 32 revised full papers were carefully selected for inclusion in the book. They are presented along with a doctorial and an educators' symposium section.
Download or read book Advanced Information Systems Engineering written by Pascal van Eck and published by Springer. This book was released on 2009-06-06 with total page 579 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, held in Amsterdam, The Netherlands, on June 8-12, 2009. The 36 papers presented in this book together with 6 keynote papers were carefully reviewed and selected from 230 submissions. The topics covered are model driven engineering, conceptual modeling, quality and data integration, goal-oriented requirements engineering, requirements and architecture, service orientation, Web service orchestration, value-driven modeling, workflow, business process modeling, and requirements engineering.
