Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles

Emil Vassev, Mike Hinchey, Benoit Gaudin, Paddy Nixon

Research output: A Conference proceeding or a Chapter in BookConference contribution

4 Citations (Scopus)

Abstract

Autonomic Service-Component Ensembles (ASCENS) is a class of multi-agent systems formed as mobile, intelligent and openended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components and their environment. ASCENS systems pose distinct challenges for knowledge representation languages. In this paper, we present requirements and an initial model for such a language called KnowLang. KnowLang is intended to provide for formal specification of distinct knowledge models each representing a different knowledge domain of an ASCENS system, such as the internal world of a service component, the world of a service-component ensemble, the surrounding external world and information of special situations related to state changes and operations of service components. KnowLang provides the necessary constructs and mechanisms for specifying such knowledge models at two main levels – an ontology level and a logic-foundations level, where the latter is formed by special facts, rules, constraints and inter-ontology operators. In this paper, we also survey one of the ASCENS case studies to derive some of the requirements for KnowLang.
Original languageEnglish
Title of host publicationC3S2E '11: Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
EditorsBipin C. Desai, Alain Abran, Sudhir P. Mudur
Place of PublicationUnited States
PublisherAssociation for Computing Machinery (ACM)
Pages35-42
Number of pages8
ISBN (Print)9781450306263
DOIs
Publication statusPublished - 2011
Externally publishedYes
EventC3S2E '11: Fourth International C* Conference on Computer Science & Software Engineering - Montreal, Montreal, Canada
Duration: 1 May 20111 May 2011

Conference

ConferenceC3S2E '11: Fourth International C* Conference on Computer Science & Software Engineering
Abbreviated titleC3S2E '11
CountryCanada
CityMontreal
Period1/05/111/05/11

Fingerprint Dive into the research topics of 'Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles'. Together they form a unique fingerprint.

  • Cite this

    Vassev, E., Hinchey, M., Gaudin, B., & Nixon, P. (2011). Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles. In B. C. Desai, A. Abran, & S. P. Mudur (Eds.), C3S2E '11: Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering (pp. 35-42). Association for Computing Machinery (ACM). https://doi.org/10.1145/1992896.1992901