DSML4CP: A Domain-specific Modeling Language for Concurrent Programming

Nowadays, concurrent programs are an inevitable part of many software applications. They can increase the computation performance of the applications by parallelizing their computations. One of the approaches to realize the concurrency is using multi thread programming. However, these systems are st...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer languages, systems & structures Jg. 44; S. 319 - 341
Hauptverfasser: Azadi Marand, Elaheh, Azadi Marand, Elham, Challenger, Moharram
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Ltd 01.12.2015
Schlagworte:
Code generation
Computation
Computer programs
Concurrent programming
Constraint control
Domain-specific Modeling Language
Metamodel
Metamodels
Programming
Programming languages
Software
Transformations
Code generation
Domain-specific Modeling Language
Constraint control
Metamodel
Concurrent programming
ISSN:1477-8424, 1873-6866
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Nowadays, concurrent programs are an inevitable part of many software applications. They can increase the computation performance of the applications by parallelizing their computations. One of the approaches to realize the concurrency is using multi thread programming. However, these systems are structurally complex considering the control of the parallelism (such as thread synchronization and resource control) and also considering the interaction between their components. So, the design of these systems can be difficult and their implementation can be error-prone especially when the addressed system is big and complex. On the other hand, a Domain-specific Modeling Language (DSML) is one of the Model Driven Development (MDD) approaches which tackles this problem. Since DSMLs provide a higher abstraction level, they can lead to reduce the complexities of the concurrent programs. With increasing the abstraction level and generating the artifacts automatically, the performance of developing the software (both in design and implementation phases) is increased, and the efficiency is raised by reducing the probability of occurring errors. Thus, in this paper, a DSML is proposed for concurrent programs, called DSML4CP, to work in a higher level of abstraction than code level. To this end, the concepts of concurrent programs and their relationships are presented in a metamodel. The proposed metamodel provides a context for defining abstract syntax, and concrete syntax of the DSML4CP. This new language is supported by a graphical modeling tool which can visualize different instance models for domain problems. In order to clarify the expressions of the language; the static semantic controls are realized in the form of constraints. Finally, the architectural code generation is fulfilled via model transformation rules using the templates of the concurrent programs. To increase level of the DSML׳s leverage and to demonstrate the general support of concurrent programming by the DSML, the transformation mechanism of the tool supports two well-known and highly used programming languages for code generation; Java and C#. The performed experiments on two case studies indicate a high performance for proposed language. In this regard, the results show automatic generation of 79% of the final code and 86% of the functions/modules on average. •Concurrent programs are structurally complex and their design and implementation can be error prone.•A DSML provides higher abstraction level and can reduce the complexity of the concurrent programs.•This paper proposes a DSML, DSML4CP, which can generate the artifacts automatically in Java and C#.•DSML4CP has a graphical tool capable of static controls as constraints to reduce error occurrence.•The experiments indicate a raise in the performance of developing the software using DSML4CP.
AbstractList Nowadays, concurrent programs are an inevitable part of many software applications. They can increase the computation performance of the applications by parallelizing their computations. One of the approaches to realize the concurrency is using multi thread programming. However, these systems are structurally complex considering the control of the parallelism (such as thread synchronization and resource control) and also considering the interaction between their components. So, the design of these systems can be difficult and their implementation can be error-prone especially when the addressed system is big and complex. On the other hand, a Domain-specific Modeling Language (DSML) is one of the Model Driven Development (MDD) approaches which tackles this problem. Since DSMLs provide a higher abstraction level, they can lead to reduce the complexities of the concurrent programs. With increasing the abstraction level and generating the artifacts automatically, the performance of developing the software (both in design and implementation phases) is increased, and the efficiency is raised by reducing the probability of occurring errors. Thus, in this paper, a DSML is proposed for concurrent programs, called DSML4CP, to work in a higher level of abstraction than code level. To this end, the concepts of concurrent programs and their relationships are presented in a metamodel. The proposed metamodel provides a context for defining abstract syntax, and concrete syntax of the DSML4CP. This new language is supported by a graphical modeling tool which can visualize different instance models for domain problems. In order to clarify the expressions of the language; the static semantic controls are realized in the form of constraints. Finally, the architectural code generation is fulfilled via model transformation rules using the templates of the concurrent programs. To increase level of the DSML super(3)s leverage and to demonstrate the general support of concurrent programming by the DSML, the transformation mechanism of the tool supports two well-known and highly used programming languages for code generation; Java and C#. The performed experiments on two case studies indicate a high performance for proposed language. In this regard, the results show automatic generation of 79% of the final code and 86% of the functions/modules on average.
Nowadays, concurrent programs are an inevitable part of many software applications. They can increase the computation performance of the applications by parallelizing their computations. One of the approaches to realize the concurrency is using multi thread programming. However, these systems are structurally complex considering the control of the parallelism (such as thread synchronization and resource control) and also considering the interaction between their components. So, the design of these systems can be difficult and their implementation can be error-prone especially when the addressed system is big and complex. On the other hand, a Domain-specific Modeling Language (DSML) is one of the Model Driven Development (MDD) approaches which tackles this problem. Since DSMLs provide a higher abstraction level, they can lead to reduce the complexities of the concurrent programs. With increasing the abstraction level and generating the artifacts automatically, the performance of developing the software (both in design and implementation phases) is increased, and the efficiency is raised by reducing the probability of occurring errors. Thus, in this paper, a DSML is proposed for concurrent programs, called DSML4CP, to work in a higher level of abstraction than code level. To this end, the concepts of concurrent programs and their relationships are presented in a metamodel. The proposed metamodel provides a context for defining abstract syntax, and concrete syntax of the DSML4CP. This new language is supported by a graphical modeling tool which can visualize different instance models for domain problems. In order to clarify the expressions of the language; the static semantic controls are realized in the form of constraints. Finally, the architectural code generation is fulfilled via model transformation rules using the templates of the concurrent programs. To increase level of the DSML׳s leverage and to demonstrate the general support of concurrent programming by the DSML, the transformation mechanism of the tool supports two well-known and highly used programming languages for code generation; Java and C#. The performed experiments on two case studies indicate a high performance for proposed language. In this regard, the results show automatic generation of 79% of the final code and 86% of the functions/modules on average. •Concurrent programs are structurally complex and their design and implementation can be error prone.•A DSML provides higher abstraction level and can reduce the complexity of the concurrent programs.•This paper proposes a DSML, DSML4CP, which can generate the artifacts automatically in Java and C#.•DSML4CP has a graphical tool capable of static controls as constraints to reduce error occurrence.•The experiments indicate a raise in the performance of developing the software using DSML4CP.
Author Azadi Marand, Elham
Challenger, Moharram
Azadi Marand, Elaheh
Author_xml – sequence: 1
  givenname: Elaheh
  surname: Azadi Marand
  fullname: Azadi Marand, Elaheh
  email: elaheh.azadi@iaushab.ac.ir
– sequence: 2
  givenname: Elham
  surname: Azadi Marand
  fullname: Azadi Marand, Elham
  email: elham.azadi@iaushab.ac.ir
– sequence: 3
  givenname: Moharram
  orcidid: 0000-0002-5436-6070
  surname: Challenger
  fullname: Challenger, Moharram
  email: challenger@iaushab.ac.ir, m.challenger@gmail.com
BookMark eNp9kMtK7EAQQBtR8Ll3maWbxKqkX3En4-vCyBXUddN2KkMPSffYnRH8-xsZV8J1VbU4p6DOMdsPMRBj5wgVAsrLdeWGqgYUFbQVQL3HjlCrppRayv1550qVmtf8kB3nvJ4B0Fwcsfub58clXzxdFdfFTRytD2XekPO9d8Vj7GjwYVUsbVht7YqKPqZiEYPbpkRhKp5SXCU7jjNzyg56O2Q6-54n7PXu9mXxUC7_3v9ZXC9L19RqKoVFECiwe0PgohO1okaKxjpsddO0GqEFfOM9admjBCctYM171TVWtbx1zQm72N3dpPi-pTyZ0WdHw2ADxW02qLREoRXAjMod6lLMOVFvnJ_s5GOYkvWDQTBf5czauMF8lTPQmjnMLMIPcZP8aNPnb8rVTqH59w9PyWTnKTjqfCI3mS76_8v_APm1hGI
CitedBy_id crossref_primary_10_2478_cait_2023_0013
crossref_primary_10_1007_s10664_020_09872_1
Cites_doi 10.1007/3-540-15670-4_4
10.1109/MC.2006.58
10.1016/j.camwa.2011.07.063
10.1007/s11227-012-0821-7
10.1016/S0166-3615(02)00145-8
10.1145/1118890.1118892
10.1007/11554844_22
10.1007/s11227-012-0822-6
10.1007/11581741_18
10.1109/32.126769
10.1016/j.engappai.2013.11.012
10.1007/s11227-010-0383-5
10.1016/j.csi.2015.08.012
10.1109/MS.2009.92
10.1109/EURCON.2007.4400379
10.1007/978-3-642-77572-7_13
10.1109/DEPCOS-RELCOMEX.2006.21
10.1109/ECBS.2011.22
10.1007/s10664-011-9172-x
10.1109/TSE.1975.6312840
10.1145/337449.337466
10.1109/EDOC.2010.33
10.2298/CSIS121105044D
10.1016/S0096-0551(97)00005-2
10.1007/3-540-60299-2_27
10.1145/2048147.2048172
10.1142/S0218843014500051
ContentType Journal Article
Copyright 2015 Elsevier Ltd
Copyright_xml – notice: 2015 Elsevier Ltd
DBID AAYXX
CITATION
7SC
8FD
JQ2
L7M
L~C
L~D
DOI 10.1016/j.cl.2015.09.002
DatabaseName CrossRef
Computer and Information Systems Abstracts
Technology Research Database
ProQuest Computer Science Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
ProQuest Computer Science Collection
Computer and Information Systems Abstracts Professional
DatabaseTitleList Computer and Information Systems Abstracts
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1873-6866
EndPage 341
ExternalDocumentID 10_1016_j_cl_2015_09_002
S1477842415000627
GroupedDBID --K
--M
.DC
.~1
0R~
1B1
1~.
1~5
29F
4.4
457
4G.
5VS
7-5
71M
8P~
AACTN
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAXUO
AAYFN
ABBOA
ABMAC
ABXDB
ABYKQ
ACDAQ
ACGFS
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADJOM
ADMUD
AEBSH
AEKER
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHZHX
AIALX
AIEXJ
AIKHN
AITUG
AJBFU
AJOXV
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
AXJTR
BKOJK
BLXMC
EBS
EFJIC
EJD
EO8
EO9
EP2
EP3
FDB
FEDTE
FIRID
FNPLU
FYGXN
G-Q
GBLVA
GBOLZ
HVGLF
HZ~
IHE
J1W
KOM
M41
MO0
N9A
O-L
O9-
OAUVE
OZT
P-8
P-9
PC.
Q38
RIG
ROL
RPZ
SDF
SDG
SDP
SES
SEW
SPC
SSV
SSZ
T5K
TN5
XFK
YYM
~G-
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
AEIPS
AEUPX
AFPUW
AIGII
AIIUN
AKBMS
AKRWK
AKYEP
ANKPU
CITATION
EFKBS
~HD
7SC
8FD
JQ2
L7M
L~C
L~D
ID FETCH-LOGICAL-c327t-5a105151db1045d527e3653ac198339810901b4fe86f160c6a0124f7d3a7949c3
ISICitedReferencesCount 16
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000366778600007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1477-8424
IngestDate Thu Oct 02 12:03:53 EDT 2025
Tue Nov 18 21:46:44 EST 2025
Sat Nov 29 06:59:16 EST 2025
Fri Feb 23 02:17:32 EST 2024
IsPeerReviewed true
IsScholarly true
Keywords Code generation
Domain-specific Modeling Language
Constraint control
Metamodel
Concurrent programming
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c327t-5a105151db1045d527e3653ac198339810901b4fe86f160c6a0124f7d3a7949c3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ORCID 0000-0002-5436-6070
PQID 1786158700
PQPubID 23500
PageCount 23
ParticipantIDs proquest_miscellaneous_1786158700
crossref_citationtrail_10_1016_j_cl_2015_09_002
crossref_primary_10_1016_j_cl_2015_09_002
elsevier_sciencedirect_doi_10_1016_j_cl_2015_09_002
PublicationCentury 2000
PublicationDate December 2015
2015-12-00
20151201
PublicationDateYYYYMMDD 2015-12-01
PublicationDate_xml – month: 12
  year: 2015
  text: December 2015
PublicationDecade 2010
PublicationTitle Computer languages, systems & structures
PublicationYear 2015
Publisher Elsevier Ltd
Publisher_xml – name: Elsevier Ltd
References OpenMp Architecture Review Board. OpenMP C and C++ Application Program Interface, Version 1.0, Available online at: 〈www.openmp.org〉 [last accessed August 2015].
Bajwa IS, Bordbar B, Lee MG. OCL constraints generation from natural language specification. In: Proceedings of the 14th IEEE International enterprise distributed object computing conference; 2010. p. 1–10.
Taylor, Levine, Kelly (bib3) 1992; 18
Raistrick, Francis, Wright, Carter, Wilkie (bib17) 2004
Nosrati, Karimi (bib52) 2011; 1
Microsoft Corporation. Axum programming language. Available online at
Schmidt (bib4) 2006; 39
Sprinkle, Mernik, Tolvanen, Spinellis (bib6) 2009; 26
Typou T, Stefanids V, Michailidis P, Margaritis K. Implementing matrix multiplication on an cluster of workstation. In: Proceedings of the 1st International Conference from Scientific Computing to Computational Engineering (IC-SCCE). Athens, Greece; 8–10 September, 2004.
Kim, Weston, Hodgson, Lee (bib50) 2003; 50
Voelter M, Benz S, Dietrich C, Engelman B, Helander M, Kats L, et al. DSL Engineering, 558 p. Available online at: 〈http://dslbook.org〉; 2013.
Kosar, Mernik, Carver (bib66) 2012; 17
Mehmood, Haron, Akhtar, Javed (bib32) 2011; 14
Kahlaoui, Abran, Lefebvre (bib36) 2008; 13
Arora, Bangalore, Mernik (bib60) 2012; 62
Demirkol, Challenger, Getir, Kosar, Kardas, Mernik (bib12) 2013; 10
Clark T, Sammut P, Willans J. Applied meta modeling – a foundation for language driven development. Available online at
Hartly (bib1) 1998
Rose LM, Garcia-Dominguez A, Williams JR, Paige RF, Polack FA. Hello world with epsilon. iN: Proceedings of the 25th international conference on software engineering; 2011. p. 1–8.
Canneyt MV. Reference guide for Free Pascal, Version 2.6.4; 2014.
Mernik, Heering, Sloane (bib5) 2005; 37
Oliveira N, Joao M, Pereira V, Henriques PR, Cruz DD. Domain-specific languages: a theoretical survey, the 3rd compilers, programming languages, related technologies and applications (CoRTA2009). Lisbon, Portugal; 2009. p. 35–46.
Hansen (bib43) 1975; 2
Xpand documentation. Available online at
Wurmbrand S. Syntactic vs. semantic control. In: Proceedings of the 15th workshop on comparative Germanic syntax; 2001. p. 1-1-7.
Eck (bib38) 2011
Nugroho LE, Sajeev ASM. Java4P: Java with high-level concurrency constructs. In: Proceedings of the 4th international symposium on source; 1999. p. 1–6.
Rodrigues da Silva (bib65) 2015; 43
OpenMp Architecture Review Board. OpenMP FORTRAN Application Program Interface, Version 1.1. Available online at
Jacob, Gray, Carver, Mernik, Bangalore (bib57) 2012; 62
Challenger, Kardas, Tekinerdogan (bib69) 2015
[last accessed august 2015].
Kolovos D, Rose L, Domínguez AG, Paige R. The Epsilon Book. Available online at
Arora, Bangalore, Mernik (bib59) 2011; 56
David (bib53) 1983; 18
Cho H. A demonstration-based approach for designing domain-specific modeling languages. In: Proceedings of the 26th annual ACM SIGPLAN conference on Object-Oriented Programming, System, Language, and Application (OOPSLA 2011). Portland, OR, USA; 2011. p. 51–4.
Mernik, Žumer (bib8) 2005; 31
Baeten JCM, Bergstra JA. Process algebra with signals and conditions. In: Broy M, editors. Summer school on programming and mathematical methods, Mark Toberdorf, NATO ASI Series F88; 1991. p. 273–323.
Stallings (bib21) 2011
2013. 194 p.
Tolvanen JP, Kelly S. Defining domain-specific modeling languages to automate product derivation: collected experiences. In: Proceedings of the 9th international conference on Software Product Lines (SPLC 2005); 2005. p. 198–209.
Challenger, Mernik, Kardas, Kosar (bib68) 2015; 43
Phil W. Alef language reference manual. In: Proceedings of the Winter 1994 USENIX conference. San Francisco, CA, USA; 1994. p. 1–38.
Krystosik A. Embedded systems modeling language. In: Proceedings of the international conference on dependability of computer systems. Szklarska Poreba, Poland; May 25–27, 2006. p. 27–34.
Artho, Havelund, Honiden (bib49) 2007
Frankel (bib16) 2003
Yue, Gray (bib58) 2014; 2014
Hill JH. Measuring and reducing modeling effort in domain-specific modeling languages with examples. In: Proceedings of the 18th IEEE international conference and workshops on Engineering of Computer-Based Systems (ECBS 2011). Las Vegas, USA; 2011. p. 120–9.
Bull JM, Kambites ME. JOMP—an OpenMPlike interface for Java. In: Proceedings of the ACM conference on Java, Grande; 2000. p. 44–53.
Tang, You, Yu, Wang, Guo, Liu (bib20) 2012; 63
Järvinen HM,Tiusanen M, Virtanen AT. Convit, a tool for learning concurrent programming. In: Rossett A, editor. Proceedings of the world conference on E-learning in corporate, government, healthcare, and higher education; 2003. p. 2220–3.
Kelly, Tolvanen (bib10) 2008; 446
2008. 224 p.
Simonis H, Cornelissens T. Modelling producer/consumer constraints. In: Proceedings of the 1st international conference on principles and practice of constraint programming (CP׳95); 1995. p. 449–62.
Challenger, Demirkol, Getir, Mernik, Kardas, Kosar (bib14) 2014; 28
Azadi Marand E, Challenger M, Khalilpour V. A survey on the methods and tools for development of Domain-specific Modeling Languages (DSMLs). In: Proceedings of the national conference on electrical and computer engineering. Islamic Azad University, Sarvestan Branch, Iran; 27 February 2013. p. 1–6 (in Persian).
Oldevik J, Neple T, Grønmo R, Aagedal J, Berre AJ. Toward standardised model to text transformations. In: Proceedings of The European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA). Nuremberg, Germany; 2005. p. 1–15.
Hejlsberg, Wiltamuth, Golde (bib39) 2004
Krystosik A. Model checking in concurrent programming teaching. In: Proceedings of the international conference on computer as a tool; 2007. p. 2390–6.
Molloy MK. A CAD tool for stochastic Petri nets. In: Proceedings of the ACM Fall joint computer conference; 1986. p. 1082–91.
Getir, Challenger, Kardas (bib67) 2014; 23
Challenger, Getir, Demirkol, Kardas (bib11) 2011; 83
Azadi Marand, Azadi Marand, Challenger (bib19) 2014; 8
Saaltink, Michell (bib40) 1997
Mulhem, Ali (bib51) 1997; 23
Bergstra JA, Klop JW, Tucker JV. Process algebra with asynchronous communication mechanisms. In: Brookes SD, Roscoe AW, Winskel G, editors. Seminar on semantics of concurrency, Pittsburgh; 1985. p. 76–95.
Java Emitter Template (JET).
Xtext. Available online at: 〈https://eclipse.org/Xtext/〉 [last accessed August 2015].
Bailey (bib46) 2005
Saritas, Kardas (bib15) 2014; 40
Lea (bib2) 1992
Acceleo. Available online at
10.1016/j.cl.2015.09.002_bib47
10.1016/j.cl.2015.09.002_bib44
Taylor (10.1016/j.cl.2015.09.002_bib3) 1992; 18
10.1016/j.cl.2015.09.002_bib45
Yue (10.1016/j.cl.2015.09.002_bib58) 2014; 2014
10.1016/j.cl.2015.09.002_bib48
Saaltink (10.1016/j.cl.2015.09.002_bib40) 1997
Arora (10.1016/j.cl.2015.09.002_bib60) 2012; 62
Sprinkle (10.1016/j.cl.2015.09.002_bib6) 2009; 26
Challenger (10.1016/j.cl.2015.09.002_bib69) 2015
Arora (10.1016/j.cl.2015.09.002_bib59) 2011; 56
Kim (10.1016/j.cl.2015.09.002_bib50) 2003; 50
Challenger (10.1016/j.cl.2015.09.002_bib68) 2015; 43
Stallings (10.1016/j.cl.2015.09.002_bib21) 2011
Azadi Marand (10.1016/j.cl.2015.09.002_bib19) 2014; 8
Challenger (10.1016/j.cl.2015.09.002_bib14) 2014; 28
10.1016/j.cl.2015.09.002_bib42
Hartly (10.1016/j.cl.2015.09.002_bib1) 1998
10.1016/j.cl.2015.09.002_bib41
10.1016/j.cl.2015.09.002_bib35
Bailey (10.1016/j.cl.2015.09.002_bib46) 2005
10.1016/j.cl.2015.09.002_bib33
10.1016/j.cl.2015.09.002_bib9
10.1016/j.cl.2015.09.002_bib34
Getir (10.1016/j.cl.2015.09.002_bib67) 2014; 23
10.1016/j.cl.2015.09.002_bib37
Hejlsberg (10.1016/j.cl.2015.09.002_bib39) 2004
Schmidt (10.1016/j.cl.2015.09.002_bib4) 2006; 39
Tang (10.1016/j.cl.2015.09.002_bib20) 2012; 63
Jacob (10.1016/j.cl.2015.09.002_bib57) 2012; 62
10.1016/j.cl.2015.09.002_bib7
Mulhem (10.1016/j.cl.2015.09.002_bib51) 1997; 23
Raistrick (10.1016/j.cl.2015.09.002_bib17) 2004
Demirkol (10.1016/j.cl.2015.09.002_bib12) 2013; 10
Kosar (10.1016/j.cl.2015.09.002_bib66) 2012; 17
10.1016/j.cl.2015.09.002_bib31
10.1016/j.cl.2015.09.002_bib30
10.1016/j.cl.2015.09.002_bib24
10.1016/j.cl.2015.09.002_bib25
10.1016/j.cl.2015.09.002_bib22
10.1016/j.cl.2015.09.002_bib23
Mernik (10.1016/j.cl.2015.09.002_bib5) 2005; 37
10.1016/j.cl.2015.09.002_bib28
Mehmood (10.1016/j.cl.2015.09.002_bib32) 2011; 14
Kelly (10.1016/j.cl.2015.09.002_bib10) 2008; 446
10.1016/j.cl.2015.09.002_bib29
10.1016/j.cl.2015.09.002_bib26
Nosrati (10.1016/j.cl.2015.09.002_bib52) 2011; 1
10.1016/j.cl.2015.09.002_bib27
Kahlaoui (10.1016/j.cl.2015.09.002_bib36) 2008; 13
Hansen (10.1016/j.cl.2015.09.002_bib43) 1975; 2
Frankel (10.1016/j.cl.2015.09.002_bib16) 2003
10.1016/j.cl.2015.09.002_bib61
Eck (10.1016/j.cl.2015.09.002_bib38) 2011
10.1016/j.cl.2015.09.002_bib64
10.1016/j.cl.2015.09.002_bib62
10.1016/j.cl.2015.09.002_bib63
10.1016/j.cl.2015.09.002_bib13
Saritas (10.1016/j.cl.2015.09.002_bib15) 2014; 40
10.1016/j.cl.2015.09.002_bib55
10.1016/j.cl.2015.09.002_bib56
10.1016/j.cl.2015.09.002_bib18
Lea (10.1016/j.cl.2015.09.002_bib2) 1992
David (10.1016/j.cl.2015.09.002_bib53) 1983; 18
Mernik (10.1016/j.cl.2015.09.002_bib8) 2005; 31
Rodrigues da Silva (10.1016/j.cl.2015.09.002_bib65) 2015; 43
10.1016/j.cl.2015.09.002_bib54
Artho (10.1016/j.cl.2015.09.002_bib49) 2007
Challenger (10.1016/j.cl.2015.09.002_bib11) 2011; 83
References_xml – reference: Typou T, Stefanids V, Michailidis P, Margaritis K. Implementing matrix multiplication on an cluster of workstation. In: Proceedings of the 1st International Conference from Scientific Computing to Computational Engineering (IC-SCCE). Athens, Greece; 8–10 September, 2004.
– volume: 23
  start-page: 1
  year: 2014
  end-page: 53
  ident: bib67
  article-title: The formal semantics of a domain-specific modeling language for semantic web enabled multi-agent systems
  publication-title: Int J Cooperative Inf Syst
– volume: 39
  start-page: 25
  year: 2006
  end-page: 31
  ident: bib4
  article-title: Guest Editor introduction: model-driven engineering
  publication-title: IEEE Comput
– year: 2003
  ident: bib16
  article-title: Model driven architecture: applying MDA to enterprise computing
– reference: Bull JM, Kambites ME. JOMP—an OpenMPlike interface for Java. In: Proceedings of the ACM conference on Java, Grande; 2000. p. 44–53.
– reference: Tolvanen JP, Kelly S. Defining domain-specific modeling languages to automate product derivation: collected experiences. In: Proceedings of the 9th international conference on Software Product Lines (SPLC 2005); 2005. p. 198–209.
– year: 2011
  ident: bib38
  article-title: Introduction to programming using Java
– reference: Molloy MK. A CAD tool for stochastic Petri nets. In: Proceedings of the ACM Fall joint computer conference; 1986. p. 1082–91.
– volume: 446
  year: 2008
  ident: bib10
  article-title: Domain-specific modeling, enabling full code generation
  publication-title: IEEE Comput Soc Publ
– reference: Oldevik J, Neple T, Grønmo R, Aagedal J, Berre AJ. Toward standardised model to text transformations. In: Proceedings of The European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA). Nuremberg, Germany; 2005. p. 1–15.
– volume: 8
  start-page: 1271
  year: 2014
  end-page: 1275
  ident: bib19
  article-title: A textual tool for concurrent programming
  publication-title: Int Res J Appl Basic Sci
– year: 1997
  ident: bib40
  article-title: Ada 95 trustworthiness study: analysis of Ada 95 for critical systems
– reference: OpenMp Architecture Review Board. OpenMP C and C++ Application Program Interface, Version 1.0, Available online at: 〈www.openmp.org〉 [last accessed August 2015].
– volume: 43
  start-page: 139
  year: 2015
  end-page: 155
  ident: bib65
  article-title: Model-driven engineering: a survey supported by the unified conceptual model
  publication-title: Comput Lang Syst Struct
– volume: 56
  start-page: 227
  year: 2011
  end-page: 255
  ident: bib59
  article-title: A technique for non-invasive application-level check pointing
  publication-title: J Supercomput
– reference: Java Emitter Template (JET).
– reference: Simonis H, Cornelissens T. Modelling producer/consumer constraints. In: Proceedings of the 1st international conference on principles and practice of constraint programming (CP׳95); 1995. p. 449–62.
– volume: 37
  start-page: 316
  year: 2005
  end-page: 344
  ident: bib5
  article-title: When and how to develop domain-specific languages
  publication-title: ACM Comput Surv
– reference: Järvinen HM,Tiusanen M, Virtanen AT. Convit, a tool for learning concurrent programming. In: Rossett A, editor. Proceedings of the world conference on E-learning in corporate, government, healthcare, and higher education; 2003. p. 2220–3.
– reference: Krystosik A. Embedded systems modeling language. In: Proceedings of the international conference on dependability of computer systems. Szklarska Poreba, Poland; May 25–27, 2006. p. 27–34.
– volume: 63
  start-page: 458
  year: 2012
  end-page: 468
  ident: bib20
  article-title: An efficient deadlock prevention approach for service oriented transaction processing
  publication-title: Comput Math Appl
– year: 2005
  ident: bib46
  article-title: An Introduction to the C programming language and software design
– reference: ; 2008. 224 p.
– reference: Hill JH. Measuring and reducing modeling effort in domain-specific modeling languages with examples. In: Proceedings of the 18th IEEE international conference and workshops on Engineering of Computer-Based Systems (ECBS 2011). Las Vegas, USA; 2011. p. 120–9.
– year: 2004
  ident: bib17
  article-title: Model driven architecture with executable UML
– reference: Krystosik A. Model checking in concurrent programming teaching. In: Proceedings of the international conference on computer as a tool; 2007. p. 2390–6.
– reference: [last accessed august 2015].
– reference: Cho H. A demonstration-based approach for designing domain-specific modeling languages. In: Proceedings of the 26th annual ACM SIGPLAN conference on Object-Oriented Programming, System, Language, and Application (OOPSLA 2011). Portland, OR, USA; 2011. p. 51–4.
– volume: 2
  start-page: 199
  year: 1975
  end-page: 207
  ident: bib43
  article-title: The programming language concurrent Pascal
  publication-title: IEEE Trans Softw Eng
– volume: 62
  start-page: 1583
  year: 2012
  end-page: 1608
  ident: bib60
  article-title: Tools and techniques for non-invasive explicit parallelization
  publication-title: J Supercomput
– reference: Phil W. Alef language reference manual. In: Proceedings of the Winter 1994 USENIX conference. San Francisco, CA, USA; 1994. p. 1–38.
– volume: 18
  start-page: 206
  year: 1992
  end-page: 215
  ident: bib3
  article-title: Structural testing of concurrent programs
  publication-title: IEEE Trans Softw Eng
– volume: 83
  start-page: 177
  year: 2011
  end-page: 186
  ident: bib11
  article-title: , A domain specific metamodel for semantic web enabled multi-agent systems
  publication-title: Lect Notes Bus Inf Process (LNBIP)
– volume: 26
  start-page: 15
  year: 2009
  end-page: 18
  ident: bib6
  article-title: Guest Editors׳ introduction: What kinds of nails need a domain-specific hammer?
  publication-title: IEEE Softw
– reference: Canneyt MV. Reference guide for Free Pascal, Version 2.6.4; 2014.
– reference: Bergstra JA, Klop JW, Tucker JV. Process algebra with asynchronous communication mechanisms. In: Brookes SD, Roscoe AW, Winskel G, editors. Seminar on semantics of concurrency, Pittsburgh; 1985. p. 76–95.
– volume: 31
  start-page: 1
  year: 2005
  end-page: 16
  ident: bib8
  article-title: Incremental programming language development
  publication-title: Comput Lang Syst Struct
– reference: Wurmbrand S. Syntactic vs. semantic control. In: Proceedings of the 15th workshop on comparative Germanic syntax; 2001. p. 1-1-7.
– reference: Xpand documentation. Available online at:
– volume: 28
  start-page: 111
  year: 2014
  end-page: 141
  ident: bib14
  article-title: On the use of a domain-specific modeling language in the development of multi-agent systems
  publication-title: Eng Appl Artif Intell
– volume: 43
  start-page: 91
  year: 2015
  end-page: 115
  ident: bib68
  article-title: Declarative specifications for the development of multi-agent systems
  publication-title: Comput Stand Interfaces
– reference: Voelter M, Benz S, Dietrich C, Engelman B, Helander M, Kats L, et al. DSL Engineering, 558 p. Available online at: 〈http://dslbook.org〉; 2013.
– reference: Baeten JCM, Bergstra JA. Process algebra with signals and conditions. In: Broy M, editors. Summer school on programming and mathematical methods, Mark Toberdorf, NATO ASI Series F88; 1991. p. 273–323.
– year: 1992
  ident: bib2
  article-title: Concurrent programming in Java: design principles and pattern
– year: 2004
  ident: bib39
  article-title: The C# programming language
– volume: 13
  start-page: 43
  year: 2008
  end-page: 51
  ident: bib36
  article-title: DSML success factors and their assessment criteria
  publication-title: Metrics News
– volume: 17
  start-page: 276
  year: 2012
  end-page: 304
  ident: bib66
  article-title: Program comprehension of domain-specific and general-purpose languages: comparison using a family of experiments
  publication-title: Empir Softw Eng
– reference: Kolovos D, Rose L, Domínguez AG, Paige R. The Epsilon Book. Available online at:
– year: 1998
  ident: bib1
  article-title: Concurrent programming: the Java programming language
– reference: Azadi Marand E, Challenger M, Khalilpour V. A survey on the methods and tools for development of Domain-specific Modeling Languages (DSMLs). In: Proceedings of the national conference on electrical and computer engineering. Islamic Azad University, Sarvestan Branch, Iran; 27 February 2013. p. 1–6 (in Persian).
– year: 2011
  ident: bib21
  article-title: Operating systems internals and design principles
– volume: 2014
  year: 2014
  ident: bib58
  article-title: SPOT: A DSL for Extending Fortran Programs with Metaprogramming
  publication-title: Adv Softw Eng
– volume: 40
  start-page: 53
  year: 2014
  end-page: 72
  ident: bib15
  article-title: A model driven architecture for the development of smart card software
  publication-title: Comput Lang Syst Struct
– reference: ; 2013. 194 p.
– reference: Acceleo. Available online at:
– reference: OpenMp Architecture Review Board. OpenMP FORTRAN Application Program Interface, Version 1.1. Available online at:
– reference: Microsoft Corporation. Axum programming language. Available online at:
– start-page: 1
  year: 2007
  end-page: 6
  ident: bib49
  article-title: Visualization of concurrent program traces
– year: 2015
  ident: bib69
  article-title: A Systematic approach on evaluating domain-specific modeling language environments for multi-agent systems
  publication-title: Softw Qual J
– reference: Xtext. Available online at: 〈https://eclipse.org/Xtext/〉 [last accessed August 2015].
– volume: 10
  start-page: 1525
  year: 2013
  end-page: 1556
  ident: bib12
  article-title: A DSL for the development of software agents working in the semantic web environment
  publication-title: Comput Sci Inf Syst
– volume: 62
  start-page: 1560
  year: 2012
  end-page: 1582
  ident: bib57
  article-title: PPModel: a modeling tool for source code maintenance and optimization of parallel programs
  publication-title: J Supercomput
– reference: Clark T, Sammut P, Willans J. Applied meta modeling – a foundation for language driven development. Available online at:
– volume: 1
  start-page: 85
  year: 2011
  end-page: 88
  ident: bib52
  article-title: Occam: a primary parallel programming language
  publication-title: World Appl Program
– volume: 23
  start-page: 1
  year: 1997
  end-page: 24
  ident: bib51
  article-title: Visual Occam: syntax and semantics
  publication-title: Comput Lang
– volume: 14
  start-page: 1
  year: 2011
  end-page: 6
  ident: bib32
  article-title: Implementation and experimentation of producer–consumer synchronization problem
  publication-title: Int J Comput Appl
– reference: Nugroho LE, Sajeev ASM. Java4P: Java with high-level concurrency constructs. In: Proceedings of the 4th international symposium on source; 1999. p. 1–6.
– reference: Bajwa IS, Bordbar B, Lee MG. OCL constraints generation from natural language specification. In: Proceedings of the 14th IEEE International enterprise distributed object computing conference; 2010. p. 1–10.
– reference: Rose LM, Garcia-Dominguez A, Williams JR, Paige RF, Polack FA. Hello world with epsilon. iN: Proceedings of the 25th international conference on software engineering; 2011. p. 1–8.
– reference: Oliveira N, Joao M, Pereira V, Henriques PR, Cruz DD. Domain-specific languages: a theoretical survey, the 3rd compilers, programming languages, related technologies and applications (CoRTA2009). Lisbon, Portugal; 2009. p. 35–46.
– volume: 50
  start-page: 35
  year: 2003
  end-page: 56
  ident: bib50
  article-title: The complementary use of IDEF and UML modelling approaches
  publication-title: Comput Ind
– volume: 18
  start-page: 69
  year: 1983
  end-page: 79
  ident: bib53
  article-title: Occam
  publication-title: J ACM Trans Program Lang Syst
– year: 1997
  ident: 10.1016/j.cl.2015.09.002_bib40
– year: 2004
  ident: 10.1016/j.cl.2015.09.002_bib17
– ident: 10.1016/j.cl.2015.09.002_bib56
  doi: 10.1007/3-540-15670-4_4
– ident: 10.1016/j.cl.2015.09.002_bib44
– volume: 39
  start-page: 25
  issue: 2
  year: 2006
  ident: 10.1016/j.cl.2015.09.002_bib4
  article-title: Guest Editor introduction: model-driven engineering
  publication-title: IEEE Comput
  doi: 10.1109/MC.2006.58
– volume: 63
  start-page: 458
  issue: 2
  year: 2012
  ident: 10.1016/j.cl.2015.09.002_bib20
  article-title: An efficient deadlock prevention approach for service oriented transaction processing
  publication-title: Comput Math Appl
  doi: 10.1016/j.camwa.2011.07.063
– volume: 18
  start-page: 69
  issue: 4
  year: 1983
  ident: 10.1016/j.cl.2015.09.002_bib53
  article-title: Occam
  publication-title: J ACM Trans Program Lang Syst
– ident: 10.1016/j.cl.2015.09.002_bib34
– volume: 43
  start-page: 139
  year: 2015
  ident: 10.1016/j.cl.2015.09.002_bib65
  article-title: Model-driven engineering: a survey supported by the unified conceptual model
  publication-title: Comput Lang Syst Struct
– ident: 10.1016/j.cl.2015.09.002_bib41
– volume: 62
  start-page: 1560
  year: 2012
  ident: 10.1016/j.cl.2015.09.002_bib57
  article-title: PPModel: a modeling tool for source code maintenance and optimization of parallel programs
  publication-title: J Supercomput
  doi: 10.1007/s11227-012-0821-7
– ident: 10.1016/j.cl.2015.09.002_bib7
– ident: 10.1016/j.cl.2015.09.002_bib45
– volume: 50
  start-page: 35
  issue: 1
  year: 2003
  ident: 10.1016/j.cl.2015.09.002_bib50
  article-title: The complementary use of IDEF and UML modelling approaches
  publication-title: Comput Ind
  doi: 10.1016/S0166-3615(02)00145-8
– ident: 10.1016/j.cl.2015.09.002_bib24
– volume: 37
  start-page: 316
  issue: 4
  year: 2005
  ident: 10.1016/j.cl.2015.09.002_bib5
  article-title: When and how to develop domain-specific languages
  publication-title: ACM Comput Surv
  doi: 10.1145/1118890.1118892
– ident: 10.1016/j.cl.2015.09.002_bib18
– volume: 8
  start-page: 1271
  issue: 9
  year: 2014
  ident: 10.1016/j.cl.2015.09.002_bib19
  article-title: A textual tool for concurrent programming
  publication-title: Int Res J Appl Basic Sci
– ident: 10.1016/j.cl.2015.09.002_bib35
  doi: 10.1007/11554844_22
– volume: 62
  start-page: 1583
  year: 2012
  ident: 10.1016/j.cl.2015.09.002_bib60
  article-title: Tools and techniques for non-invasive explicit parallelization
  publication-title: J Supercomput
  doi: 10.1007/s11227-012-0822-6
– year: 2015
  ident: 10.1016/j.cl.2015.09.002_bib69
  article-title: A Systematic approach on evaluating domain-specific modeling language environments for multi-agent systems
  publication-title: Softw Qual J
– ident: 10.1016/j.cl.2015.09.002_bib28
  doi: 10.1007/11581741_18
– year: 2005
  ident: 10.1016/j.cl.2015.09.002_bib46
– ident: 10.1016/j.cl.2015.09.002_bib31
– ident: 10.1016/j.cl.2015.09.002_bib29
– ident: 10.1016/j.cl.2015.09.002_bib63
– volume: 18
  start-page: 206
  issue: 3
  year: 1992
  ident: 10.1016/j.cl.2015.09.002_bib3
  article-title: Structural testing of concurrent programs
  publication-title: IEEE Trans Softw Eng
  doi: 10.1109/32.126769
– year: 1998
  ident: 10.1016/j.cl.2015.09.002_bib1
– ident: 10.1016/j.cl.2015.09.002_bib25
– volume: 83
  start-page: 177
  year: 2011
  ident: 10.1016/j.cl.2015.09.002_bib11
  article-title: , A domain specific metamodel for semantic web enabled multi-agent systems
  publication-title: Lect Notes Bus Inf Process (LNBIP)
– year: 2011
  ident: 10.1016/j.cl.2015.09.002_bib21
– volume: 28
  start-page: 111
  year: 2014
  ident: 10.1016/j.cl.2015.09.002_bib14
  article-title: On the use of a domain-specific modeling language in the development of multi-agent systems
  publication-title: Eng Appl Artif Intell
  doi: 10.1016/j.engappai.2013.11.012
– volume: 56
  start-page: 227
  year: 2011
  ident: 10.1016/j.cl.2015.09.002_bib59
  article-title: A technique for non-invasive application-level check pointing
  publication-title: J Supercomput
  doi: 10.1007/s11227-010-0383-5
– volume: 43
  start-page: 91
  year: 2015
  ident: 10.1016/j.cl.2015.09.002_bib68
  article-title: Declarative specifications for the development of multi-agent systems
  publication-title: Comput Stand Interfaces
  doi: 10.1016/j.csi.2015.08.012
– ident: 10.1016/j.cl.2015.09.002_bib23
– volume: 26
  start-page: 15
  year: 2009
  ident: 10.1016/j.cl.2015.09.002_bib6
  article-title: Guest Editors׳ introduction: What kinds of nails need a domain-specific hammer?
  publication-title: IEEE Softw
  doi: 10.1109/MS.2009.92
– year: 1992
  ident: 10.1016/j.cl.2015.09.002_bib2
– ident: 10.1016/j.cl.2015.09.002_bib42
– year: 2011
  ident: 10.1016/j.cl.2015.09.002_bib38
– ident: 10.1016/j.cl.2015.09.002_bib13
– ident: 10.1016/j.cl.2015.09.002_bib47
  doi: 10.1109/EURCON.2007.4400379
– ident: 10.1016/j.cl.2015.09.002_bib55
  doi: 10.1007/978-3-642-77572-7_13
– ident: 10.1016/j.cl.2015.09.002_bib48
  doi: 10.1109/DEPCOS-RELCOMEX.2006.21
– ident: 10.1016/j.cl.2015.09.002_bib9
  doi: 10.1109/ECBS.2011.22
– volume: 17
  start-page: 276
  issue: 3
  year: 2012
  ident: 10.1016/j.cl.2015.09.002_bib66
  article-title: Program comprehension of domain-specific and general-purpose languages: comparison using a family of experiments
  publication-title: Empir Softw Eng
  doi: 10.1007/s10664-011-9172-x
– volume: 31
  start-page: 1
  issue: 1
  year: 2005
  ident: 10.1016/j.cl.2015.09.002_bib8
  article-title: Incremental programming language development
  publication-title: Comput Lang Syst Struct
– volume: 2014
  issue: 917327
  year: 2014
  ident: 10.1016/j.cl.2015.09.002_bib58
  article-title: SPOT: A DSL for Extending Fortran Programs with Metaprogramming
  publication-title: Adv Softw Eng
– ident: 10.1016/j.cl.2015.09.002_bib62
– volume: 2
  start-page: 199
  year: 1975
  ident: 10.1016/j.cl.2015.09.002_bib43
  article-title: The programming language concurrent Pascal
  publication-title: IEEE Trans Softw Eng
  doi: 10.1109/TSE.1975.6312840
– volume: 14
  start-page: 1
  issue: 3
  year: 2011
  ident: 10.1016/j.cl.2015.09.002_bib32
  article-title: Implementation and experimentation of producer–consumer synchronization problem
  publication-title: Int J Comput Appl
– ident: 10.1016/j.cl.2015.09.002_bib61
  doi: 10.1145/337449.337466
– volume: 446
  year: 2008
  ident: 10.1016/j.cl.2015.09.002_bib10
  article-title: Domain-specific modeling, enabling full code generation
  publication-title: IEEE Comput Soc Publ
– ident: 10.1016/j.cl.2015.09.002_bib26
  doi: 10.1109/EDOC.2010.33
– volume: 13
  start-page: 43
  issue: 1
  year: 2008
  ident: 10.1016/j.cl.2015.09.002_bib36
  article-title: DSML success factors and their assessment criteria
  publication-title: Metrics News
– ident: 10.1016/j.cl.2015.09.002_bib22
– ident: 10.1016/j.cl.2015.09.002_bib64
– start-page: 1
  year: 2007
  ident: 10.1016/j.cl.2015.09.002_bib49
– volume: 10
  start-page: 1525
  issue: 4
  year: 2013
  ident: 10.1016/j.cl.2015.09.002_bib12
  article-title: A DSL for the development of software agents working in the semantic web environment
  publication-title: Comput Sci Inf Syst
  doi: 10.2298/CSIS121105044D
– ident: 10.1016/j.cl.2015.09.002_bib30
– volume: 23
  start-page: 1
  year: 1997
  ident: 10.1016/j.cl.2015.09.002_bib51
  article-title: Visual Occam: syntax and semantics
  publication-title: Comput Lang
  doi: 10.1016/S0096-0551(97)00005-2
– year: 2003
  ident: 10.1016/j.cl.2015.09.002_bib16
– year: 2004
  ident: 10.1016/j.cl.2015.09.002_bib39
– volume: 40
  start-page: 53
  issue: 2
  year: 2014
  ident: 10.1016/j.cl.2015.09.002_bib15
  article-title: A model driven architecture for the development of smart card software
  publication-title: Comput Lang Syst Struct
– ident: 10.1016/j.cl.2015.09.002_bib33
  doi: 10.1007/3-540-60299-2_27
– ident: 10.1016/j.cl.2015.09.002_bib37
  doi: 10.1145/2048147.2048172
– ident: 10.1016/j.cl.2015.09.002_bib54
– ident: 10.1016/j.cl.2015.09.002_bib27
– volume: 23
  start-page: 1
  issue: 3
  year: 2014
  ident: 10.1016/j.cl.2015.09.002_bib67
  article-title: The formal semantics of a domain-specific modeling language for semantic web enabled multi-agent systems
  publication-title: Int J Cooperative Inf Syst
  doi: 10.1142/S0218843014500051
– volume: 1
  start-page: 85
  issue: 1
  year: 2011
  ident: 10.1016/j.cl.2015.09.002_bib52
  article-title: Occam: a primary parallel programming language
  publication-title: World Appl Program
SSID ssj0020845
Score 2.0853426
Snippet Nowadays, concurrent programs are an inevitable part of many software applications. They can increase the computation performance of the applications by...
SourceID proquest
crossref
elsevier
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 319
SubjectTerms Code generation
Computation
Computer programs
Concurrent programming
Constraint control
Domain-specific Modeling Language
Metamodel
Metamodels
Programming
Programming languages
Software
Transformations
Title DSML4CP: A Domain-specific Modeling Language for Concurrent Programming
URI https://dx.doi.org/10.1016/j.cl.2015.09.002
https://www.proquest.com/docview/1786158700
Volume 44
WOSCitedRecordID wos000366778600007&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: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  customDbUrl:
  eissn: 1873-6866
  dateEnd: 20181231
  omitProxy: false
  ssIdentifier: ssj0020845
  issn: 1477-8424
  databaseCode: AIEXJ
  dateStart: 20020401
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1ba9swFBZZu4e97D7a3fBgL3twZ1myLnsLaXajLYF2kDcjKwppSeyStKXsD-xv7-hmZxkt22AvIsixLXQ-n3MkfecchN5iahjYBZ3SSnNopEiFkTxVuqgmSglGM-2KTfCjIzEey1Gv9yPGwlzNeV2L62t5_l9FDX0gbBs6-xfibh8KHfAbhA4tiB3aPxL8_vHhAR2MfMj5frOApX9q4yktJ8iVPnMB6Adhn9LRDAdNrUOeppHnay2iRYtJDELxh3Z_04nfp4FeOfj4RLSXy46T2P-uJqc2GChwJ4dzNTOzm6_O1GKNbOBLvDg8HTYztVyGq2GHAhcbbI82dKbjKVlNSzmYR-oDqPeM7xOcpEz4MixRPVO6pl9J0K_eVBOfM-s3K-A3JM72tD1bwoVLZJvlncVreYjHdhR2ENjWhWA5v4O2c15I0PDb_S_D8dd27Z4JV--6HXU48fZUwV_fc5OHs2HrnQNz8hDdDyuPpO8R8wj1TP0YPYiCTYKSf4I-BQB9SPrJBnySCJ8kwicB-CQdfJI1-DxF3z4OTwaf01BuI9Uk5xdpobAt-IMnFSzRi0mRc0NYQZTGUhAihaXw4opOjWBTzDLNFDg3dMonRIFSl5o8Q1t1U5sdlGCJlcKSEs4zqhipCo01E9jAU03OyC56H6eo1CEXvS2JMi8j6fCs1PPSTmqZyRImdRe9a-8493lYbvkvibNeBj_S-4clAOSWu95EAZWgYu25mapNc7kqMRfg94Nhy57_05NfoHvdZ_ESbcH3aF6hu_rq4nS1fB2Q9hPoyJz3
linkProvider Elsevier
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=DSML4CP%3A+A+Domain-specific+Modeling+Language+for+Concurrent+Programming&rft.jtitle=Computer+languages%2C+systems+%26+structures&rft.au=Azadi+Marand%2C+Elaheh&rft.au=Azadi+Marand%2C+Elham&rft.au=Challenger%2C+Moharram&rft.date=2015-12-01&rft.pub=Elsevier+Ltd&rft.issn=1477-8424&rft.eissn=1873-6866&rft.volume=44&rft.spage=319&rft.epage=341&rft_id=info:doi/10.1016%2Fj.cl.2015.09.002&rft.externalDocID=S1477842415000627
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1477-8424&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1477-8424&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1477-8424&client=summon