2,329 research outputs found

    Toward Semantics-aware Representation of Digital Business Processes

    Get PDF
    An extended enterprise (EE) can be described by a set of models each representing a specific aspect of the EE. Aspects can for example be the process flow or the value description. However, different models are done by different people, which may use different terminology, which prevents relating the models. Therefore, we propose a framework consisting of process flow and value aspects and in addition a static domain model with structural and relational components. Further, we outline the usage of the static domain model to enable relating the different aspects

    Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

    Full text link
    Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferring new knowledge are important skills for going-to-be computer scientists. The Iltis project aims at providing a web-based, interactive system that supports teaching logical methods. In particular the system shall (a) support to learn to model knowledge and to infer new knowledge using propositional logic, modal logic and first-order logic, and (b) provide immediate feedback and support to students. This article presents a prototypical system that currently supports the above tasks for propositional logic. First impressions on its use in a second year logic course for computer science students are reported

    Knowledge Representation Concepts for Automated SLA Management

    Full text link
    Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-quality commitments based upon predefined Service Level Agreements (SLAs) with the service customer. They need to manage, execute and maintain thousands of SLAs for different customers and different types of services, which needs new levels of flexibility and automation not available with the current technology. The complexity of contractual logic in SLAs requires new forms of knowledge representation to automatically draw inferences and execute contractual agreements. A logic-based approach provides several advantages including automated rule chaining allowing for compact knowledge representation as well as flexibility to adapt to rapidly changing business requirements. We suggest adequate logical formalisms for representation and enforcement of SLA rules and describe a proof-of-concept implementation. The article describes selected formalisms of the ContractLog KR and their adequacy for automated SLA management and presents results of experiments to demonstrate flexibility and scalability of the approach.Comment: Paschke, A. and Bichler, M.: Knowledge Representation Concepts for Automated SLA Management, Int. Journal of Decision Support Systems (DSS), submitted 19th March 200

    A collaborative benchmarking framework for multibody system dynamics

    Get PDF
    [Abstract] Despite the importance given to the computational efficiency of multibody system (MBS) simulation tools, there is a lack of standard benchmarks to measure the performance of these kinds of numerical simulations. This works proposes a collaborative benchmarking framework to measure and compare the performance of different MBS simulation methods. The framework is made up of two main components: (a) an on-line repository of test problems with reference solutions and standardized procedures to measure computational efficiency and (b) a prototype implementation of a collaborative web-based application to collect, organize and share information about performance results in an intuitive and graphical form. The proposed benchmarking framework has been tested to evaluate the performance of a commercial MBS simulation software, and it proved to be an effective tool to collect and analyze information about the numerous factors which affect the computational efficiency of dynamic simulations of multibody systems

    Dialogues Concerning a (Possibly) New Science

    Get PDF
    The paper relates virtual dialogues about social simulation, with the implicit reference to Galieo\'s \'dialogues concerning two new sciences\'.Social Simulations, Epistemology, Validation, Simulation Methods
    corecore