opinion

Free access

Modeling in engineering and science

Author:

Edward A. LeeAuthors Info & Claims

Communications of the ACM, Volume 62, Issue 1

Pages 35 - 36

https://doi.org/10.1145/3231590

Published: 19 December 2018 Publication History

All formats PDF

Abstract

Understanding behavior by building models.

References

[1]

Edwards, S.A. and Lee, E.A. The case for the precision timed (PRET) machine. In Proceedings of the Design Automation Conference (DAC), San Diego, CA, 2007.

Digital Library

Google Scholar

[2]

Lee, E.A., Reineke, J., and Zimmer, M. Abstract PRET machines. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), Paris, France, 2017.

Crossref

Google Scholar

[3]

Lee, E.A. Plato and the Nerd---The Creative Partnership of Humans and Technology. MIT Press, 2017.

Digital Library

Google Scholar

Cited By

View all

Nigro LCicirelli F(2024)Correctness Verification of Mutual Exclusion Algorithms by Model CheckingModelling10.3390/modelling50300375:3(694-719)Online publication date: 28-Jun-2024
https://doi.org/10.3390/modelling5030037
Jézéquel J(2023)Modeling: From CASE Tools to SLE and Machine LearningThe French School of Programming10.1007/978-3-031-34518-0_4(69-87)Online publication date: 11-Oct-2023
https://doi.org/10.1007/978-3-031-34518-0_4
Chen FTang YWang CHuang JHuang CXie DWang TZhao C(2022)Medical Cyber–Physical Systems: A Solution to Smart Health and the State of the ArtIEEE Transactions on Computational Social Systems10.1109/TCSS.2021.31228079:5(1359-1386)Online publication date: Oct-2022
https://doi.org/10.1109/TCSS.2021.3122807
Show More Cited By

Index Terms

Modeling in engineering and science
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments

Recommendations

Model-driven engineering with domain-specific meta-modelling languages

Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
Behavioral modeling in system engineering
ACMOS'11: Proceedings of the 13th WSEAS international conference on Automatic control, modelling & simulation

This contribution focuses on the behavioral modeling of the systems in the system engineering. The system engineering process is described and overview of the system modeling language (SysML) is presented. The SysML basic principles and diagrams are ...
When user modeling intersects software engineering: the info-bead user modeling approach

User models (UMs) allow systems to provide personalized services to their users. Nowadays, UMs are developed ad-hoc, as part of specific applications, thus requiring repetitive development efforts. In this paper, we propose the info-bead user modeling ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 62, Issue 1

January 2019

109 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/3301004

Editor:
Andrew A. Chien
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 December 2018

Published in CACM Volume 62, Issue 1

Check for updates

Qualifiers

Opinion
Popular
Un-reviewed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
2,252
Total Downloads

Downloads (Last 12 months)403
Downloads (Last 6 weeks)80

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Nigro LCicirelli F(2024)Correctness Verification of Mutual Exclusion Algorithms by Model CheckingModelling10.3390/modelling50300375:3(694-719)Online publication date: 28-Jun-2024
https://doi.org/10.3390/modelling5030037
Jézéquel J(2023)Modeling: From CASE Tools to SLE and Machine LearningThe French School of Programming10.1007/978-3-031-34518-0_4(69-87)Online publication date: 11-Oct-2023
https://doi.org/10.1007/978-3-031-34518-0_4
Chen FTang YWang CHuang JHuang CXie DWang TZhao C(2022)Medical Cyber–Physical Systems: A Solution to Smart Health and the State of the ArtIEEE Transactions on Computational Social Systems10.1109/TCSS.2021.31228079:5(1359-1386)Online publication date: Oct-2022
https://doi.org/10.1109/TCSS.2021.3122807
Combemale BKienzle JMussbacher GAli HAmyot DBagherzadeh MBatot EBencomo NBenni BBruel JCabot JCheng BCollet PEngels GHeinrich RJezequel JKoziolek AMosser SReussner RSahraoui HSaini RSallou JStinckwich SSyriani EWimmer M(2021)A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric SystemsIEEE Software10.1109/MS.2020.299512538:4(71-84)Online publication date: Jul-2021
https://doi.org/10.1109/MS.2020.2995125
Talcott CAnanieva SBae KCombemale BHeinrich RHills MKhakpour NReussner RRumpe BScandurra PVangheluwe HDurán FZschaler S(2021)FoundationsComposing Model-Based Analysis Tools10.1007/978-3-030-81915-6_2(9-37)Online publication date: 18-Jul-2021
https://doi.org/10.1007/978-3-030-81915-6_2
Liu BZhang YCao XLiu YGu BWang T(2020)A survey of model-driven techniques and tools for cyber-physical systemsFrontiers of Information Technology & Electronic Engineering10.1631/FITEE.200031121:11(1567-1590)Online publication date: 20-Nov-2020
https://doi.org/10.1631/FITEE.2000311
Pileggi PLazovik EBroekhuijsen JBorth MVerriet J(2020)Lifecycle Governance for Effective Digital Twins: A Joint Systems Engineering and IT Perspective2020 IEEE International Systems Conference (SysCon)10.1109/SysCon47679.2020.9275662(1-8)Online publication date: 24-Aug-2020
https://doi.org/10.1109/SysCon47679.2020.9275662
Ueter NChen Jvon der Bruggen GVenkataramani VMitra T(2020)Simultaneous Progressing Switching Protocols for Timing Predictable Real-Time Network-on-Chips2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)10.1109/RTCSA50079.2020.9203678(1-10)Online publication date: Aug-2020
https://doi.org/10.1109/RTCSA50079.2020.9203678
Cicirelli FNigro L(2020)Model Checking Actor-based Cyber-Physical Systems2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)10.1109/DS-RT50469.2020.9213705(1-8)Online publication date: Sep-2020
https://doi.org/10.1109/DS-RT50469.2020.9213705
Sirjani MForcina GJafari ABaumgart SKhamespanah ESedaghatbaf A(2019)An Actor-Based Design Platform for System of Systems2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2019.00089(579-587)Online publication date: Jul-2019
https://doi.org/10.1109/COMPSAC.2019.00089
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Model-driven engineering with domain-specific meta-modelling languages

Behavioral modeling in system engineering

When user modeling intersects software engineering: the info-bead user modeling approach

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations