umu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Two approaches to System-of-Systems from Lative Logic point of view
Umeå University, Faculty of Science and Technology, Department of Computing Science.
2017 (English)In: 6TH INTERNATIONAL YOUNG SCIENTIST CONFERENCE ON COMPUTATIONAL SCIENCE, YSC 2017 / [ed] Klimova, A Bilyatdinova, A Kortelainen, J Boukhanovsky, A, Elsevier, 2017, Vol. 119, p. 16-21Conference paper, Published paper (Refereed)
Abstract [en]

The paper presents two approaches to model System-of-Systems on lative logic point of view. Lative logic is a general framework to construct building blocks of logic using Category Theory as its metalanguage. This approach reveals avenues to describe System of -Systems themselves, and to model information and processes they posers, using some reasonable modelling languages in a computational manner, thus, touching foundations of computational science. After presenting some preliminary notes, the paper explains the main steps to construct lative logics, and then give two approaches to System-of-System modelling. Finally, the paper presents a survey to some applications.

Place, publisher, year, edition, pages
Elsevier, 2017. Vol. 119, p. 16-21
Series
Procedia Computer Science, ISSN 1877-0509 ; 119
Keywords [en]
Category theory, computational science, lative logic, System-of-Systems
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:umu:diva-146248DOI: 10.1016/j.procs.2017.11.155ISI: 000426712500002OAI: oai:DiVA.org:umu-146248DiVA, id: diva2:1206380
Conference
6th Annual International Young Scientists Conference on HPC and Computational Science (YSC), NOV 01-03, 2017, Kotka, FINLAND
Available from: 2018-05-16 Created: 2018-05-16 Last updated: 2018-06-09Bibliographically approved

Open Access in DiVA

fulltext(731 kB)11 downloads
File information
File name FULLTEXT01.pdfFile size 731 kBChecksum SHA-512
2576c4f2550af85fd76bcbf0ac17661ae0649deed0fbe229c5963e5fdf9a40e78faf53fbd6322c0c88897ec850c0f2620911a80bcedca4ab453bed44d204ad8b
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Eklund, Patrik

Search in DiVA

By author/editor
Eklund, Patrik
By organisation
Department of Computing Science
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 11 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 28 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf