Questionnaire-based variability modeling for system configuration

Variability management is a recurrent issue in systems engineering. It arises for example in enterprise systems, where modules are configured and composed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context of software product families, where variants of a system are built from a common code base. This paper proposes an approach to capture system variability based on questionnaire models that include order dependencies and domain constraints. The paper presents analysis techniques to detect circular dependencies and contradictory constraints in questionnaire models, as well as techniques to incrementally prevent invalid configurations by restricting the space of allowed answers to a question based on previous answers. The approach has been implemented as a toolset and has been used in practice to capture configurable process models for film post-production.

Preserving correctness during business process model configuration

A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains.     

APROMORE: An advanced process model repository

Business process models are becoming available in large numbers due to their widespread use in many industrial applications such as enterprise and quality engineering projects. On the one hand, this raises a challenge as to their proper management: how can it be ensured that the proper process model is always available to the interested stakeholder? On the other hand, the richness of a large set of process models also offers opportunities, for example with respect to the re-use of existing model parts for new models. This paper describes the functionality and architecture of an advanced process model repository, named APROMORE. This tool brings together a rich set of features for the analysis, management and usage of large sets of process models, drawing from state-of-the art research in the field of process modeling. A prototype of the platform is presented in this paper, demonstrating its feasibility, as well as an outlook on the further development of APROMORE.     

Configurable multi-perspective business process models

A configurable process model provides a consolidated view of a family of business processes. It promotes the reuse of proven practices by providing analysts with a generic modeling artifact from which to derive individual process models. Unfortunately, the scope of existing notations for configurable process modeling is restricted, thus hindering their applicability. Specifically, these notations focus on capturing tasks and control-flow dependencies, neglecting equally important ingredients of business processes such as data and resources. This research fills this gap by proposing a configurable process modeling notation incorporating features for capturing resources, data and physical objects involved in the performance of tasks. The proposal has been implemented in a toolset that assists analysts during the configuration phase and guarantees the correctness of the resulting process models. The approach has been validated by means of a case study from the film industry.     

A flexible,object-centric approach for business process modelling

Mainstream business process modelling techniques often promote a design paradigm wherein the activities that may be performed within a case, together with their usual execution order, form the backbone on top of which other aspects are anchored. This Fordist paradigm, while effective in standardised and production-oriented domains, breaks when confronted with processes in which case-by-case variations and exceptions are the norm. We contend that the effective design of flexible processes calls for a substantially different modelling paradigm. Motivated by requirements from the human services domain, we explore the hypothesis that a framework consisting of a small set of coordination concepts, combined with established object-oriented modelling principles, provides a suitable foundation for designing highly flexible processes. Several human service delivery processes have been designed using this framework, and the resulting models have been used to realise a system to support these processes in a pilot environment.     

Carbon fibers derived from UV‐assisted stabilization of wet‐spun polyacrylonitrile fibers

A rapid, dual‐stabilization route for the production of carbon fibers from polyacrylonitrile (PAN) precursor fibers is reported. A photoinitiator, 4,4′‐bis(diethylamino)benzophenone, was added to PAN solution before the fiber wet‐spinning step. After a short UV treatment that induced cyclization and crosslinking at a lower temperature, precursor fibers could be rapidly thermo‐oxidatively stabilized and successfully carbonized. Scanning electron microscopy micrographs show no deterioration of the microstructure or hollow‐core formation in the fibers due to UV treatment or presence of photoinitiator. Fast‐thermally stabilized pure PAN‐based carbon fibers show hollow‐core fiber defects due to inadequate thermal stabilization, but such defects were not observed in carbon fibers derived from fast‐thermally stabilized fibers that contained photoinitiator and were UV treated. Tensile testing results confirm that fibers containing 1 wt % photoinitiator and UV treated for 5 min display higher tensile modulus than all other sets of thermally stabilized and carbonized fibers. Wide‐angle X‐ray diffraction results show a higher development of the aromatic structure and molecular orientation in thermally stabilized fibers. No significant increase in interplanar spacing or decrease in crystals size were observed within the UV‐stabilized carbon fibers containing photoinitiator, but such fibers retain a higher extent of molecular orientation when compared with control fibers. These results establish for the first time, the positive effect of the external addition of photoinitiator and UV treatment on the properties of the PAN‐based fibers, and may be used to reduce the precursor stabilization time for faster carbon fiber production rate. © 2014 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2014 , 131, 40623.     

Carborane-Containing Matrix Metalloprotease (MMP) Ligands as Candidates for Boron Neutron-Capture Therapy (BNCT)

Based on the previously reported potent and selective sulfone hydroxamate inhibitors SC-76276, SC-78080 (SD-2590), and SC-77964, potent MMP inhibitors have been designed and synthesized to append a boron-rich carborane cluster by employing click chemistry to target tumor cells that are known to upregulate gelatinases. Docking against MMP-2 suggests binding involving the hydroxamate zinc-binding group, key H-bonds by the sulfone moiety with the peptide backbone residues Leu82 and Leu83, and a hydrophobic interaction with the deep P1’ pocket. The more potent of the two triazole regioisomers exhibits an IC₅₀ of 3.7 nM versus MMP-2 and IC₅₀ of 46 nM versus MMP-9.     

Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services

The development of new Web services through the composition of existing ones has gained a considerable momentum as a means to realise business-to-business collaborations. Unfortunately, given that services are often developed in an ad hoc fashion using manifold technologies and standards, connecting and coordinating them in order to build composite services is a delicate and time-consuming task. In this paper, we describe the design and implementation of a system in which services are composed using a model-driven approach, and the resulting composite services are orchestrated following a peer-to-peer paradigm. The system provides tools for specifying composite services through statecharts, data conversion rules, and multi-attribute provider selection policies. These specifications are interpreted by software components that interact in a peer-to-peer way to coordinate the execution of the composite service. We report results of an experimental evaluation showing the relative advantages of this peer-to-peer approach with respect to a centralised one.     

Fast detection of exact clones in business process model repositories

As organizations reach higher levels of business process management maturity, they often find themselves maintaining very large process model repositories, representing valuable knowledge about their operations. A common practice within these repositories is to create new process models, or extend existing ones, by copying and merging fragments from other models. We contend that if these duplicate fragments, a.k.a. exact clones, can be identified and factored out as shared subprocesses, the repository's maintainability can be greatly improved. With this purpose in mind, we propose an indexing structure to support fast detection of clones in process model repositories. Moreover, we show how this index can be used to efficiently query a process model repository for fragments. This index, called RPSDAG, is based on a novel combination of a method for process model decomposition (namely the Refined Process Structure Tree), with established graph canonization and string matching techniques. We evaluated the RPSDAG with large process model repositories from industrial practice. The experiments show that a significant number of non-trivial clones can be efficiently found in such repositories, and that fragment queries can be handled efficiently.