Laws of Timed State Machines

Authors: Ana Cavalcanti, Madiel Conserva Filho, Pedro Ribeiro, Augusto Sampaio

Source: The Computer Journal. 67:2066-2107

Subject Terms: Artificial intelligence, 0102 computer and information sciences, 02 engineering and technology, Normalization (sociology), Operator (biology), 01 natural sciences, Biochemistry, Gene, 7. Clean energy, 12. Responsible consumption, Context (archaeology), Theoretical computer science, Abstract machine, Sociology, Temporal Logic, State (computer science), 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Model-Driven Engineering in Software Development, Unified Modeling Language, Biology, Finite-state machine, Arithmetic, Model Transformation, Paleontology, Semantics (computer science), Computer science, UML, Programming language, FOS: Sociology, Chemistry, Computational Theory and Mathematics, Notation, Anthropology, Computer Science, Physical Sciences, Abstract state machines, Transformation (genetics), Repressor, Software Reliability Assessment and Prediction, Transcription factor, Software, Mathematics, Formal Methods in Software Verification and Control

Towards automatic Maude specifications generation from C functions

Authors: Fateh Boutekkouk

Source: Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)

Subject Terms: Rewriting, Information technology, 0102 computer and information sciences, 02 engineering and technology, Epistemology, 01 natural sciences, Autonomic Computing and Self-Adaptive Systems, Logic programming, Artificial Intelligence, Specification language, 0202 electrical engineering, electronic engineering, information engineering, formal verification, Model-Driven Engineering in Software Development, Equational logic, formal specification, maude, Semantics (computer science), QA75.5-76.95, T58.5-58.64, Computer science, MDE Practices, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Simplicity, Computational Theory and Mathematics, Functional programming, c programming language, Electronic computers. Computer science, Computer Science, Physical Sciences, Operational semantics, Software, Formal Methods in Software Verification and Control

Access URL: https://doaj.org/article/4650403a5ea24100b2fa9a48f1c25668

A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures

Authors: Iván Alfonso, Kelly Garcés, Harold Castro, Jordi Cabot

Contributors: Universidad de los Andes, Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3), Catalan Institution for Research and Advanced Studies (ICREA)

Source: O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)
Computing

Subject Terms: FOS: Computer and information sciences, internet de les coses, Digital subscriber line, Domain-specific language, QoS-Aware Web Services Composition and Semantic Matching, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Quality of Service (QoS), Runtime system, edge computing, Service-Oriented Architecture, Quality of service, domain-specific language, Artificial Intelligence, Self-Adaptive Systems, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Software deployment, QoS-Aware Middleware, Model-Driven Engineering in Software Development, Embedded system, Key (lock), Computer network, llenguatge específic del domini, Software engineering, Adaptation (eye), Domain (mathematical analysis), Physics, Modeling language, lenguaje específico del dominio, Optics, sistema autoadaptativo, internet of things, Computer science, self-adaptive system, Distributed computing, internet de las cosas, Operating system, Separation of concerns, Computer Science, Physical Sciences, Service-Oriented Computing, sistema autoadaptatiu, Code generation, fog computing, Software, Mathematics, Information Systems

File Description: application/pdf

Automated Code Generation from Use cases and the Domain Model

Authors: Minh-Hue Chu, Anh-Hien Dao

Source: Annals of computer science and information systems, Vol 33, Pp 75-81 (2022)

Subject Terms: FOS: Computer and information sciences, Domain model, Web Engineering for Applications Development, QoS-Aware Web Services Composition and Semantic Matching, Set (abstract data type), Information technology, Automated Web Service Discovery, Mathematical analysis, FOS: Mathematics, Model-Driven Engineering in Software Development, Key (lock), Code (set theory), Model-Driven Development, Software engineering, Domain (mathematical analysis), 4. Education, Software Development, Domain-Specific Languages, Context-Aware Web Applications, QA75.5-76.95, T58.5-58.64, Computer science, Programming language, Process (computing), Operating system, Electronic computers. Computer science, Computer Science, Physical Sciences, Code generation, Software, Mathematics, Information Systems

Access URL: https://doaj.org/article/17afdb8e80df4ad7a6a91fb3e311babe

Transformation From CIM to PIM: a Systematic Mapping

Authors: Nemury Silega Martínez, Manuel Noguera, Yuri Rogozov, Vyacheslav S. Lapshin, Tahumara Gonzalez

Source: Digibug. Repositorio Institucional de la Universidad de Granada
Universidad de Granada (UGR)
IEEE Access, Vol 10, Pp 90857-90872 (2022)

Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Social Sciences, 02 engineering and technology, Biochemistry, Gene, Data transformation, Electric power system, Model transformation, Data science, Systems engineering, systematic mapping, Engineering, 0202 electrical engineering, electronic engineering, information engineering, platform independent models (PIM), Model-Driven Engineering in Software Development, Common Information Model (electricity), Model Transformation, Physics, Software Development, Model-Driven Engineering, Power (physics), computer independent models (CIM), Programming language, FOS: Philosophy, ethics and religion, Chemistry, Physical Sciences, Computer independent models (CIM), Transformation (genetics), Electrical engineering. Electronics. Nuclear engineering, Abstraction layer, Model driven architecture (MDA), Information Systems, QoS-Aware Web Services Composition and Semantic Matching, Business, Management and Accounting, Epistemology, Quantum mechanics, Management Information Systems, Information model, Data warehouse, Data mining, Platform independent models (PIM), Software engineering, Workflow Mining and Business Process Management, Software development, Computer science, TK1-9971, Process (computing), Philosophy, Systematic mapping, Computer Science, Process management, Abstraction, Software, Consistency (knowledge bases), Data modeling

Access URL: https://doaj.org/article/1db81b1c8f9d4561a1b32619ff1d1352
https://hdl.handle.net/10481/77073

Efficient Compiler Design for a Geometric Shape Domain-Specific Language: Emphasizing Abstraction and Optimization Techniques

Authors: Priya Gupta, Terala ManiKiran, Mailapalli Purushotham, L Jeya Suriya, R. Venkata, Sambhudutta Nanda

Source: ICST Transactions on Scalable Information Systems.

Subject Terms: Design for Manufacture and Assembly in Manufacturing, Compiler construction, Digital subscriber line, Domain-specific language, Compiler, 02 engineering and technology, Epistemology, Industrial and Manufacturing Engineering, Engineering, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Computer architecture, 0204 chemical engineering, Model-Driven Engineering in Software Development, Key (lock), Design for Manufacture, Software Development, Domain-Specific Languages, Computer science, Programming language, FOS: Philosophy, ethics and religion, Operating system, Philosophy, Optimizing compiler, Compiler correctness, Computer Science, Physical Sciences, Telecommunications, Code generation, Program Analysis and Verification Techniques, Abstraction, Software

Formal Modeling and Analysis of Entity Framework Using Alloy

Authors: Maria Belen Bonino, Ana Gabriela Garis, Daniel Eduardo Riesco

Source: International Journal of Software Engineering and Computer Systems. 7:9-18

Subject Terms: FOS: Computer and information sciences, Flexibility (engineering), QoS-Aware Web Services Composition and Semantic Matching, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Systems engineering, Engineering, Software Architecture, Artificial Intelligence, FOS: Mathematics, Model-Driven Engineering in Software Development, Software engineering, Domain (mathematical analysis), Software development process, Statistics, Software Development, Modeling language, Software development, Computer science, Feature Models, Programming language, Computer Science, Physical Sciences, Agile software development, Software, Mathematics, Information Systems

Access URL: https://journal.ump.edu.my/ijsecs/article/download/4667/1477/24806
https://journal.ump.edu.my/ijsecs/article/view/4667

An Automated Model-Based Approach for Developing Mobile User Interfaces

Authors: Lassaad Ben Ammar

Source: IEEE Access, Vol 9, Pp 51573-51581 (2021)

Subject Terms: FOS: Computer and information sciences, Interface (matter), User experience design, model based user interface development, Mobile application, Set (abstract data type), 02 engineering and technology, User interface design, 0202 electrical engineering, electronic engineering, information engineering, Model-Driven Engineering in Software Development, Usability Evaluation in Human-Computer Interaction, Bubble, Mobile computing, Software engineering, Human–computer interaction, Mobile Application Development and Cross-Platform Solutions, model transformation, Mobile Applications, Computer science, User interface, TK1-9971, Cross-Platform Development, Programming language, Human-Computer Interaction, user interface, Operating system, Mobile Application Development, Computer Science, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, Maximum bubble pressure method, Multi-Device Interfaces, User-Centered Design, Software, Information Systems

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/9312710/09378527.pdf
https://doaj.org/article/e054e493a9d24faab5598f231ff708a5
https://repository.psau.edu.sa/xmlui/handle/123456789/2987617
https://dblp.uni-trier.de/db/journals/access/access9.html#Ammar21
https://ieeexplore.ieee.org/document/9378527/

Towards a Domain-specific Language for Developing Concurrent Applications using BIP Framework

Authors: Trinh Le-Khanh, Son Nguyen

Subject Terms: Computer Networks and Communications, Construct (python library), Compiler, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Process integration, Systems engineering, Model-Based Development, Engineering, Software Architecture, Artificial Intelligence, Concurrent engineering, FOS: Mathematics, Cloud computing, Model-Driven Engineering in Software Development, Software engineering, Domain (mathematical analysis), Software Development, Computer science, Distributed computing, Programming language, Operating system, Log Analysis and System Performance Diagnosis, Computer Science, Physical Sciences, Process engineering, Software, Mathematics

A Model-Driven Realization of AUV Controllers Based on the MDA/MBSE Approach

Authors: Van Thuan Truong, Ngoc Tam Bui, Ngo Van Hien

Source: Journal of Advanced Transportation, Vol 2020 (2020)

Subject Terms: Realization (probability), Artificial intelligence, 0209 industrial biotechnology, Astronomy, Trajectory, Ocean Engineering, 02 engineering and technology, Real-time computing, Engineering, FOS: Mathematics, Model-Driven Engineering in Software Development, Unified Modeling Language, Embedded system, Biology, Maritime Transportation Safety and Risk Analysis, HE1-9990, TA1001-1280, Model Transformation, Control engineering, Physics, Controller (irrigation), Statistics, Autonomous Underwater Vehicles, Underwater Acoustic Sensor Networks and Communication, Model-Driven Engineering, Computer science, Agronomy, MDE Practices, Extended Kalman filter, Programming language, Transportation engineering, Physical Sciences, Computer Science, Systems Modeling Language, Kalman filter, Transportation and communications, Software, Mathematics

File Description: text/xhtml

Access URL: https://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://doaj.org/article/d8850182bb61469eaf217661b9afd560
http://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://shibaura.pure.elsevier.com/en/publications/a-model-driven-realization-of-auv-controllers-based-on-the-mdambs
https://downloads.hindawi.com/journals/jat/2020/8848776.pdf
https://www.hindawi.com/journals/jat/2020/8848776/

Model-driven development of accessible software: a systematic literature review

Authors: Karla Ordoñez, José Ramón Hilera, Samanta Cueva

Source: Universal Access in the Information Society. 21:295-324

Subject Terms: Web Accessibility, Web Accessibility and Disability Divide, Social Sciences, FOS: Mechanical engineering, Human Factors and Ergonomics, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Data science, Model-Based Development, Engineering, Software Architecture, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Work (physics), Model-Driven Engineering in Software Development, 10. No inequality, Software construction, Software engineering, Software development process, 9. Industry and infrastructure, Software Development, 1. No poverty, Software development, Computer science, Mechanical engineering, Usability Evaluation, Programming language, Computer Science, Physical Sciences, Software

Access URL: https://link.springer.com/article/10.1007/s10209-020-00751-6

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars

Authors: Zirun Zhu, Hsiang−Shang Ko, Yongzhe Zhang, Pedro Martins, João Saraiva, Zhenjiang Hu

Contributors: Universidade do Minho

Source: New Generation Computing. 38:423-476

Subject Terms: FOS: Computer and information sciences, Programmer, Artificial intelligence, Refactoring, Compiler, LR parser, 02 engineering and technology, Memoization, Parsing expression grammar, Bidirectional transformations, L-attributed grammar, Parser combinator, 0202 electrical engineering, electronic engineering, information engineering, Subcategorization, Abstract syntax tree, Syntax, Context-free grammar, Model-Driven Engineering in Software Development, Parsing, Asymmetric lenses, Grammar, Automated Software Testing Techniques, Natural language processing, Reflective printing, Linguistics, Computer science, Rule-based machine translation, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Top-down parsing, Verb, Disambiguation filters, Computer Science, Physical Sciences, FOS: Languages and literature, Domain-specific languages, Software, Consistency (knowledge bases), Empirical Studies in Software Engineering, Information Systems

File Description: application/pdf

Access URL: http://repositorium.sdum.uminho.pt/bitstream/1822/68618/1/354_2019_82_OnlinePDF.pdf
https://repositorium.sdum.uminho.pt/bitstream/1822/68618/1/354_2019_82_OnlinePDF.pdf
https://dblp.uni-trier.de/db/journals/ngc/ngc38.html#ZhuKZMSH20
https://repositorio.inesctec.pt/handle/123456789/11450
https://link.springer.com/article/10.1007/s00354-019-00082-y
http://repositorium.sdum.uminho.pt/handle/1822/68618
https://repositorio.inesctec.pt/bitstream/123456789/11450/1/P-00S-28X.pdf
https://hdl.handle.net/1822/68618

A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification

Authors: Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Aamir Naeem, Muhammad Kashif, Wasi Haider Butt

Source: IEEE Access, Vol 8, Pp 104407-104431 (2020)

Subject Terms: Runtime Verification, 02 engineering and technology, Model Checking, Model Consistency, Safety Verification, Functional verification, computation tree logic, 0202 electrical engineering, electronic engineering, information engineering, Model-Driven Engineering in Software Development, Unified Modeling Language, Embedded system, Software construction, Model Transformation, systemverilog assertions, Reconfigurable Computing Systems and Design Methods, Static analysis, Computer science, Verilog, TK1-9971, Programming language, Field-programmable gate array, Assertion based verification, Formal verification, Computational Theory and Mathematics, Hardware and Architecture, timed automata, Computer Science, Physical Sciences, Systems Modeling Language, Software system, model based system engineering, embedded systems, Electrical engineering. Electronics. Nuclear engineering, High-level verification, Software, Formal Methods in Software Verification and Control

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/8948470/09106379.pdf
https://doaj.org/article/e3286aac4042452f86908b745096c840
https://dblp.uni-trier.de/db/journals/access/access8.html#AnwarRANKB20
https://ieeexplore.ieee.org/document/9106379/

Requirement Validation for Embedded Systems in Automotive Industry Through Modeling

Authors: Danish Iqbal, Assad Abbas, Mazhar Ali, Muhammad Usman Shahid Khan, Raheel Nawaz

Source: IEEE Access, Vol 8, Pp 8697-8719 (2020)

Subject Terms: FOS: Computer and information sciences, Requirements analysis, Requirement engineering, 02 engineering and technology, Agile Software Development in Software Engineering, Autonomic Computing and Self-Adaptive Systems, Reliability engineering, Systems engineering, embedded system, Model-Based Development, Engineering, requirement modeling, Artificial Intelligence, Computer security, 0202 electrical engineering, electronic engineering, information engineering, formal verification, Model-Driven Engineering in Software Development, Unified Modeling Language, Key (lock), Requirements Engineering, Software engineering, Model Transformation, Verification and validation, Requirements engineering, Model-Driven Engineering, Petri net, automotive industry, Computer science, TK1-9971, Programming language, Algorithm, Operations management, Aerospace engineering, Software Process Improvement, Computer Science, Physical Sciences, requirement validation, Electrical engineering. Electronics. Nuclear engineering, Correctness, Software, Information Systems, Automotive industry

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/8948470/08949471.pdf
https://doaj.org/article/f1d2e9971d5c4a56875740aeb4405566
https://e-space.mmu.ac.uk/625003/
http://ieeexplore.ieee.org/document/8949471
https://dblp.uni-trier.de/db/journals/access/access8.html#IqbalAAKN20
https://ieeexplore.ieee.org/abstract/document/8949471
https://e-space.mmu.ac.uk/625003/

The Universal Safety Format in Action: Tool Integration and Practical Application

Authors: Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder

Source: SN Computer Science. 4

Subject Terms: Functional safety, Software safety mechanism, Domain-specific language, 0202 electrical engineering, electronic engineering, information engineering, Original Research, Advances on Model-Driven Engineering and Software Development, Model transformation, Code generation, Information and Computing Sciences, 02 engineering and technology, ddc

File Description: application/pdf

Access URL: https://elib.dlr.de/193132/
https://doi.org/10.1007/s42979-022-01532-z
https://mediatum.ub.tum.de/doc/1761594/document.pdf

Modeling IoT Design Patterns Proven Correct by Construction

Authors: Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem

Source: Lecture Notes in Computer Science ISBN: 9783031095924

Subject Terms: FOS: Mechanical engineering, Software design pattern, Reuse, Mathematical analysis, 7. Clean energy, Model Checking, Engineering, Theoretical computer science, Self-Reconfigurable Robotic Systems and Modular Robotics, FOS: Mathematics, Model-Driven Engineering in Software Development, Biology, Software engineering, Domain (mathematical analysis), Ecology, Mechanical Engineering, Formal methods, Model-Driven Engineering, Computer science, Design pattern, Programming language, 3. Good health, Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Correctness, Software, Mathematics, Formal Methods in Software Verification and Control

A MODEL-DRIVEN APPROACH FOR MULTI-PLATFORM EXECUTION OF INTERACTIVE UIS DESIGNED WITH IFML

Authors: Sara Gotti, Samir Mbarki, Zineb Gotti, Naziha Laaz

Source: International Journal of Computing. :293-306

Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Domain-specific language, QoS-Aware Web Services Composition and Semantic Matching, Compiler, Set (abstract data type), 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Model transformation, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Model-Driven Engineering in Software Development, Unified Modeling Language, Key (lock), Code (set theory), 05 social sciences, Modeling language, Computer science, Feature Models, Programming language, Operating system, Computer Science, Physical Sciences, Code generation, Software, Consistency (knowledge bases), Information Systems

Access URL: https://computingonline.net/computing/article/download/1522/873
https://www.computingonline.net/computing/article/view/1522
https://www.computingonline.net/computing/article/download/1522/873
http://www.computingonline.net/computing/article/download/1522/873

AN AUTOMATIC TRANSFORMATION METHOD FROM THE E3VALUE MODEL TO UML2 SEQUENCE DIAGRAMS: AN MDA APPROACH

Authors: Nassim Kharmoum, S. Ziti, Yassine Rhazali, Fouzia Omary

Source: International Journal of Computing. :316-330

Subject Terms: FOS: Computer and information sciences, Artificial intelligence, Class diagram, QoS-Aware Web Services Composition and Semantic Matching, Epistemology, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Biochemistry, Gene, Model transformation, Software Architecture, Artificial Intelligence, Genetics, 0202 electrical engineering, electronic engineering, information engineering, Sequence diagram, Model-Driven Engineering in Software Development, Unified Modeling Language, Biology, Software engineering, Model Transformation, Activity diagram, Model-Driven Engineering, Computer science, MDE Practices, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Chemistry, Graph Transformation, FOS: Biological sciences, Computer Science, Physical Sciences, Transformation (genetics), Abstraction, Software, Consistency (knowledge bases), Information Systems, Sequence (biology)

Access URL: https://computingonline.net/computing/article/download/1524/871
https://www.computingonline.net/computing/article/download/1524/871
https://www.computingonline.net/computing/article/view/1524
http://www.computingonline.net/computing/article/view/1524/871

An Automatic Transformation Method from the E3value Model to IFML Model: An MDA Approach

Authors: Nassim Kharmoum, S. Ziti, Yassine Rhazali, Fouzia Omary

Source: Journal of Computer Science. 15:800-813

Subject Terms: FOS: Computer and information sciences, Domain model, Artificial intelligence, QoS-Aware Web Services Composition and Semantic Matching, Social Sciences, Business, Management and Accounting, Epistemology, 02 engineering and technology, Process Models, Biochemistry, Gene, Management Information Systems, Model transformation, 12. Responsible consumption, Process Modeling Languages, Database, FOS: Economics and business, 0202 electrical engineering, electronic engineering, information engineering, Business, Model-Driven Engineering in Software Development, Unified Modeling Language, Business model, Marketing, Software engineering, Model Transformation, 9. Industry and infrastructure, Software Development, Modeling language, Workflow Mining and Business Process Management, Model-Driven Engineering, Model-driven architecture, Computer science, Programming language, FOS: Philosophy, ethics and religion, Chemistry, Philosophy, Computer Science, Physical Sciences, Domain knowledge, Transformation (genetics), Conceptual model, Abstraction, Software, Consistency (knowledge bases), Information Systems

Access URL: https://thescipub.com/pdf/jcssp.2019.800.813.pdf
https://thescipub.com/abstract/10.3844/jcssp.2019.800.813

Model Driven Software Engineering of Power Systems Applications: Literature Review and Trends

Authors: Paulo Neis, Marco A. Wehrmeister, Marcos Fonseca Mendes

Source: IEEE Access, Vol 7, Pp 177761-177773 (2019)

Subject Terms: Artificial intelligence, Real-Time Simulation Technologies for Power Systems, 0211 other engineering and technologies, 02 engineering and technology, Autonomic Computing and Self-Adaptive Systems, Mathematical analysis, Systems engineering, Model transformation, power systems, Engineering, Software Architecture, Artificial Intelligence, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, SCADA/EMS, Model-Driven Engineering in Software Development, Unified Modeling Language, Requirements Engineering, Software engineering, Domain (mathematical analysis), Software development process, Software Development, Model-Driven Engineering, Model-driven architecture, Software development, Computer science, Model driven engineering, TK1-9971, MDE Practices, Programming language, Control and Systems Engineering, Computer Science, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, Software, Systems development life cycle, Consistency (knowledge bases), Mathematics, software engineering

Access URL: https://doaj.org/article/b7ff68cc62b94f9cb0fb905250315536
https://dblp.uni-trier.de/db/journals/access/access7.html#NeisWM19
https://ieeexplore.ieee.org/document/8926459/
https://doi.org/10.1109/ACCESS.2019.2958275
https://doaj.org/article/b7ff68cc62b94f9cb0fb905250315536