Binding Social and Cultural Networks: A Model

Until now, most studies carried onto social or semantic networks have considered each of these networks independently. Our goal here is to bring a formal frame for studying both networks empirically as well as to point out stylized facts that would explain their reciprocal influence and the emergence of clusters of agents, which may also be regarded as ''cultural cliques''. We show how to apply the Galois lattice theory to the modeling of the coevolution of social and conceptual networks, and the characterization of cultural communities. Basing our approach on Barabasi-Albert's models, we however extend the usual preferential attachment probability in order to take into account the reciprocal influence of both networks, therefore introducing the notion of dual distance. In addition to providing a theoretic frame we draw here a program of empirical tests which should give root to a more analytical model and the consequent simulation and validation. In a broader view, adopting and actually implementing the paradigm of cultural epidemiology, we could proceed further with the study of knowledge diffusion and explain how the social network structure affects concept propagation and in return how concept propagation affects the social network.Comment: 8 pages, 3 figures (v2: typos, minor corrections in section 3.2) (v3: examples, figures added

Software (re)modularization: Fight against the structure erosion and migration preparation

Software systems, and in particular, Object-Oriented sys- tems are models of the real world that manipulate representa- tions of its entities through models of its processes. The real world is not static: new laws are created, concurrents offer new functionalities, users have renewed expectation toward what a computer should offer them, memory constraints are added, etc. As a result, software systems must be continuously updated or face the risk of becoming gradually out-dated and irrelevant [34]. In the meantime, details and multiple abstraction levels result in a high level of com- plexity, and completely analyzing real software systems is impractical. For example, the Windows operating system consists of more than 60 millions lines of code (500,000 pages printed double-face, about 16 times the Encyclopedia Universalis). Maintaining such large applications is a trade- off between having to change a model that nobody can understand in details and limiting the impact of possible changes. Beyond maintenance, a good structure gives to the software systems good qualities for migration towards modern paradigms as web services or components, and the problem of architecture extraction is very close to the classical remodularization problem

Using formal concept analysis for the verification of process-data matrices in conceptual domain models.

One of the first steps in a software engineering process is the elaboration of the conceptual domain model. In this paper, we investigate how Formal Concept Analysis can be used to formally underpin the construction of a conceptual domain model. In particular, we demonstrate that intuitive verification rules for process-data matrices can be formally grounded in FCA theory. As a case study, we show that the well-formedness rules from MERODE are isomorphic to the clustering rules in Formal Concept Analysis, and that the relationships in the class diagram are isomorphic to the subconcept-superconcept relationship in FCA.Formal concept analysis; MERODE; Conceptual domain modeling; OOSSADM; CRUD;

Aspect théoriques de la classification a base de treillis

L

Reconstruction en sciences sociales : le cas des réseaux de savoirs

Des agents produisant et échangeant des connaissances constituent un système complexe socio-sémantique, dont l’étude représente un défi à la fois théorique, dans la perspective de résoudre un problème de reconstruction en sciences sociales, et pratique, avec des applications permettant aux agents de connaître la dynamique du système dans lequel ils évoluent. Nous montrons que plusieurs aspects significatifs de la structure d’une communauté de savoirs sont principalement produits par la dynamique d’un réseau épistémique où co-évoluent agents et concepts. La structure est principalement décrite par la taxonomie de communautés de savoirs à partir de simples relations entre agents et concepts et de treillis de Galois; nous obtenons une description historique se rapportant à la progression des champs, leur déclin, leur spécialisation ou leurs interactions. Nous micro-fondons ensuite ces phénomènes en exhibant et en estimant empiriquement des processus d’interaction au niveau des agents, en co-évolution avec les concepts au sein du réseau épistémique, qui rendent compte de la morphogenèse et de l’émergence de plusieurs faits stylisés structurels de haut-niveau.Agents producing and exchanging knowledge are forming as a whole a socio-semantic complex system, whose study offers theoretical challenges, with the perspective of solving a reconstruction problem in social sciences, as well as practical challenges, with potential applications enabling agents to know the dynamics of the system they are participating in. We show that several significant aspects of the structure of a knowledge community are primarily produced by the co-evolution between agents and concepts, i.e. the evolution of an epistemic network. We rebuild taxonomies of knowledge communities from low-level observation of relationships between agents and concepts, using Galois lattices; achieving ultimately an historical description (inter alia field progress, decline, specialization, interaction). We then micro-found various stylized facts regarding this particular structure by exhibiting processes at the level of agents accounting for the emergence and morphogenesis of epistemic community structure, assuming that agents and concepts are co-evolving

Improving Generalization Level in UML Models Iterative Cross Generalization in Practice

International audienc

MASPEGHI 2004 Mechanisms for Speialization, Generalization and Inheritance

Rapport de Recherche Projet OCL, N° I3S/RR-2004-15-FRInternational audienceMASPEGHI 2004 is the third edition of the MASPEGHI workshop. This year the organizers of both the ECOOP 2002 Inheritance Workshop and MASPEGHI 2003 came together to enlarge the scope of the workshop and to address new challenges. We succeeded in gathering a diverse group of researchers and practitioners interested in mechanisms for managing specialization and generalization of programming language components. The workshop contained a series of presentations with discussions as well as group work, and the interplay between the more than 22 highly skilled and inspiring people from many different communities gave rise to fruitful discussions and the potential for continued collaboration