A Unified System Modelling and Programming Language based on JavaScript and a Semantic Type System

The design and simulation of complex mechatronic and intelligent systems require a unified system modelling and programming language. This work introduces JavaScript as a unified modelling and programming language by extending JavaScript with a semantic type system extension JST as a possible soluti...

Full description

Saved in:
Bibliographic Details
Published in:Procedia manufacturing Vol. 24; pp. 21 - 39
Main Author: Bosse, Stefan
Format: Journal Article
Language:English
Published: Elsevier B.V 2018
Subjects:
separated by semicolons
Type your keywords here
Type your keywords here
separated by semicolons
ISSN:2351-9789, 2351-9789
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract The design and simulation of complex mechatronic and intelligent systems require a unified system modelling and programming language. This work introduces JavaScript as a unified modelling and programming language by extending JavaScript with a semantic type system extension JST as a possible solution to fill the gap between models and implementations, finally resulting in the JS+ super set language combining typing, modelling, and programming. The paper shows various model domains and their relation to the JS+ programming model including some generic transformation rules. Finally, a system compiler framework is introduced that can process JS+ models and program code. The tool uses JS+ input to produce a wide range of output formats for software and hardware design, and multi-domain simulation.
AbstractList The design and simulation of complex mechatronic and intelligent systems require a unified system modelling and programming language. This work introduces JavaScript as a unified modelling and programming language by extending JavaScript with a semantic type system extension JST as a possible solution to fill the gap between models and implementations, finally resulting in the JS+ super set language combining typing, modelling, and programming. The paper shows various model domains and their relation to the JS+ programming model including some generic transformation rules. Finally, a system compiler framework is introduced that can process JS+ models and program code. The tool uses JS+ input to produce a wide range of output formats for software and hardware design, and multi-domain simulation.
Author Bosse, Stefan
Author_xml – sequence: 1
  givenname: Stefan
  surname: Bosse
  fullname: Bosse, Stefan
  email: sbosse@uni-bremen.de
  organization: University of Bremen, Department of Mathematics & Computer Science, University of Koblenz, Fac. Computer Science, Koblenz, Germany
BookMark eNp9kMtqwzAQRUVJoWmaP-hCP2BX8kO2N4UQ-iSlhSRrMZZGRiGWjeQG8vd1miy66mpm4J7LcG7JxHUOCbnnLOaMi4dd3PuuNU2cMF7GTMSM5VdkmqQ5j6qirCZ_9hsyD2HH2MglQhTVlNQLunXWWNR0fQwDtvSj07jfW9dQcJp--a7x0LanewWu-YYGaQ1hzHeOvsMB1srbfvgNA11jC26wim6OPV4a78i1gX3A-WXOyPb5abN8jVafL2_LxSpSKeNDlKYJrxBYhaXQaZUkmOc6MaALYdBkWOVgWFHmTJha1FpDkSnMlEYEldWlSmckO_cq34Xg0cje2xb8UXImT6rkTp5VyZMqyYQcVY3Y4xnD8beDRS-DsugUautRDVJ39v-CH647d4k
Cites_doi 10.1117/12.888122
10.1109/JSEN.2014.2301938
10.1126/science.1261689
10.3390/s150204513
10.1016/j.procs.2015.08.312
10.4271/2004-01-0718
10.1109/FiCloud.2016.43
ContentType Journal Article
Copyright 2018
Copyright_xml – notice: 2018
DBID 6I.
AAFTH
AAYXX
CITATION
DOI 10.1016/j.promfg.2018.06.005
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
EISSN 2351-9789
EndPage 39
ExternalDocumentID 10_1016_j_promfg_2018_06_005
S2351978918305146
GroupedDBID 0R~
0SF
457
6I.
AACTN
AAEDW
AAFTH
AALRI
AAXUO
ABMAC
ACGFS
ADBBV
ADEZE
AEXQZ
AFTJW
AGHFR
AITUG
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
EBS
EJD
FDB
KQ8
M~E
NCXOZ
O9-
OK1
ROL
SSZ
AAYWO
AAYXX
ACVFH
ADCNI
ADVLN
AEUPX
AFPUW
AIGII
AKBMS
AKRWK
AKYEP
CITATION
ID FETCH-LOGICAL-c301t-33219ea09e86d3922e55d2fad76fef4e95af078506fb6bdda74ce4cdeeac4b8c3
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000547894000004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2351-9789
IngestDate Sat Nov 29 01:41:31 EST 2025
Wed May 17 01:05:35 EDT 2023
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Keywords Type your keywords here
separated by semicolons
Language English
License This is an open access article under the CC BY-NC-ND license.
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c301t-33219ea09e86d3922e55d2fad76fef4e95af078506fb6bdda74ce4cdeeac4b8c3
OpenAccessLink https://dx.doi.org/10.1016/j.promfg.2018.06.005
PageCount 19
ParticipantIDs crossref_primary_10_1016_j_promfg_2018_06_005
elsevier_sciencedirect_doi_10_1016_j_promfg_2018_06_005
PublicationCentury 2000
PublicationDate 2018
2018-00-00
PublicationDateYYYYMMDD 2018-01-01
PublicationDate_xml – year: 2018
  text: 2018
PublicationDecade 2010
PublicationTitle Procedia manufacturing
PublicationYear 2018
Publisher Elsevier B.V
Publisher_xml – name: Elsevier B.V
References in The IEEE 4th International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria, 2016
Sensors and Actuators A: Physical. 148. 224-238. 10.1016/j.sna.2008.07.025.
S. Bosse
H. Al-Junaid, T. Kazmierski, and L. Wang
Science, 347(6228):1261689 (2015)
Sensors (MDPI), 15 (2), pp. 4513-4549, 2015, DOI:10.3390/s150204513.
J. Stoppe. R. Drechsler
Sensors MDPI, pp. 10399-10421, 2015.
IEEE Sensors Journal, Special Issue MIS, 2014, DOI:10
Chapuis, Y.-A & Zhou, L & Fujita, Hiroyuki & Hervé, Y. (2008).
M A McEvoy, Nikolaus Correll
in Forum on Specification and Design Languages (FDL 2006), Germany. 19 - 22 Sep 2006, 2006.
SAE 2004 World Congress.
T.R. Egel, N.J. Elias
in The Proc. of the 6th EUSPN 2015, Procedia Computer Science
Proceedings of the SPIE Microtechnologies 2011 Conference, 18.4.-20.4.2011, Prague, Session EMT 102 VLSI Circuits and Systems, 2011, DOI:10.1117/12.888122.
10.1016/j.promfg.2018.06.005_bib00010
10.1016/j.promfg.2018.06.005_bib0001
10.1016/j.promfg.2018.06.005_bib0002
10.1016/j.promfg.2018.06.005_bib0005
10.1016/j.promfg.2018.06.005_bib0006
10.1016/j.promfg.2018.06.005_bib0003
10.1016/j.promfg.2018.06.005_bib0004
10.1016/j.promfg.2018.06.005_bib0009
10.1016/j.promfg.2018.06.005_bib0007
10.1016/j.promfg.2018.06.005_bib0008
References_xml – reference: M A McEvoy, Nikolaus Correll,
– reference: , Science, 347(6228):1261689 (2015)
– reference: , Sensors MDPI, pp. 10399-10421, 2015.
– reference: H. Al-Junaid, T. Kazmierski, and L. Wang,
– reference: , SAE 2004 World Congress.
– reference: , Sensors (MDPI), 15 (2), pp. 4513-4549, 2015, DOI:10.3390/s150204513.
– reference: Chapuis, Y.-A & Zhou, L & Fujita, Hiroyuki & Hervé, Y. (2008).
– reference: S. Bosse,
– reference: , Proceedings of the SPIE Microtechnologies 2011 Conference, 18.4.-20.4.2011, Prague, Session EMT 102 VLSI Circuits and Systems, 2011, DOI:10.1117/12.888122.
– reference: , in Forum on Specification and Design Languages (FDL 2006), Germany. 19 - 22 Sep 2006, 2006.
– reference: . Sensors and Actuators A: Physical. 148. 224-238. 10.1016/j.sna.2008.07.025.
– reference: , in The IEEE 4th International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria, 2016
– reference: , IEEE Sensors Journal, Special Issue MIS, 2014, DOI:10
– reference: T.R. Egel, N.J. Elias,
– reference: J. Stoppe. R. Drechsler,
– reference: , in The Proc. of the 6th EUSPN 2015, Procedia Computer Science
– ident: 10.1016/j.promfg.2018.06.005_bib0006
  doi: 10.1117/12.888122
– ident: 10.1016/j.promfg.2018.06.005_bib00010
  doi: 10.1109/JSEN.2014.2301938
– ident: 10.1016/j.promfg.2018.06.005_bib0002
– ident: 10.1016/j.promfg.2018.06.005_bib0001
– ident: 10.1016/j.promfg.2018.06.005_bib0003
– ident: 10.1016/j.promfg.2018.06.005_bib0005
  doi: 10.1126/science.1261689
– ident: 10.1016/j.promfg.2018.06.005_bib0009
  doi: 10.3390/s150204513
– ident: 10.1016/j.promfg.2018.06.005_bib0008
  doi: 10.1016/j.procs.2015.08.312
– ident: 10.1016/j.promfg.2018.06.005_bib0004
  doi: 10.4271/2004-01-0718
– ident: 10.1016/j.promfg.2018.06.005_bib0007
  doi: 10.1109/FiCloud.2016.43
SSID ssj0001626679
Score 2.030822
Snippet The design and simulation of complex mechatronic and intelligent systems require a unified system modelling and programming language. This work introduces...
SourceID crossref
elsevier
SourceType Index Database
Publisher
StartPage 21
SubjectTerms separated by semicolons
Type your keywords here
Title A Unified System Modelling and Programming Language based on JavaScript and a Semantic Type System
URI https://dx.doi.org/10.1016/j.promfg.2018.06.005
Volume 24
WOSCitedRecordID wos000547894000004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2351-9789
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0001626679
  issn: 2351-9789
  databaseCode: M~E
  dateStart: 20150101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LS8QwEA66evAiiopvcvAmgdomfRwXUURkEVZhbyXNQxS2iu4unvztziRprayICl7KbmiTMl_45tGZCSFHOtGgRHjKVCEV43khmCxsxsCYSIXMdW6sa5l_lQ0G-WhUXIfTNl_ccQJZXeevr8XTv0INYwA2ls7-Au52UhiA3wA6XAF2uP4I-D7akRYtS9-N3B135jtvh8oATMgau-qmEKw8Rl2m8bvBpZzJoSMS38UVuGQMsr9Xx-iwhhm7Bq0rNIA9hmmwU6yScGWPrZMPKtiEZDIb9mEIMQQ-dBGvuaoXJKY4EScMvE9PdeaLscCsMf9EjR0l6xsYzdG3jyQ8oPIY2ztMvPPdVSPxoa7aJMIhrolLAithF_d0kSzFGThImMD51om0gc-WuqaL7Us2NZQu0W9-sa9tlI7dcbNGVoPDQPse6HWyYOoNUvVpAJl6SGgLMgXcaAdk2oBMHcj0saYfILubJW1ApghymHGT3J6f3ZxesHBaBlNA0hOWJKB8jIwKk6carN7YCKFjK3WWWmO5KYS0YA-KKLVVWmktM64MV9qA6uVVrpIt0qsfa7NNqIkqXrlP0lzzSMWVkFllkdqFBs4WO4Q18imffFOUsskWfCi9PEuUZ-mSJuH-rBFiGQw7b7CVAPy3T-7--ck9soL_fLRsn_Qmz1NzQJbVbHL_8nzodsg7CZh2JQ
linkProvider ISSN International Centre
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Unified+System+Modelling+and+Programming+Language+based+on+JavaScript+and+a+Semantic+Type+System&rft.jtitle=Procedia+manufacturing&rft.au=Bosse%2C+Stefan&rft.date=2018&rft.pub=Elsevier+B.V&rft.issn=2351-9789&rft.eissn=2351-9789&rft.volume=24&rft.spage=21&rft.epage=39&rft_id=info:doi/10.1016%2Fj.promfg.2018.06.005&rft.externalDocID=S2351978918305146
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2351-9789&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2351-9789&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2351-9789&client=summon