31 research outputs found

    SAGA: A project to automate the management of software production systems

    Get PDF
    The Software Automation, Generation and Administration (SAGA) project is investigating the design and construction of practical software engineering environments for developing and maintaining aerospace systems and applications software. The research includes the practical organization of the software lifecycle, configuration management, software requirements specifications, executable specifications, design methodologies, programming, verification, validation and testing, version control, maintenance, the reuse of software, software libraries, documentation, and automated management

    Symbol–Relation Grammars: A Formalism for Graphical Languages

    Get PDF
    AbstractA common approach to the formal description of pictorial and visual languages makes use of formal grammars and rewriting mechanisms. The present paper is concerned with the formalism of Symbol–Relation Grammars (SR grammars, for short). Each sentence in an SR language is composed of a set of symbol occurrences representing visual elementary objects, which are related through a set of binary relational items. The main feature of SR grammars is the uniform way they use context-free productions to rewrite symbol occurrences as well as relation items. The clearness and uniformity of the derivation process for SR grammars allow the extension of well-established techniques of syntactic and semantic analysis to the case of SR grammars. The paper provides an accurate analysis of the derivation mechanism and the expressive power of the SR formalism. This is necessary to fully exploit the capabilities of the model. The most meaningful features of SR grammars as well as their generative power are compared with those of well-known graph grammar families. In spite of their structural simplicity, variations of SR grammars have a generative power comparable with that of expressive classes of graph grammars, such as the edNCE and the N-edNCE classes

    FEAT-REP : representing features in CAD/CAM

    Get PDF
    When CAD/CAM experts view a workpiece, they perceive it in terms of their own expertise. These terms, called features, which are build upon a syntax (geometry) and a semantic (e.g. skeletal plans in manufacturing or functional relations in design), provide an abstraction mechanism to facilitate the creation, manufacturing and analysis of workpieces. Our goal is to enable experts to represent their own feature-language via a feature-grammar in the computer to build feature-based systems e.g. CAPP systems. The application of formal language terminology to the feature definitions facilitates the use of well-known formal language methods in conjunction with our flexible knowledge representation formalism FEAT-REP which will be presented in this paper

    Incremental Semantic Evaluation for Interactive Systems: Inertia, Pre-emption, and Relations

    Get PDF
    Although schemes for incremental semantic evaluation have been explored and refined for more than two decades, the demands of user interaction continue to outstrip the capabilities of these schemes. The feedback produced by a semantic evaluator must support the user's programming activities: it must be structured in a way that provides the user with meaningful insight into the program (directly, or via other tools in the environment) and it must be timely. In this paper we extend an incremental attribute evaluation scheme with three techniques to better meet these demands within the context of a modeless editing system with a flexible tool integration paradigm. Efficient evaluation in the presence of syntax errors (which arise often under modeless editing) is supported by giving semantic attributes inertia: a tendency to not change unless necessary. Pre-emptive evaluation helps to reduce the delays associated with a sequence of edits, allowing an evaluator to "keep pace" with the user. Relations provide a general means to capture semantic structure (for the user, other tools, and as attributes within an evaluation) and are treated efficiently using a form of differential propagation. The combination of these three techniques meets the demands of user interaction; leaving out any one does not

    FEAT-REP : representing features in CAD/CAM

    Get PDF
    When CAD/CAM experts view a workpiece, they perceive it in terms of their own expertise. These terms, called features, which are build upon a syntax (geometry) and a semantic (e.g. skeletal plans in manufacturing or functional relations in design), provide an abstraction mechanism to facilitate the creation, manufacturing and analysis of workpieces. Our goal is to enable experts to represent their own feature-language via a feature-grammar in the computer to build feature-based systems e.g. CAPP systems. The application of formal language terminology to the feature definitions facilitates the use of well-known formal language methods in conjunction with our flexible knowledge representation formalism FEAT-REP which will be presented in this paper

    Matrix Graph Grammars

    Full text link
    This book objective is to develop an algebraization of graph grammars. Equivalently, we study graph dynamics. From the point of view of a computer scientist, graph grammars are a natural generalization of Chomsky grammars for which a purely algebraic approach does not exist up to now. A Chomsky (or string) grammar is, roughly speaking, a precise description of a formal language (which in essence is a set of strings). On a more discrete mathematical style, it can be said that graph grammars -- Matrix Graph Grammars in particular -- study dynamics of graphs. Ideally, this algebraization would enforce our understanding of grammars in general, providing new analysis techniques and generalizations of concepts, problems and results known so far.Comment: 321 pages, 75 figures. This book has is publisehd by VDM verlag, ISBN 978-363921255

    Organizacijsko modeliranje višeagentnih sustava velikih razmjera s primjenom na računalne igre

    Get PDF
    The most popular and frequent methods of conducting a system of agents, of smallor large-scale, are those based on swarm intelligence, and organisational models. Organisational models for multi-agent systems are being developed alongside their role in the modern world. Technological improvements lead to creation of systems comprising thousands, or millions, of agents – large-scale multiagent system (LSMAS). Numerous LSMAS application domains (Internet of Everything (IoE), massively multi-player online games (MMOGs), smart cities, etc.) make LSMAS a genuinely useful concept in the modern era. Recent studies argue higher efficiency of LSMAS with imposed organisation, as opposed to systems with emerging intelligence. This makes organisational modelling of LSMAS a particularly interesting research subject. Organisational model based on ontology comprising LSMAS-related organisational concepts, built conforming to modern organisational perspectives for LSMAS, is a step towards easier LSMAS modelling. The ontology is basis for an organisational metamodel for LSMAS, which, coupled with graph grammars and logic, is suitable for modelling organisational dynamics, especially in the domain of massively multi-player online role-playing games (MMORPGs).Najpoznatiji i najučestaliji oblici uređenja sustava agenata, velikog ili malog razmjera, su oni koji se temelje na inteligenciji roja i oni koji svoje osnove vuku iz organizacijskih modela. Organizacijski modeli višeagentnih sustava razvijaju se usporedno s ulogom takvih sustava u modernom svijetu. Razvojem tehnologije stvaraju se sustavi koji broje tisuće ili milijuneagenata–višeagentnisustavivelikihrazmjera(VASVR).Mnogobrojneaplikacijske domene za VASVR (Internet svega, mrežne računalne igre namijenjene većem broju igrača (MMORPG), pametni gradovi i sl.) čine VASVR realno potrebnim konceptom u moderno doba. Recentna istraživanja ukazuju na veću učinkovitost VASVR uređenih temeljem organizacijske teorije, od onih koji prate inteligencija roja, te je stoga organizacijsko modeliranje VASVR iznimno interesantno podučje za istraživanje. Organizacijski model temeljen na ontologiji organizacijskih koncepata i modernim načelima organizacije VASVR korak je prema lakšem oblikovanju VASVR. Ontologija je baza za organizacijski metamodel za VASVR koji, spojen s gramatikama grafova i logikom, dobiva na prikladnosti za modeliranje organizacijske dinamike, naročito u domeni MMORPG

    Organizacijsko modeliranje višeagentnih sustava velikih razmjera s primjenom na računalne igre

    Get PDF
    The most popular and frequent methods of conducting a system of agents, of smallor large-scale, are those based on swarm intelligence, and organisational models. Organisational models for multi-agent systems are being developed alongside their role in the modern world. Technological improvements lead to creation of systems comprising thousands, or millions, of agents – large-scale multiagent system (LSMAS). Numerous LSMAS application domains (Internet of Everything (IoE), massively multi-player online games (MMOGs), smart cities, etc.) make LSMAS a genuinely useful concept in the modern era. Recent studies argue higher efficiency of LSMAS with imposed organisation, as opposed to systems with emerging intelligence. This makes organisational modelling of LSMAS a particularly interesting research subject. Organisational model based on ontology comprising LSMAS-related organisational concepts, built conforming to modern organisational perspectives for LSMAS, is a step towards easier LSMAS modelling. The ontology is basis for an organisational metamodel for LSMAS, which, coupled with graph grammars and logic, is suitable for modelling organisational dynamics, especially in the domain of massively multi-player online role-playing games (MMORPGs).Najpoznatiji i najučestaliji oblici uređenja sustava agenata, velikog ili malog razmjera, su oni koji se temelje na inteligenciji roja i oni koji svoje osnove vuku iz organizacijskih modela. Organizacijski modeli višeagentnih sustava razvijaju se usporedno s ulogom takvih sustava u modernom svijetu. Razvojem tehnologije stvaraju se sustavi koji broje tisuće ili milijuneagenata–višeagentnisustavivelikihrazmjera(VASVR).Mnogobrojneaplikacijske domene za VASVR (Internet svega, mrežne računalne igre namijenjene većem broju igrača (MMORPG), pametni gradovi i sl.) čine VASVR realno potrebnim konceptom u moderno doba. Recentna istraživanja ukazuju na veću učinkovitost VASVR uređenih temeljem organizacijske teorije, od onih koji prate inteligencija roja, te je stoga organizacijsko modeliranje VASVR iznimno interesantno podučje za istraživanje. Organizacijski model temeljen na ontologiji organizacijskih koncepata i modernim načelima organizacije VASVR korak je prema lakšem oblikovanju VASVR. Ontologija je baza za organizacijski metamodel za VASVR koji, spojen s gramatikama grafova i logikom, dobiva na prikladnosti za modeliranje organizacijske dinamike, naročito u domeni MMORPG
    corecore