Human occupation as a complex system

The present work justifies the change in theoretical approach required to use the concepts, principles and methods of artificial intelligence and computational science in order to deal with problems centered in social systems, such as studying the relation between human occupation and social stability and the validation of hypotheses about sociocybernetics strategies applied to governability. In order to model and study human occupation as a complex system, this document describes the autonomous components and the set of behaviors whose simultaneous and concurrent occurrence produce dynamical bifurcations (chaos) and emerging events in the Human Occupation, understood as a complex system between the triad: people - occupations - contexts, which expresses sensitive phenomena, impossible to be known completely and univocally. The components of the occupation are developed conceptually and relations of composition and condition of the given behaviors between these components are established, in order to establish human occupation as a complex system and in such a way that decision making and the prediction of occupational dynamics and behaviors in the individual and social levels can be modeled and simulated

Applying formal methods to standard development: the open distributed processing experience

Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architecture of the Reference Model of ODP (RM-ODP), highlighting the advantages to be gained. The different approaches currently being taken are shown, together with their associated advantages and disadvantages. The paper concludes that there is no one all-purpose approach which can be used in preference to all others, but that a combination of approaches is desirable to best fulfil the potential of formal methods in developing an architectural semantics for OD

An ontological framework for cooperative games

Social intelligence is an emerging property of a system composed of agents that consists of the ability of this system to conceive, design, implement and execute strategies to solve problems and thus achieve a collective state of the system that is concurrently satisfactory for all and each one of the agents that compose it. In order to make decisions when dealing with complex problems related to social systems and take advantage of social intelligence, cooperative games theory constitutes the standard theoretical framework. In the present work, an ontological framework for cooperative games modeling and simulation is presented

Integration of DFDs into a UML - based model-driven engineering approach

The main aim of this article is to discuss how the functional and the object-oriented views can be inter-played to represent the various modeling perspectives of embedded systems.We discuss whether the object-oriented modeling paradigm, the predominant one to develop software at the present time, is also adequate for modeling embedded software and how it can be used with the functional paradigm.More specifically, we present how the main modeling tool of the traditional structured methods, data flow diagrams, can be integrated in an object-oriented development strategy based on the unified modeling language. The rationale behind the approach is that both views are important for modeling purposes in embedded systems environments, and thus a combined and integrated model is not only useful, but also fundamental for developing complex systems. The approach was integrated in amodel-driven engineering process, where tool support for the models used was provided. In addition, model transformations have been specified and implemented to automate the process.We exemplify the approach with an IPv6 router case study.FEDER -Fundação para a Ciência e a Tecnologia(HH-02-383

Emergence of Spatial Structure in Cell Groups and the Evolution of Cooperation

On its own, a single cell cannot exert more than a microscopic influence on its immediate surroundings. However, via strength in numbers and the expression of cooperative phenotypes, such cells can enormously impact their environments. Simple cooperative phenotypes appear to abound in the microbial world, but explaining their evolution is challenging because they are often subject to exploitation by rapidly growing, non-cooperative cell lines. Population spatial structure may be critical for this problem because it influences the extent of interaction between cooperative and non-cooperative individuals. It is difficult for cooperative cells to succeed in competition if they become mixed with non-cooperative cells, which can exploit the public good without themselves paying a cost. However, if cooperative cells are segregated in space and preferentially interact with each other, they may prevail. Here we use a multi-agent computational model to study the origin of spatial structure within growing cell groups. Our simulations reveal that the spatial distribution of genetic lineages within these groups is linked to a small number of physical and biological parameters, including cell growth rate, nutrient availability, and nutrient diffusivity. Realistic changes in these parameters qualitatively alter the emergent structure of cell groups, and thereby determine whether cells with cooperative phenotypes can locally and globally outcompete exploitative cells. We argue that cooperative and exploitative cell lineages will spontaneously segregate in space under a wide range of conditions and, therefore, that cellular cooperation may evolve more readily than naively expected

Requirements Engineering

Requirements Engineering (RE) aims to ensure that systems meet the needs of their stakeholders including users, sponsors, and customers. Often consid- ered as one of the earliest activities in software engineering, it has developed into a set of activities that touch almost every step of the software development process. In this chapter, we reflect on how the need for RE was first recognised and how its foundational concepts were developed. We present the seminal papers on four main activities of the RE process, namely (i) elicitation, (ii) modelling & analysis, (iii) as- surance, and (iv) management & evolution. We also discuss some current research challenges in the area, including security requirements engineering as well as RE for mobile and ubiquitous computing. Finally, we identify some open challenges and research gaps that require further exploration

VISUAL PPINOT: A Graphical Notation for Process Performance Indicators

Process performance indicators (PPIs) allow the quantitative evaluation of business processes, providing essential information for decision making. It is common practice today that business processes and PPIs are usually modelled separately using graphical notations for the former and natural language for the latter. This approach makes PPI definitions simple to read and write, but it hinders maintenance consistency between business processes and PPIs. It also requires their manual translation into lower-level implementation languages for their operationalisation, which is a time-consuming, error-prone task because of the ambiguities inherent to natural language definitions. In this article, Visual ppinot, a graphical notation for defining PPIs together with business process models, is presented. Its underlying formal metamodel allows the automated processing of PPIs. Furthermore, it improves current state-of-the-art proposals in terms of expressiveness and in terms of providing an explicit visualisation of the link between PPIs and business processes, which avoids inconsistencies and promotes their co-evolution. The reference implementation, developed as a complete tool suite, has allowed its validation in a multiple-case study, in which five dimensions of Visual ppinot were studied: expressiveness, precision, automation, understandability, and traceability

Applying design patterns in the search-based optimization of software product line architectures

The design of the product line architecture (PLA) is a difficult activity that can benefit from the application of design patterns and from the use of a search-based optimization approach, which is generally guided by different objectives related, for instance, to cohesion, coupling and PLA extensibility. The use of design patterns for PLAs is a recent research field, not completely explored yet. Some works apply the patterns manually and for a specific domain. Approaches to search-based PLA design do not consider the usage of these patterns. To allow such use, this paper introduces a mutation operator named “Pattern-Driven Mutation Operator” that includes methods to automatically identify suitable scopes and apply the patterns Strategy, Bridge and Mediator with the search-based approach multi-objective optimization approach for PLA. A metamodel is proposed to represent and identify suitable scopes to receive each one of the patterns, avoiding the introduction of architectural anomalies. Empirical results are also presented, showing evidences that the use of the proposed operator produces a greater diversity of solutions and improves the quality of the PLAs obtained in the search-based optimization process, regarding the values of software metrics

HIV-1 Tat protein directly induces mitochondrial membrane permeabilization and inactivates cytochrome c oxidase

The Trans-activator protein (Tat) of human immunodeficiency virus (HIV) is a pleiotropic protein involved in different aspects of AIDS pathogenesis. As a number of viral proteins Tat is suspected to disturb mitochondrial function. We prepared pure synthetic full-length Tat by native chemical ligation (NCL), and Tat peptides, to evaluate their direct effects on isolated mitochondria. Submicromolar doses of synthetic Tat cause a rapid dissipation of the mitochondrial transmembrane potential (ΔΨm) as well as cytochrome c release in mitochondria isolated from mouse liver, heart, and brain. Accordingly, Tat decreases substrate oxidation by mitochondria isolated from these tissues, with oxygen uptake being initially restored by adding cytochrome c. The anion-channel inhibitor 4,4′-diisothiocyanostilbene-2,2′-disulfonic acid (DIDS) protects isolated mitochondria against Tat-induced mitochondrial membrane permeabilization (MMP), whereas ruthenium red, a ryanodine receptor blocker, does not. Pharmacologic inhibitors of the permeability transition pore, Bax/Bak inhibitors, and recombinant Bcl-2 and Bcl-XL proteins do not reduce Tat-induced MMP. We finally observed that Tat inhibits cytochrome c oxidase (COX) activity in disrupted mitochondria isolated from liver, heart, and brain of both mouse and human samples, making it the first described viral protein to be a potential COX inhibitor