A Reconstruction of Context-Dependent Document Processing In SGML

SGML achieves a certain degree of context-dependent document processing through attributes and linking. These mechanisms are deficient in several respects. To address these deficiencies we propose augmenting SGML\u27s LINK and ATTLISTconstructs with two new mechanisms, coordination and (rule-based) attribution. The latter can be used to specify the result of context-dependent processing in a uniform fashion while considerably increasing SGML\u27s expressive power. We illustrate this enhanced power by sketching a specification of (the result of) document layout that can be encoded in SGML augmented with coordination and attribution

Developing domain ontologies for course content

Ontologies have the potential to play an important role in instructional design and the development of course content. They can be used to represent knowledge about content, supporting instructors in creating content or learners in accessing content in a knowledge-guided way. While ontologies exist for many subject domains, their quality and suitability for the educational context might be unclear. For numerous subjects, ontologies do not exist. We present a method for domain experts rather than ontology engineers to develop ontologies for use in the delivery of courseware content. We will focus in particular on relationship types that allow us to model rich domains adequately

Specification languages for embedded systems : a survey

Requirements specification is an important part of the software development process. Use of well developed techniques, tools, and languages during requirements specification is especially crucial for complex embedded software systems. Four langauges appropriate for the specification of software requirements for complex embedded systems (RSL, PAISLey, Statecharts, and SCR) are reviewed in detail here. In addition, other representation languages with features relevant to the embedded software systems domain are mentioned. Conclusions about the current status of embedded systems requirements specification and indications of further research are given

Filling the Ontology Space for Coalition Battle Management Language

The Coalition Battle Management Language is a language for representing and exchanging plans, orders, and reports across live, constructive and robotic forces in multi-service, multi-national and multi-organizational operations. Standardization efforts in the Simulation Interoperability Standards Organization seek to define this language through three parallel activities: (1) specify a sufficient data model to unambiguously define a set of orders using the Joint Command, Control, and Consultation Information Exchange Data Model (JC3IEDM) as a starting point; (2) develop a formal grammar (lexicon and production rules) to formalize the definition of orders, requests, and reports; (3) develop a formal battle management ontology to enable conceptual interoperability across software systems. This paper focuses on the third activity, development of a formal battle management ontology, by describing an ontology space for potential technical approaches. An ontology space is a notional three dimensional space with qualitative axes representing: (1) the Ontological Spectrum; (2) the Levels of Conceptual Interoperability Model; and (3) candidate representation sources that can contribute to conceptual interoperability for the Coalition Battle Management Language. The first dimension is the Ontological Spectrum, which shows increasing levels of semantic formalism using various ontology representation artifacts. The second dimension is the Levels of Conceptual Interoperability Model, which describes varying levels of interoperability that can be attained across systems. The third dimension is a survey of likely candidate sources to provide the representation elements required for interoperability. This third dimension will be further described in relation to the artifact capabilities of the second dimension and the conceptual interoperability capabilities of the first dimension to highlight what is possible for ontological representation in C-BML with existing sources, and what needs to be added. The paper identifies requirements for building the ontology artifacts (starting with a controlled vocabulary) for conceptual interoperability, the highest level described in the LCIM, and gives a path ahead for increasingly logical artifacts

Teaching computer language handling - From compiler theory to meta-modelling

Most universities teach computer language handling by mainly focussing on compiler theory, although MDA (model-driven architecture) and meta-modelling are increasingly important in the software industry as well as in computer science. In this article, we investigate how traditional compiler theory compares to meta-modelling with regard to formally defining the different aspects of a language, and how we can expand the focus in computer language handling courses to also include meta-model-based approaches. We give an outline of a computer language handling course that covers both paradigms, and share some experiences from running a course based on this outline at the University of Agder

Requirements, design and business process reengineering as vital parts of any system development methodology

This thesis analyzes different aspects of system development life cycle, concentrating on the requirements and design stages. It describes various methodologies, methods and tools that have been developed over the years. It evaluates them and compares them against each other. Finally a conclusion is made that there is a very important stage missing in the system development life cycle, which is the Business Process Reengineering Stage

User Interfaces to the Web of Data based on Natural Language Generation

We explore how Virtual Research Environments based on Semantic Web technologies support research interactions with RDF data in various stages of corpus-based analysis, analyze the Web of Data in terms of human readability, derive labels from variables in SPARQL queries, apply Natural Language Generation to improve user interfaces to the Web of Data by verbalizing SPARQL queries and RDF graphs, and present a method to automatically induce RDF graph verbalization templates via distant supervision