Algebraic specification of information systems

The chief goal of our research has been to clarify, if and how algebraic and statistical concepts could be used for the specification of statistical information systems (IS). Our research has resulted in a new algebraic framework of statistical ISs. The algebraic IS framework differs from other spec...

Full description

Bibliographic Details
Main Author: Karimaa, Erkki
Format: Doctoral dissertation
Language:eng
Published: 1995
Subjects:
Online Access: https://jyx.jyu.fi/handle/123456789/103807
_version_ 1835762656734085120
author Karimaa, Erkki
author_facet Karimaa, Erkki Karimaa, Erkki
author_sort Karimaa, Erkki
datasource_str_mv jyx
description The chief goal of our research has been to clarify, if and how algebraic and statistical concepts could be used for the specification of statistical information systems (IS). Our research has resulted in a new algebraic framework of statistical ISs. The algebraic IS framework differs from other specification frameworks, because it introduces algebraic specifications of statistical ISs based on algebraic specifications of control systems (CS) and object systems (OS). The algebraic IS framework is an application of algebraic system theory. The algebraic specification of an IS comprises two functions, ie, an input function and an output function. The input function changes the information base of the IS on the basis of objects in the environment of the IS or within the IS and the output function derives information from the information base. The input function is composed of derivation and transition functions, and the output function is composed of derivation functions. The practical benefits of the algebraic IS framework can be productivity gains: better statistical applications and cost reductions in application production. The comprehensive algebraic IS framework also gives a theoretical structure, concepts and a universal language which could be used to describe and analyze statistical ISs.
first_indexed 2025-06-19T20:01:29Z
format Väitöskirja
fullrecord [{"key": "dc.contributor.author", "value": "Karimaa, Erkki", "language": null, "element": "contributor", "qualifier": "author", "schema": "dc"}, {"key": "dc.date.accessioned", "value": "2025-06-19T09:56:25Z", "language": null, "element": "date", "qualifier": "accessioned", "schema": "dc"}, {"key": "dc.date.available", "value": "2025-06-19T09:56:25Z", "language": null, "element": "date", "qualifier": "available", "schema": "dc"}, {"key": "dc.date.issued", "value": "1995", "language": null, "element": "date", "qualifier": "issued", "schema": "dc"}, {"key": "dc.identifier.isbn", "value": "978-952-86-0831-8", "language": null, "element": "identifier", "qualifier": "isbn", "schema": "dc"}, {"key": "dc.identifier.uri", "value": "https://jyx.jyu.fi/handle/123456789/103807", "language": null, "element": "identifier", "qualifier": "uri", "schema": "dc"}, {"key": "dc.description.abstract", "value": "The chief goal of our research has been to clarify, if and how algebraic and statistical concepts could be used for the specification of statistical information systems (IS). Our research has resulted in a new algebraic framework of statistical ISs. The algebraic IS framework differs from other specification frameworks, because it introduces algebraic specifications of statistical ISs based on algebraic specifications of control systems (CS) and object systems (OS). The algebraic IS framework is an application of algebraic system theory. The algebraic specification of an IS comprises two functions, ie, an input function and an output function. The input function changes the information base of the IS on the basis of objects in the environment of the IS or within the IS and the output function derives information from the information base. The input function is composed of derivation and transition functions, and the output function is composed of derivation functions. The practical benefits of the algebraic IS framework can be productivity gains: better statistical applications and cost reductions in application production. The comprehensive algebraic IS framework also gives a theoretical structure, concepts and a universal language which could be used to describe and analyze statistical ISs.", "language": "en", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted by Harri Hirvi (hirvi@jyu.fi) on 2025-06-19T09:56:25Z\nNo. of bitstreams: 0", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Made available in DSpace on 2025-06-19T09:56:25Z (GMT). No. of bitstreams: 0\n Previous issue date: 1995", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.format.mimetype", "value": "application/pdf", "language": null, "element": "format", "qualifier": "mimetype", "schema": "dc"}, {"key": "dc.language.iso", "value": "eng", "language": null, "element": "language", "qualifier": "iso", "schema": "dc"}, {"key": "dc.relation.ispartofseries", "value": "Jyv\u00e4skyl\u00e4 studies in computer science, economics and statistics", "language": null, "element": "relation", "qualifier": "ispartofseries", "schema": "dc"}, {"key": "dc.rights", "value": "In Copyright", "language": null, "element": "rights", "qualifier": null, "schema": "dc"}, {"key": "dc.subject.other", "value": "matemaattinen logiikka", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "matemaattinen tilastotiede", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "ohjausj\u00e4rjestelm\u00e4t", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "tietoj\u00e4rjestelm\u00e4t", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "systeemiteoria", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.title", "value": "Algebraic specification of information systems", "language": null, "element": "title", "qualifier": null, "schema": "dc"}, {"key": "dc.type", "value": "doctoral thesis", "language": null, "element": "type", "qualifier": null, "schema": "dc"}, {"key": "dc.identifier.urn", "value": "URN:ISBN:978-952-86-0831-8", "language": null, "element": "identifier", "qualifier": "urn", "schema": "dc"}, {"key": "dc.type.coar", "value": "http://purl.org/coar/resource_type/c_db06", "language": null, "element": "type", "qualifier": "coar", "schema": "dc"}, {"key": "dc.relation.numberinseries", "value": "26", "language": null, "element": "relation", "qualifier": "numberinseries", "schema": "dc"}, {"key": "dc.rights.copyright", "value": "\u00a9 The Author & University of Jyv\u00e4skyl\u00e4", "language": null, "element": "rights", "qualifier": "copyright", "schema": "dc"}, {"key": "dc.rights.accesslevel", "value": "restrictedAccess", "language": null, "element": "rights", "qualifier": "accesslevel", "schema": "dc"}, {"key": "dc.type.publication", "value": "doctoralThesis", "language": null, "element": "type", "qualifier": "publication", "schema": "dc"}, {"key": "dc.format.content", "value": "fulltext", "language": null, "element": "format", "qualifier": "content", "schema": "dc"}, {"key": "dc.rights.url", "value": "https://rightsstatements.org/page/InC/1.0/", "language": null, "element": "rights", "qualifier": "url", "schema": "dc"}, {"key": "dc.rights.accessrights", "value": "Aineistoon p\u00e4\u00e4sy\u00e4 on rajoitettu tekij\u00e4noikeussyist\u00e4. Aineisto on luettavissa Jyv\u00e4skyl\u00e4n yliopiston kirjaston <a href=\"https://www.jyu.fi/fi/osc/kirjasto/tyoskentelytilat/laitteet-ja-tilat#toc-jyx-ty-asema\">arkistoty\u00f6asemalta</a>.", "language": "fi", "element": "rights", "qualifier": "accessrights", "schema": "dc"}, {"key": "dc.rights.accessrights", "value": "<br><br>This material has a restricted access due to copyright reasons. It can be read at the <a href=\"https://www.jyu.fi/fi/osc/kirjasto/tyoskentelytilat/laitteet-ja-tilat#toc-jyx-ty-asema\">workstation</a> at Jyv\u00e4skyl\u00e4 University Library reserved for the use of archival materials.", "language": "en", "element": "rights", "qualifier": "accessrights", "schema": "dc"}, {"key": "dc.date.digitised", "value": "2025", "language": null, "element": "date", "qualifier": "digitised", "schema": "dc"}, {"key": "dc.type.okm", "value": "G4", "language": null, "element": "type", "qualifier": "okm", "schema": "dc"}]
id jyx.123456789_103807
language eng
last_indexed 2025-06-19T20:01:29Z
main_date 1995-01-01T00:00:00Z
main_date_str 1995
publishDate 1995
record_format qdc
source_str_mv jyx
spellingShingle Karimaa, Erkki Algebraic specification of information systems matemaattinen logiikka matemaattinen tilastotiede ohjausjärjestelmät tietojärjestelmät systeemiteoria
title Algebraic specification of information systems
title_full Algebraic specification of information systems
title_fullStr Algebraic specification of information systems Algebraic specification of information systems
title_full_unstemmed Algebraic specification of information systems Algebraic specification of information systems
title_short Algebraic specification of information systems
title_sort algebraic specification of information systems
title_txtP Algebraic specification of information systems
topic matemaattinen logiikka matemaattinen tilastotiede ohjausjärjestelmät tietojärjestelmät systeemiteoria
topic_facet matemaattinen logiikka matemaattinen tilastotiede ohjausjärjestelmät systeemiteoria tietojärjestelmät
url https://jyx.jyu.fi/handle/123456789/103807 http://www.urn.fi/URN:ISBN:978-952-86-0831-8
work_keys_str_mv AT karimaaerkki algebraicspecificationofinformationsystems