Deterministic Petri net languages as business process specification language.

Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for complex verification procedures. Alternatively, the use of Petri Nets as a business process modeling language has been repeatedly proposed. In complex business processes the use of Petri Nets has been criticized and the technique is believed to be unable to capture such processes in all aspects. Therefore, in this paper, we introduce the application of Petri Net language theory for business process specification. Petri Net languages are an extension to the Petri Net theory, and they provide a set of techniques to describe complex business processes more efficiently. More specifically, we advocate the application of deterministic Petri Net languages to model the control flow aspects of business processes. The balance between modeling power and analysis possibilities makes deterministic Petri Nets a highly efficient technique, used in a wide range of domains. The proof of their usability, as business process specification language, is given by providing suitable solutions to model the basic and more complex business process patterns [4]. Additionally, some points of particular interest are concisely discussed.Business; Business process modeling; Control; Model; Models; Patterns; Petri Net theory; Power; Process modeling; Processes; Representation; Theory; Verification;

Variability management in process families through change patterns

© 2016. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/Context: The increasing adoption of process-aware information systems together with the high variability in business processes has resulted in collections of process families. These families correspond to a business process model and its variants, which can comprise hundreds or thousands of different ways of realizing this process. Managing process variability in this context can be very challenging, labor-intensive, and error-prone, and new approaches for managing process families are necessary. Objective: We aim to facilitate variability management in process families, ensure process family correctness, and reduce the effort needed for such purposes. Method: We have derived a set of change patterns for process families from variability-specific language constructs identified in the literature. For validation, we have conducted a case study with a safety standard in which we have measured the number of operations needed to model and evolve the variability of the standard with and without the patterns. Results: We present 10 change patterns for managing variability in process families and show how they can be implemented. The patterns support the modeling and evolution of process families and ensure process family correctness by automatically introducing and deleting modeling elements. The case study results show that the application of the defined change patterns can reduce the number of operations when modeling a process family by 34% and when evolving it by 40%. Conclusions: The application of the change patterns can help in effectively modeling and evolving large and highly-variable process families. Their application can also considerably reduce variability management effort. (C) 2016 Elsevier B.V. All rights reserved.This work has been developed with the financial support of Spanish Ministry of Economy and Competitiveness under the project SMART-ADAPT TIN2013-42981-P. We also want to thank Barbara Weber and Manfred Reichert for their valuable input and feedback on the design and development of the set of change patterns for process families.Ayora Esteras, C.; Torres Bosch, MV.; De La Vara González, JL.; Pelechano Ferragud, V. (2016). Variability management in process families through change patterns. Information and Software Technology. 74:86-104. https://doi.org/10.1016/j.infsof.2016.01.007S861047

A Formal Semantics of Time Patterns for Process-aware Information Systems

Companies increasingly adopt process-aware information systems (PAISs) to coordinate, monitor and evolve their business processes. Although the proper handling of temporal constraints (e.g., deadlines and minimum time lags between activities) is crucial in many application domains, existing PAISs vary significantly regarding their support of the temporal perspective of business processes. Both the formal specification and operational support of temporal constraints constitute fundamental challenges in this context. In previous work, we introduced time patterns facilitating the comparison of PAISs in respect to their support of the temporal perspective and provided empirical evidence for them. To avoid ambiguities and to ease the use as well as implementation of the time patterns, this paper formally defines their semantics. To enable pattern use in a wide range of process modeling languages and pattern integration with existing PAISs, this semantics is expressed independent of a particular process meta model. Altogether, the presented pattern formalization will foster the integration of the temporal perspective in PAISs

In Need of a Domain-Specific Language Modeling Notation for Smartphone Applications with Portable Capability

The rapid growth of the smartphone market and its increasing revenue has motivated developers to target multiple platforms. Market leaders, such as Apple, Google, and Microsoft, develop their smartphone applications complying with their platform specifications. The specification of each platform makes a platform-dedicated application incompatible with other platforms due to the diversity of operating systems, programming languages, and design patterns. Conventional development methodologies are applied to smartphone applications, yet they perform less well. Smartphone applications have unique hardware and software requirements. All previous factors push smartphone developers to build less sophisticated and low-quality products when targeting multiple smartphone platforms. Model-driven development have been considered to generate smartphone applications from abstract models to alleviate smartphones platform fragmentation. Reusing these abstract models for other platforms was not considered because they do not fit new platforms requirements. It is possible that defining smartphone applications using a portability-driven modeling notation would facilitate smartphone developers to understand better their applications to be ported to other platforms. We call for a portability-driven modeling notation to be used within a smartphone development process. Our in-process research work will be manifested through the application of a domain-specific language complying with the three software portability principles and three design factors. This paper aims to highlight our research work, methodology and current statue

Intracellular trafficking and cellular uptake mechanism of PHBV nanoparticles for targeted delivery in epithelial cell lines

Indexación: Web of Science; Scopus; Scielo.Background: Nanotechnology is a science that involves imaging, measurement, modeling and a manipulation of matter at the nanometric scale. One application of this technology is drug delivery systems based on nanoparticles obtained from natural or synthetic sources. An example of these systems is synthetized from poly(3-hydroxybutyrate-co-3-hydroxyvalerate), which is a biodegradable, biocompatible and a low production cost polymer. The aim of this work was to investigate the uptake mechanism of PHBV nanoparticles in two different epithelial cell lines (HeLa and SKOV-3). Results: As a first step, we characterized size, shape and surface charge of nanoparticles using dynamic light scattering and transmission electron microscopy. Intracellular incorporation was evaluated through flow cytometry and fluorescence microscopy using intracellular markers. We concluded that cellular uptake mechanism is carried out in a time, concentration and energy dependent way. Our results showed that nanoparticle uptake displays a cell-specific pattern, since we have observed different colocalization in two different cell lines. In HeLa (Cervical cancer cells) this process may occur via classical endocytosis pathway and some internalization via caveolin-dependent was also observed, whereas in SKOV-3 (Ovarian cancer cells) these patterns were not observed. Rearrangement of actin filaments showed differential nanoparticle internalization patterns for HeLa and SKOV-3. Additionally, final fate of nanoparticles was also determined, showing that in both cell lines, nanoparticles ended up in lysosomes but at different times, where they are finally degraded, thereby releasing their contents. Conclusions: Our results, provide novel insight about PHBV nanoparticles internalization suggesting that for develop a proper drug delivery system is critical understand the uptake mechanism.https://jnanobiotechnology.biomedcentral.com/articles/10.1186/s12951-016-0241-

Prior Design for Dependent Dirichlet Processes: An Application to Marathon Modeling

This paper presents a novel application of Bayesian nonparametrics (BNP) for marathon data modeling. We make use of two well-known BNP priors, the single-p dependent Dirichlet process and the hierarchical Dirichlet process, in order to address two different problems. First, we study the impact of age, gender and environment on the runners’ performance. We derive a fair grading method that allows direct comparison of runners regardless of their age and gender. Unlike current grading systems, our approach is based not only on top world records, but on the performances of all runners. The presented methodology for comparison of densities can be adopted in many other applications straightforwardly, providing an interesting perspective to build dependent Dirichlet processes. Second, we analyze the running patterns of the marathoners in time, obtaining information that can be valuable for training purposes. We also show that these running patterns can be used to predict finishing time given intermediate interval measurements. We apply our models to New York City, Boston and London marathons

Desen: Specification of Sociotechnical Systems via Patterns of Regulation and Control

We address the problem of engineering a sociotechnical system (STS) with respect to its stakeholders’ requirements. We motivate a two-tier STS conception comprising a technical tier that provides control mechanisms and describes what actions are allowed by the software components, and a social tier that characterizes the stakeholders’ expectations of each other in terms of norms. We adopt agents as computational entities, each representing a different stakeholder. Unlike previous approaches, our framework, Desen, incorporates the social dimension into the formal verification process. Thus, Desen supports agents potentially violating applicable norms—a consequence of their autonomy. In addition to requirements verification, Desen supports refinement of STS specifications via design patterns to meet stated requirements. We evaluate Desen at three levels. We illustrate how Desen carries out refinement via the application of patterns on a hospital emergency scenario. We show via a human-subject study that a design process based on our patterns is helpful for participants who are inexperienced in conceptual modeling and norms. We provide an agent-based environment to simulate the hospital emergency scenario to compare STS specifications (including participant solutions from the human-subject study) with metrics indicating social welfare and norm compliance, and other domain dependent metrics

Πεδιακή ανάλυση συνθετικών μονωτήρων υψηλής τάσης με τη μέθοδο πεπερασμένων στοιχείων

Companies must be able to demonstrate that their way of doing business is compliant with relevant rules and regulations. However, the law often has open texture; it is generic and needs to be interpreted before it can be applied in a specific case. Entrepreneurs generally lack the expertise to engage in the regulatory conversations that make up this interpretation process. In particular, for the application domain of technological startups, this leads to legal risks. This research seeks to develop a robust module for legal interpretation. We apply informal logic to bridge the gap between the principles of interpretation in legal theory with the legal rules that determine the compliance of business processes. Accordingly, interpretive arguments characterized by argument schemes are applied to business models represented by value modeling (VDML). The specific outcome of the argumentation process (if any) is then summarized into a compliance pattern, in a context-problem-solution format. Two case studies in the application area of startups shows that the approach is able to express the legal arguments, but is also understandable for the target audience. The project is presented in two parts; Part I, the background, contains an introduction, literature review, motivational case studies, a survey on legal risks, and a modeling of business and legal aspects. Part II builds on the interdisciplinary facets of the first part to develop the Compliance Patterns Framework which is then validated with two case studies followed by a conclusion