skip to main content
10.1145/3652620.3688348acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article
Open access

Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design

Published: 31 October 2024 Publication History

Abstract

Cyber-Physical Systems (CPS) integrate computational algorithms and physical components, requiring sophisticated modelling techniques to address complex interactions and dynamics. This paper explores the creation of Domain-Specific Languages (DSLs) tailored for CPS, focusing on the initial three critical phases: decision, analysis, design. We present four key aspects to address in the decision phase, design an ontology as a domain model for the analysis phase, and collect some advice for the design phase. By systematically addressing these phases, we provide a comprehensive framework for developing DSLs that can efficiently model CPS, facilitating improved design, verification, and deployment of these intricate systems.

References

[1]
Mohamed Anis Aguida, Samir Ouchani, and Mourad Benmalek. 2020. A Review on Cyber-Physical Systems: Models and Architectures. In Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE). IEEE, 275--278.
[2]
Syed Hassan Ahmed, Gwanghyeon Kim, and Dongkyun Kim. 2013. Cyber Physical System: Architecture, applications and research challenges. In 2013 IFIP Wireless Days (WD). IEEE, 1--5.
[3]
João Paulo A. Almeida, Giancarlo Guizzardi, Tiago Prince Sales, and Ricardo A. Falbo. 2019. gUFO: A Lightweight Implementation of the Unified Foundational Ontology (UFO). http://purl.org/nemo/doc/gufo.
[4]
Marco Antoniotti and Aleks Göllü. 1997. SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation. In Proceedings of the Conference on Domain-Specific Languages (DSL). USENIX Association, Santa Barbara, CA, USA, 171--182. https://www.usenix.org/conference/dsl-97/shift-and-smart-ahs-language-hybrid-system-engineering-modeling-and-simulation
[5]
Peter J. Ashenden. 2008. Digital Design (Verilog): An Embedded Systems Approach Using Verilog. Elsevier Science.
[6]
Colin Atkinson and Thomas Kühne. 2008. Reducing Accidental Complexity in Domain Models. Journal of Software & Systems Modeling 7, 3 (01 Jul 2008), 345--359.
[7]
Anya Helene Bagge and Vadim Zaytsev. 2015. Languages, Models and Megamodels: A Tutorial. In Post-proceedings of the Seventh Seminar in Series on Advanced Techniques and Tools for Software Evolution (SATToSE 2014) (CEUR Workshop Proceedings, Vol. 1354), Davide Di Ruscio and Vadim Zaytsev (Eds.). CEUR-WS.org, 132--143. http://ceur-ws.org/Vol-1354/paper-12.pdf
[8]
John Baillieul and Panos J. Antsaklis. 2007. Control and Communication Challenges in Networked Real-Time Systems. Proc. IEEE 95, 1 (2007), 9--28.
[9]
Leonardo Barbini, Carmen Bratosin, and Thomas Nägele. 2021. Embedding Diagnosability of Complex Industrial Systems Into the Design Process Using a Model-Based Methodology. In PHM Society European Conference, Vol. 6:1. PHM Society, 9.
[10]
Anup Barve. 2005. Model-Based Diagnosis --- An ASML Case Study. Master's thesis. Delft University of Technology, The Netherlands. https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=6435e31cee1b1a7c4b1d481abc5fd8a41e27c51f
[11]
Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1996. UPPAAL --- A Tool Suite for Automatic Verification of Real-Time Systems. In Hybrid Systems III, Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag (Eds.). Springer, Berlin, Heidelberg, 232--243.
[12]
Freek van den Berg, Vahid Garousi, Bedir Tekinerdogan, and Boudewijn R. Haverkort. 2018. Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support. In Proceedings of the 13th Annual Conference on System of Systems Engineering (SoSE) (Paris, France). IEEE, 225--232.
[13]
Jean Bézivin, Frédéric Jouault, and Patrick Valduriez. 2004. On the Need for Megamodels. In OOPSLA & GPCE, Workshop on best MDSD practices. 9 pages.
[14]
M. Bodenbenner, M. P. Sanders, B. Montavon, and R. H. Schmitt. 2021. Domain-Specific Language for Sensors in the Internet of Production. In Production at the Leading Edge of Technology, Bernd-Arno Behrens, Alexander Brosius, Wolfgang Hintze, Steffen Ihlenfeldt, and Jens Peter Wulfsberg (Eds.). Springer, Berlin, Heidelberg, 448--456.
[15]
Raja Boujbel, Sam Rottenberg, Sébastien Leriche, Chantal Taconet, Jean-Paul Arcangeli, and Claire Lecocq. 2014. MuScADeL: A Deployment DSL Based on a Multiscale Characterization Framework. In Proceedings of the 38th IEEE International Computer Software and Applications Conference Workshops. IEEE, 708--715.
[16]
Mark van den Brand. 2023. A Personal Retrospective on Language Workbenches. Journal of Software and System Modeling 22, 3 (2023), 847--850.
[17]
David Broman, Patricia Derler, and John Eidson. 2013. Temporal Issues in Cyber-Physical Systems. Journal of Indian Institute of Science 93, 3 (2013), 389--402. http://chess.eecs.berkeley.edu/pubs/997.html
[18]
David Broman, Edward A. Lee, Stavros Tripakis, and Martin Törngren. 2012. Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems. In Proceedings of the Sixth International Workshop on Multi-Paradigm Modeling (Innsbruck, Austria) (MPM). ACM, New York, NY, USA, 49--54.
[19]
Varun Chandola, Arindam Banerjee, and Vipin Kumar. 2009. Anomaly Detection: A Survey. Comput. Surveys 41, 3, Article 15 (July 2009), 58 pages.
[20]
Saurabh Chauhan, Pankesh Patel, Flávia C. Delicato, and Sanjay Chaudhary. 2016. A Development Framework for Programming Cyber-Physical Systems. In Proceedings of the Second International Workshop on Software Engineering for Smart Cyber-Physical Systems (Austin, Texas) (SEsCPS). ACM, New York, NY, USA, 47--53.
[21]
Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Fiona Hayes, and Paul Jeremaes. 1994. Object-Oriented Development: The Fusion Method. Prentice Hall.
[22]
Benoît Combemale, Robert W. France, Jean-Marc Jézéquel, Bernhard Rumpe, Jim Steel, and Didier Vojtisek. 2016. Engineering Modeling Languages: Turning Domain Knowledge into Tools. CRC Press.
[23]
Patricia Derler, Edward A. Lee, and Alberto Sangiovanni Vincentelli. 2012. Modeling Cyber-Physical Systems. Proc. IEEE 100, 1 (2012), 13--28.
[24]
Sebastian Erdweg, Tijs van der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D. P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido Wachsmuth, and Jimi van der Woning. 2015. Evaluating and Comparing Language Workbenches: Existing Results and Benchmarks for the Future. Computer Languages, Systems and Structures 44 (2015), 24--47.
[25]
Martin Fowler. 2005. Language Workbenches: The Killer-App for Domain Specific Languages? MartinFowler.com. https://martinfowler.com/articles/languageWorkbench.html
[26]
Martin Fowler and Rebecca Parsons. 2007. Domain-Specific Languages. Addison-Wesley Professional.
[27]
Claude Girault and Rüdiger Valk. 2003. Petri Nets for Systems Engineering --- A Guide to Modeling, Verification, and Applications. Springer.
[28]
Arda Goknil and Marie-Agnès Peraldi-Frati. 2012. A DSL for Specifying Timing Requirements. In Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE). IEEE, 49--57.
[29]
Boryana Goncharenko and Vadim Zaytsev. 2016. Language Design and Implementation for the Domain of Coding Conventions. In Proceedings of the Ninth International Conference on Software Language Engineering (SLE), Tijs van der Storm, Emilie Balland, and Dániel Varró (Eds.). ACM, 90--104.
[30]
Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, and Ahmed Hadj Kacem. 2020. A Comprehensive Survey on Modeling of Cyber-Physical Systems. Concurrency and Computation: Practice and Experience 32, 15 (2020), e4850.
[31]
Jeff Gray and Gabor Karsai. 2003. An Examination of DSLs for Concisely Representing Model Traversals and Transformations. In Proceedings of the 36th Annual Hawaii International Conference on System Sciences. IEEE, 10 pages.
[32]
Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, and Muck van Weerdenburg. 2006. The Formal Specification Language mCRL2. In Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 (Dagstuhl Seminar Proceedings, Vol. 06351), Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel J. Wieringa (Eds.). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 1--34. http://drops.dagstuhl.de/opus/volltexte/2007/862
[33]
Chunlin Guan, Yi Ao, Dehui Du, and Frédéric Mallet. 2018. xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 683--687.
[34]
Nicola Guarino. 1995. Formal Ontology, Conceptual Analysis and Knowledge Representation. International Journal of Human Computer Studies 43, 5--6 (1995), 625--640.
[35]
Volkan Gunes, Steffen Peter, Tony Givargis, and Frank Vahid. 2014. A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems. KSII Transactions on Internet and Information Systems 8, 12 (Dec. 2014), 4242--4268.
[36]
David Harel and Bernhard Rumpe. 2000. Modeling Languages: Syntax, Semantics and All That Stuff Part I: The Basic Stuff. Technical Report MCS00-16. Weizmann Institute. https://www.se-rwth.de/staff/rumpe/publications/Modeling-Languages-Syntax-Semantics-and-All-That-Stuff.pdf
[37]
Felienne Hermans, Martin Pinzger, and Arie van Deursen. 2009. Domain-Specific Languages in Practice: A User Study on the Success Factors. In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (LNCS, Vol. 5795), Andy Schürr and Bran Selic (Eds.). Springer, 423--437.
[38]
José R. Hoyos, Davy Preuveneers, Jesús J. García-Molina, and Yolande Berbers. 2011. A DSL for Context Quality Modeling in Context-aware Applications. In Ambient Intelligence-Software and Applications: 2nd International Symposium on Ambient Intelligence (ISAmI). Springer, 41--49.
[39]
ISO 07498 1994. ISO/IEC 7498-1:1994. Information technology --- Open Systems Interconnection --- Basic Reference Model: The Basic Model. https://www.iso.org/standard/20269.html.
[40]
James Jennings and Eric Beuscher. 1999. Verischemelog: Verilog Embedded in Scheme. In Proceedings of the Second Conference on Domain-Specific Languages (DSL). USENIX Association, Austin, TX, USA, 12 pages. https://www.usenix.org/conference/dsl-99/verischemelog-verilog-embedded-scheme
[41]
Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, and Steven Völkel. 2014. Design Guidelines for Domain Specific Languages. https://arxiv.org/abs/1409.2378. arXiv:1409.2378 [cs.SE]
[42]
Siddhartha Kumar Khaitan and James D. McCalley. 2015. Design Techniques and Applications of Cyberphysical Systems: A Survey. IEEE Systems Journal 9, 2 (2015), 350--365.
[43]
Kyoung Dae Kim and Panganamala R. Kumar. 2013. An Overview and Some Challenges in Cyber-Physical Systems. Journal of the Indian Institute of Science 93, 3 (July 2013), 341--352. https://journal.iisc.ac.in/index.php/iisc/article/view/1693
[44]
Gordon Kindlmann, Charisee Chiw, Nicholas Seltzer, Lamont Samuels, and John Reppy. 2016. Diderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis. IEEE Transactions on Visualization and Computer Graphics 22, 1 (2016), 867--876.
[45]
Stefan Klikovits and Didier Buchs. 2021. Pragmatic Reuse for DSML Development. Software and Systems Modeling 20, 3 (01 Jun 2021), 837--866.
[46]
Pieter Koopman, Mart Lubbers, and Rinus Plasmeijer. 2018. A Task-Based DSL for Microcomputers. In Proceedings of the Real World Domain Specific Languages Workshop (Vienna, Austria) (RWDSL2018). ACM, New York, NY, USA, Article 4, 11 pages.
[47]
Aliaksei Kouzel. 2024. Developing a DSL Design Methodology for CPS Diagnostics. Bachelor's thesis. Universiteit Twente, Enschede, The Netherlands. http://purl.utwente.nl/essays/100776
[48]
James Kurien and Maria Dolores R-Moreno. 2008. Costs and Benefits of Model-based Diagnosis. In 2008 IEEE Aerospace Conference. IEEE, 1--14.
[49]
John Launchbury, Jeffrey R. Lewis, and Byron Cook. 1999. On Embedding a Microarchitectural Design Language within Haskell. In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (Paris, France) (ICFP). ACM, New York, NY, USA, 60--69.
[50]
Edward A. Lee. 2007. Computing Foundations and Practice for CyberPhysical Systems: A Preliminary Report. Technical Report UCB/EECS-2007-72. Electrical Engineering and Computer Sciences; University of California at Berkeley. http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-72.html
[51]
Edward A. Lee. 2008. Cyber Physical Systems: Design Challenges. In 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC). IEEE, 363--369.
[52]
Edward A. Lee. 2010. CPS Foundations. In Proceedings of the 47th Design Automation Conference (Anaheim, California) (DAC). ACM, New York, NY, USA, 737--742.
[53]
Edward A. Lee. 2015. The Past, Present and Future of Cyber-Physical Systems: A Focus on Models. Sensors 15, 3 (2015), 4837--4869.
[54]
Marcos V Linhares, Romulo S. de Oliveira, Jean-Marie Farines, and Francois Vernadat. 2007. Introducing the Modeling and Verification Process in SysML. In Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation (EFTA). IEEE, 344--351.
[55]
Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jeronimo Castrillon, and Edward A. Lee. 2020. A Language for Deterministic Coordination Across Multiple Timelines. In Proceedings of the Forum for Specification and Design Languages (FDL) (Kiel, Germany). IEEE, 1--8.
[56]
Lyudmila N. Lyadova, Alexander O. Sukhov, and Marsel R. Nureev. 2021. An Ontology-Based Approach to the Domain Specific Languages Design. In 2021 IEEE 15th International Conference on Application of Information and Communication Technologies (AICT). IEEE, Baku, Azerbaijan, 1--6.
[57]
Haroun Mangal. 2024. CSPL: A Domain-Specific Language for Modelling the Behaviour of Cyber-Physical Systems. Bachelor's thesis. Universiteit Twente, Enschede, The Netherlands. https://purl.utwente.nl/essays/101433
[58]
Selin Mehmed. 2024. Domain-Specific Language for Cyber-Physical Systems: A Survey. Bachelor's thesis. Universiteit Twente, Enschede, The Netherlands. http://purl.utwente.nl/essays/100883
[59]
Josh G. M. Mengerink, Bram van der Sanden, Bram C. M. Cappers, Alexander Serebrenik, Ramon R. H. Schiffelers, and Mark G. J. van den Brand. 2018. Exploring DSL Evolutionary Patterns in Practice --- A Study of DSL Evolution in a Large-scale Industrial DSL Repository. In Proceedings of the Sixth International Conference on Model-Driven Engineering and Software Development (MODELSWARD). INSTICC, SciTePress, 446--453.
[60]
Marjan Mernik, Jan Heering, and Anthony M. Sloane. 2005. When and How to Develop Domain-Specific Languages. Comput. Surveys 37, 4 (Dec. 2005), 316--344.
[61]
Mustafa Abshir Mohamed, Geylani Kardas, and Moharram Challenger. 2021. Model-Driven Engineering Tools and Languages for Cyber-Physical Systems ---A Systematic Literature Review. IEEE Access 9 (2021), 48605--48630.
[62]
Daniel Moody. 2009. The "Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Transactions on Software Engineering 35, 6 (Nov. 2009), 756--779.
[63]
Dmitry Morozov, Mario Lezoche, and Hervé Panetto. 2018. Multi-Paradigm Modelling of Cyber-Physical Systems. IFAC-PapersOnLine 51, 11 (2018), 1385--1390. Proceedings of the 16th IFAC Symposium on Information Control Problems in Manufacturing (INCOM).
[64]
Sathyan Munirathinam and Balakrishnan Ramadoss. 2016. Predictive Models for Equipment Fault Detection in the Semiconductor Manufacturing Process. International Journal of Engineering and Technology 8, 4 (2016), 273--285.
[65]
Mark A. Musen, Lawrence M. Fagan, David M. Combs, and Edward H. Shortliffe. 1987. Use of a Domain Model to Drive an Interactive Knowledge-Editing Tool. International Journal of Man-Machine Studies 26, 1 (1987), 105--121.
[66]
Sascha Julian Oks, Albrecht Fritzsche, and Kathrin M. Möslein. 2017. An Application Map for Industrial Cyber-Physical Systems. In Industrial Internet of Things: Cybermanufacturing Systems, Sabina Jeschke, Christian Brecher, Houbing Song, and Danda B. Rawat (Eds.). Springer, Cham, 21--46.
[67]
Maria João Varanda Pereira, João Fonseca, and Pedro Rangel Henriques. 2016. Ontological Approach for DSL Development. Computer Languages, Systems & Structures 45 (April 2016), 35--52.
[68]
Leonard Petnga and Mark Austin. 2016. An Ontological Framework for Knowledge Modeling and Decision Support in Cyber-Physical Systems. Advanced Engineering Informatics 30, 1 (2016), 77--94.
[69]
Jurryt Pietersma and Arjan J. C. van Gemund. 2007. Benefits and Costs of ModelBased Fault Diagnosis for Semiconductor Manufacturing Equipment. INCOSE International Symposium 17, 1 (2007), 324--335.
[70]
Jurryt Pietersma, Arjan J. C. van Gemund, and A. Bos. 2005. A Model-Based Approach to Sequential Fault Diagnosis. In IEEE Autotestcon. IEEE, 621--627.
[71]
Subhav M. Pradhan, Abhishek Dubey, Aniruddha Gokhale, and Martin Lehofer. 2015. CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems. In Proceedings of the Workshop on Domain-Specific Modeling (Pittsburgh, PA, USA) (DSM). ACM, 9--16.
[72]
Ragunathan Rajkumar. 2012. A Cyber-Physical Future. Proc. IEEE 100, Special Centennial Issue (2012), 1309--1312.
[73]
Michael Rosemann, Iris Vessey, Ron Weber, and Boris Wyssusek. 2004. On the Applicability of the Bunge-Wand-Weber Ontology to Enterprise Systems Requirements. In Proceedings of ACIS. AISeL, 10 pages. https://aisel.aisnet.org/acis2004/78
[74]
Enno Ruijters and Mariëlle Stoelinga. 2015. Fault Tree Analysis: A Survey of the State-of-the-Art in Modeling, Analysis and Tools. Computer Science Review 15 (2015), 29--62.
[75]
R. G. Sanfelice. 2015. Analysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach. In CRC Press. 3--31. https://hybrid.soe.ucsc.edu/sites/default/files/preprints/105.pdf
[76]
Eric C. Schnarr, Mark D. Hill, and James R. Larus. 2001. Facile: A Language and Compiler for High-Performance Processor Simulators. In Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation (Snowbird, Utah, USA) (PLDI). ACM, New York, NY, USA, 321--331.
[77]
Robert W. Sebesta. 2001. Concepts of Programming Languages. Pearson.
[78]
Aviral Shrivastava, Patricia Derler, Ya-Shian Li Baboud, Kevin Stanton, Mohammad Khayatian, Hugo A. Andrade, Marc Weiss, John Eidson, and Sundeep Chandhoke. 2016. Time in Cyber-Physical Systems. In Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (Pittsburgh, Pennsylvania) (CODES). ACM, New York, NY, USA, Article 4, 10 pages.
[79]
Jonathan Sprinkle and Gabor Karsai. 2004. A Domain-Specific Visual Language for Domain Model Evolution. Journal of Visual Languages & Computing 15, 3 (2004), 291--307.
[80]
Tim Steenvoorden, Nico Naus, and Markus Klinik. 2019. TopHat: A Formal Foundation for Task-Oriented Programming. In Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (Porto, Portugal) (PPDP). ACM, New York, NY, USA, Article 17, 13 pages.
[81]
Mariëlle Stoelinga et al. 2023. Zorro: Zero Downtime in Cyber-Physical Systems. https://zorro-project.nl.
[82]
Robert Tairas, Marjan Mernik, and Jeff Gray. 2009. Using Ontologies in the Domain Analysis of Domain-Specific Languages. In Models in Software Engineering, Michel R. V. Chaudron (Ed.). LNCS, Vol. 5421. Springer, Berlin, Heidelberg, 332--342.
[83]
Amit Kumar Tyagi and N. Sreenath. 2021. Cyber Physical Systems: Analyses, Challenges and Possible Solutions. Internet of Things and Cyber-Physical Systems 1 (2021), 22--33.
[84]
Boris Ulitin and Eduard Babkin. 2017. Ontology and DSL Co-evolution Using Graph Transformations Methods. In Perspectives in Business Informatics Research, Björn Johansson, Charles Møller, Atanu Chaudhuri, and Frantisek Sudzina (Eds.). LNBIP, Vol. 295. Springer, Cham, 233--247.
[85]
Michael Vierhauser, Rebekka Wohlrab, Marco Stadler, and Jane Cleland-Huang. 2023. AMon: A Domain-Specific Language and Framework for Adaptive Monitoring of Cyber-Physical Systems. JSS 195 (2023), 111507.
[86]
Yair Wand and Ron Weber. 1990. An Ontological Model of an Information System. IEEE Transactions on Software Engineering 16, 11 (Nov. 1990), 1282--1292.
[87]
Andrzej Wąsowski and Thorsten Berger. 2023. Domain-Specific Languages: Effective Modeling, Automation, and Reuse. Springer.
[88]
Bradley Wood and Akramul Azim. 2021. Triton: a Domain Specific Language for Cyber-Physical Systems. In Proceedings of the 22nd IEEE International Conference on Industrial Technology (ICIT), Vol. 1. IEEE, 810--816.
[89]
Xin Xia, Lingfeng Bao, David Lo, Zhenchang Xing, Ahmed E. Hassan, and Shanping Li. 2018. Measuring Program Comprehension: A Large-Scale Field Study with Professionals. IEEE Transactions on Software Engineering 44, 10 (2018), 951--976.
[90]
Chengyuan Yu, Song Jing, and Xuan Li. 2012. An Architecture of Cyber Physical System Based on Service. In Proceedings of the International Conference on Computer Science and Service System. IEEE, 1409--1412.
[91]
Vadim Zaytsev. 2017. Language Design with Intent. In Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Don Batory, Jeff Gray, and Vinay Kulkarni (Eds.). IEEE, 45--52.
[92]
Vadim Zaytsev. 2017. Megamodelling with NGA Multimodels. In Proceedings of the 2nd International Workshop on Comprehension of Complex Systems (CoCoS), Christoph Bockisch and Michael L. Van De Vanter (Eds.). ACM, 1--6.
[93]
Vadim Zaytsev and Anya Helene Bagge. 2014. Parsing in a Broad Sense. In Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS) (LNCS, Vol. 8767), Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, and Emilio Insfran (Eds.). Springer, 50--67.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 2024
1261 pages
ISBN:9798400706226
DOI:10.1145/3652620
This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 October 2024

Check for updates

Author Tags

  1. cyber-physical systems
  2. ontological analysis
  3. domain-specific languages

Qualifiers

  • Research-article

Funding Sources

  • NWO

Conference

MODELS Companion '24
Sponsor:

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 110
    Total Downloads
  • Downloads (Last 12 months)110
  • Downloads (Last 6 weeks)35
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media