Living City, A Collaborative Browser-Based Massively Multiplayer Online Game

This work presents the design and implementation of our Browser-based Massively Multiplayer Online Game, Living City, a simulation game fully developed at the University of Messina. Living City is a persistent and real-time digital world, running in the Web browser environment and accessible from users without any client-side installation. Today Massively Multiplayer Online Games attract the attention of Computer Scientists both for their architectural peculiarity and the close interconnection with the social network phenomenon. We will cover these two aspects paying particular attention to some aspects of the project: game balancing (e.g. algorithms behind time and money balancing); business logic (e.g., handling concurrency, cheating avoidance and availability) and, finally, social and psychological aspects involved in the collaboration of players, analyzing their activities and interconnections

An ontology framework for developing platform-independent knowledge-based engineering systems in the aerospace industry

This paper presents the development of a novel knowledge-based engineering (KBE) framework for implementing platform-independent knowledge-enabled product design systems within the aerospace industry. The aim of the KBE framework is to strengthen the structure, reuse and portability of knowledge consumed within KBE systems in view of supporting the cost-effective and long-term preservation of knowledge within such systems. The proposed KBE framework uses an ontology-based approach for semantic knowledge management and adopts a model-driven architecture style from the software engineering discipline. Its phases are mainly (1) Capture knowledge required for KBE system; (2) Ontology model construct of KBE system; (3) Platform-independent model (PIM) technology selection and implementation and (4) Integration of PIM KBE knowledge with computer-aided design system. A rigorous methodology is employed which is comprised of five qualitative phases namely, requirement analysis for the KBE framework, identifying software and ontological engineering elements, integration of both elements, proof of concept prototype demonstrator and finally experts validation. A case study investigating four primitive three-dimensional geometry shapes is used to quantify the applicability of the KBE framework in the aerospace industry. Additionally, experts within the aerospace and software engineering sector validated the strengths/benefits and limitations of the KBE framework. The major benefits of the developed approach are in the reduction of man-hours required for developing KBE systems within the aerospace industry and the maintainability and abstraction of the knowledge required for developing KBE systems. This approach strengthens knowledge reuse and eliminates platform-specific approaches to developing KBE systems ensuring the preservation of KBE knowledge for the long term

An Algebra of Hierarchical Graphs

We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can be understood as a high-level language for describing graphs with a node-sharing, embedding structure, and it is then well suited for defining graphical representations of software models where nesting and linking are key aspects

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems

This paper presents an extension of existing software architecture tools to model physical systems, their interconnections, and the interactions between physical and cyber components. A new CPS architectural style is introduced to support the principled design and evaluation of alternative architectures for cyber-physical systems (CPSs). The implementation of the CPS architectural style in AcmeStudio includes behavioral annotations on components and connectors using either finite state processes (FSP) or linear hybrid automata (LHA) with plug-ins to perform behavior analysis using the Labeled Transition System Analyzer (LTSA) or Polyhedral Hybrid Automata Verifier (PHAVer), respectively. The CPS architectural style and analysis plug-ins are illustrated with an example

Exploring the relationship between scientist human capital and firm performance: The case of biomedical academic entrepreneurs in the SBIR Program.

Do academic scientists bring valuable human capital to the companies they found or join? If so, what are the particular skills that compose their human capital and how are these skills related to firm performance? This paper examines these questions using a particular group of academic entrepreneurs - biomedical research scientists who choose to commercialize their knowledge through the U.S. Small Business Innovation Research Program. Our conceptual framework assumes the nature of an academic entrepreneurs' prior research reflects the development of their human capital. We highlight differences in firm performance that correlate with differences in the scientists' research orientations developed during their academic careers. We find that biomedical academic entrepreneurs with human capital oriented toward exploring scientific opportunities significantly improve their firms' performance of research tasks such as 'proof of concept' studies. Biomedical academic entrepreneurs with human capital oriented toward exploring commercial opportunities significantly improve their firms' performance of invention oriented tasks such as patenting. Consistent with prior evidence, there also appears to be a form of diminishing returns to scientifically oriented human capital in a commercialization environment. Holding the commercial orientation of the scientists' human capital constant, we find that increasing their human capital for identifying and exploring scientific opportunities significantly detracts from their firms' patenting performance.Academic entrepreneurship; Biotechnology; Human capital; SBIR program; Firm performance; Performance; Entrepreneurs; SBIR;