المؤلفون: Natalya V. Bogoslovskaya, Aleksandr V. Brzhezovskiy

المصدر: Развитие образования, Vol , Iss 1 (7), Pp 29-34 (2020)

مصطلحات موضوعية: BPMN Execution Semantics, Business Process Model and Notation, tools for developing and executing BPMN models, инструментальные средства для разработки и исполнения моделей BPMN, исполняемая семантика BPMN, нотация и модель бизнес-процессов, Education (General), L7-991, Theory and practice of education, LB5-3640, Special aspects of education, LC8-6691

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2619-1466; https://doaj.org/toc/2618-8910

URL الوصول: https://doaj.org/article/39890981b3e24379b6a321ba164e0f13

المؤلفون: Bürger, Christoff

المساهمون: Rose, Louis M., Editor, Horn, Tassilo, Editor, Křikava, Filip, Editor

المصدر: 8th Transformation Tool Contest,L'Aquila, Italy,-24 CEUR Workshop Proceedings. 1524:27-36

مصطلحات موضوعية: language engineering, metamodelling, execution semantics, Petri net, activity diagram, fUML, RAG-controlled rewriting, graph rewriting, reference attribute grammar, Naturvetenskap, Data- och informationsvetenskap (Datateknik), Datavetenskap (datalogi), Natural Sciences, Computer and Information Science, Computer Science

وصف الملف: electronic

URL الوصول: https://lup.lub.lu.se/record/7890536
https://portal.research.lu.se/files/3246464/8310922.pdf
http://ceur-ws.org/Vol-1524/paper10.pdf
http://ceur-ws.org/Vol-1524/

المؤلفون: Ahmed, S., Yıldız, E., Islam, B., Hester, J., Yıldırım, K.S.

مصطلحات موضوعية: Energy Harvesting, Privatization, Program compilers, Semantics, Battery-less, Batteryless internet of thing, Execution semantics, Input-output, Input/output operations, Intermittent computing, Intermittent systems, Peripheral, Re-execution, Task-based, Batteryless Internet of Things, Peripherals, Energy efficiency, Internet of things

Relation: Proceedings of the 18th European Conference on Computer Systems, EuroSys 2023; Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı; https://hdl.handle.net/11454/91096; https://doi.org/10.1145/3552326.3587435; 63; 78

الاتاحة: https://hdl.handle.net/11454/91096
https://doi.org/10.1145/3552326.3587435

المؤلفون: Lorenzo Affetti, Riccardo Tommasini, Alessandro Margara, Gianpaolo Cugola, Emanuele Della Valle

المصدر: Journal of Big Data, Vol 4, Iss 1, Pp 1-24 (2017)

مصطلحات موضوعية: Stream processing, Stream processing engines, Modeling, Execution semantics, SECRET, Time semantics, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://link.springer.com/article/10.1186/s40537-017-0072-9; https://doaj.org/toc/2196-1115

URL الوصول: https://doaj.org/article/e1b9b2e1750642c9b191fba8355772b3

المؤلفون: Mayerhofer, Tanja, Langer, Philip, Seidewitz, Ed, Gray, Jeff, Bousse, Erwan

المساهمون: Vienna University of Technology (TU Wien), EclipseSource Services GmbH, nMeta, Department of Computer Science Alabama, University of Alabama Tuscaloosa (UA)

المصدر: International Workshop on Executable Modeling (EXE) ; https://hal.archives-ouvertes.fr/hal-01688291 ; International Workshop on Executable Modeling (EXE), Sep 2017, Austin, United States

مصطلحات موضوعية: Executable Models, Executable Modeling Languages, Model Execution, Model Simulation, Execution Semantics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Austin, United States

Relation: hal-01688291; https://hal.archives-ouvertes.fr/hal-01688291; https://hal.archives-ouvertes.fr/hal-01688291/document; https://hal.archives-ouvertes.fr/hal-01688291/file/exe_intro.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-01688291
https://hal.archives-ouvertes.fr/hal-01688291/document
https://hal.archives-ouvertes.fr/hal-01688291/file/exe_intro.pdf

المؤلفون: Sánchez Charles, David, Muntés Mulero, Víctor, Carmona Vargas, Josep, Solé, Marc

المساهمون: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Business -- Data processing, Enterprise resource management, Semantics, Activity profile, Execution semantics, Experimental evaluation, Graph edit distance, Labeled trees, Novel techniques, Process Modeling, Structural techniques, Negocis -- Informàtica

وصف الملف: 18 p.

Relation: http://link.springer.com/chapter/10.1007/978-3-319-45468-9_9; Sánchez, D., Muntés, V., Carmona, J., Solé, M. Process model comparison based on cophenetic distance. A: International Conference on Business Process Management. "Business Process Management Forum, BPM Forum 2016: Rio de Janeiro, Brazil, September 18–22, 2016: proceedings". Rio de Janeiro: Springer, 2016, p. 141-158.; http://hdl.handle.net/2117/99744

الاتاحة: http://hdl.handle.net/2117/99744
https://doi.org/10.1007/978-3-319-45468-9_9

المؤلفون: Dai, Wenbin, Pang, Cheng, Vyatkin, Valeriy, Christensen, James H., Guan, Xinping

المصدر: IEEE Transactions on Systems, Man & Cybernetics. Systems. 50(3):851-862

مصطلحات موضوعية: Building automation systems, deterministic execution semantics, IEC 61499 function blocks, industrial cyber-physical systems, real-time constraints, timestamped discrete-event systems, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-65706

المؤلفون: Polyvyanyy, Artem, Weske, Mathias

المساهمون: Yang, J, Ardagna, D, Mecella, M

المصدر: Business Process Management Workshops: BPM 2008 International Workshops Revised Papers [Lecture Notes in Business Information Processing, Volume 17]

مصطلحات موضوعية: Ad-hoc process, Business process modeling, Execution semantics, Hypergraph-structured process, Process formalism

وصف الملف: application/pdf

Relation: https://eprints.qut.edu.au/70730/7/70730.pdf; Polyvyanyy, Artem & Weske, Mathias (2009) Hypergraph-based modeling of ad-hoc business processes. In Yang, J, Ardagna, D, & Mecella, M (Eds.) Business Process Management Workshops: BPM 2008 International Workshops Revised Papers [Lecture Notes in Business Information Processing, Volume 17]. Springer, Germany, pp. 278-289.; https://eprints.qut.edu.au/70730/; Science & Engineering Faculty

الاتاحة: https://eprints.qut.edu.au/70730/

المؤلفون: Polyvyanyy, Artem, Weske, Mathias

المصدر: Business Process Management Workshops, 278-289, (2008-09-01) ; BPM Workshops, Business Process Management Workshops, Milano, Italy, September 1-4, 2008

مصطلحات موضوعية: business process modeling, hypergraph-structured process, ad-hoc process, process formalism, execution semantics

Relation: oai:zenodo.org:5526937

الاتاحة: https://doi.org/10.1007/978-3-642-00328-8_27

المؤلفون: Michal Zaremba, Christoph Bussler

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://arsky.com/WWW2005/WorkshopCD/workshop/wf08/WSS2005-Zaremba-Final.pdf.

مصطلحات موضوعية: Architecture, Execution Semantics

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.517; http://arsky.com/WWW2005/WorkshopCD/workshop/wf08/WSS2005-Zaremba-Final.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.517
http://arsky.com/WWW2005/WorkshopCD/workshop/wf08/WSS2005-Zaremba-Final.pdf

المؤلفون: Rik Eshuis, David N. Jansen, Roel Wieringa

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://is.tm.tue.nl/staff/heshuis/req.pdf.

مصطلحات موضوعية: Execution semantics, Model checking, Statecharts

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.2632; http://is.tm.tue.nl/staff/heshuis/req.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.2632
http://is.tm.tue.nl/staff/heshuis/req.pdf

المؤلفون: Fischer, Ulrich

المساهمون: Kappel, Gertrude, TU Wien, Österreich, Mayerhofer, Tanja

مصطلحات موضوعية: UML, fUML, Code Generierung, Code Verifizierung, Ausführungssemantik, Modellgetriebene Softwareentwicklung, code generation, code verification, execution semantics, model-driven engineering

وصف الملف: x, 124 Seiten

Relation: https://doi.org/10.34726/hss.2017.24073; http://hdl.handle.net/20.500.12708/5124; AC13712342; urn:nbn:at:at-ubtuw:1-98780

الاتاحة: https://doi.org/10.34726/hss.2017.24073
https://hdl.handle.net/20.500.12708/5124

المؤلفون: Dai, Wenbin, Pang, Cheng, Vyatkin, Valeriy

المصدر: Annual Conference of the IEEE Industrial Electronics Society, IECON 2015 I E E E Industrial Electronics Society. Annual Conference. Proceedings. :2252-2257

مصطلحات موضوعية: Industrial Cyber-Physical Systems, Programmable Logic Controllers, IEC 61499 Function Blocks, Execution Semantics, Reconfiguration, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-37129

المؤلفون: M Maikel Leemans, Wil M. P. van der Aalst, Mark van den Brand

المساهمون: Process Science

المصدر: Proceedings of the 2018 International Conference on Software and System Process, ICSSP 2018, 96-105
STARTPAGE=96;ENDPAGE=105;TITLE=Proceedings of the 2018 International Conference on Software and System Process, ICSSP 2018
ICSSP

مصطلحات موضوعية: Process modeling, business.industry, Semantics (computer science), Computer science, Process (engineering), Concurrency, Process mining, Petri nets, 02 engineering and technology, Work in process, Process Mining, 020204 information systems, Scalability, Hierarchical Performance Analysis, 0202 electrical engineering, electronic engineering, information engineering, Performance Analysis, 020201 artificial intelligence & image processing, Software system, Execution Semantics Performance Metrics, Software engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::919bf87d22aed50a1c4ba6fa69066283
https://research.tue.nl/nl/publications/5fe562db-bd3a-4d59-b430-1e7d381ec2d8

المؤلفون: Leemans, Maikel, van der Aalst, Wil M.P., van den Brand, Mark G.J.

المصدر: Leemans , M , van der Aalst , W M P & van den Brand , M G J 2018 , Hierarchical performance analysis for process mining . in Proceedings of the 2018 International Conference on Software and System Process, ICSSP 2018 . Association for Computing Machinery, Inc , pp. 96-105 , 2018 International Conference on Software and System Processes (ICSSP 2018) , Gothenburg , Sweden , 26/05/18 . https://doi.org/10.1145/3202710.3203151

مصطلحات موضوعية: Execution Semantics Performance Metrics, Hierarchical Performance Analysis, Performance Analysis, Petri nets, Process Mining

Relation: https://research.tue.nl/en/publications/5fe562db-bd3a-4d59-b430-1e7d381ec2d8; urn:ISBN:9781450364591

الاتاحة: https://research.tue.nl/en/publications/5fe562db-bd3a-4d59-b430-1e7d381ec2d8
https://doi.org/10.1145/3202710.3203151
http://www.scopus.com/inward/record.url?scp=85048375936&partnerID=8YFLogxK

المؤلفون: Tanja Mayerhofer, Langer, P., Seidewitz, E., Gray, J., Bousse, E.

المساهمون: Vienna University of Technology (TU Wien), EclipseSource Services GmbH, nMeta, Department of Computer Science [Alabama], University of Alabama [Tuscaloosa] (UA), Bousse, Erwan

المصدر: International Workshop on Executable Modeling (EXE)
International Workshop on Executable Modeling (EXE), Sep 2017, Austin, United States
Scopus-Elsevier

مصطلحات موضوعية: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Executable Models, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Model Execution, Executable Modeling Languages, Execution Semantics, Model Simulation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e6ad75e01d4e13b0249efb1ffdf517fa
https://hal.archives-ouvertes.fr/hal-01688291/document

المؤلفون: Victor Dubinin, Chen-Wei Yang, Valeriy Vyatkin

المصدر: ISIE

مصطلحات موضوعية: IEC 61850, IEC 61499, Computer science, 020209 energy, Interoperability, Totally integrated automation, Context (language use), 02 engineering and technology, Ontology (information science), Execution Semantics, 0202 electrical engineering, electronic engineering, information engineering, ESWRL, Smart Grid, Iec standards, Execution model, computer.programming_language, ta113, ta213, Ontology, business.industry, 020208 electrical & electronic engineering, Automation, Model-driven architecture, business, Software engineering, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a20be1c8376a67df16bff08474bf8c7c
https://doi.org/10.1109/isie.2017.8001419

المؤلفون: Schamai, Wladimir, Fritzson, Peter, Paredis, Chris J J

المصدر: Simulation (San Diego, Calif.). 89(4):498-512

مصطلحات موضوعية: UML, Modelica, ModelicaML, execution semantics, state machine, statechart, TECHNOLOGY, TEKNIKVETENSKAP

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-93980

المؤلفون: Riccardo Tommasini, Alessandro Margara, Emanuele Della Valle, Gianpaolo Cugola, Lorenzo Affetti

المصدر: Journal of Big Data, Vol 4, Iss 1, Pp 1-24 (2017)

مصطلحات موضوعية: Windows, lcsh:Computer engineering. Computer hardware, Information Systems and Management, Process (engineering), Semantics (computer science), Dataflow, Computer science, Computer Networks and Communications, Distributed computing, lcsh:TK7885-7895, 02 engineering and technology, Time semantics, computer.software_genre, lcsh:QA75.5-76.95, Stream processing, Execution semantics, Modeling, SECRET, Stream processing engines, Hardware and Architecture, Information Systems, 020204 information systems, Spark (mathematics), 0202 electrical engineering, electronic engineering, information engineering, Information system, Database, lcsh:T58.5-58.64, lcsh:Information technology, Key (cryptography), 020201 artificial intelligence & image processing, lcsh:Electronic computers. Computer science, computer, Stream analytics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbffd0bda20a97a51ccab0639f008243
http://hdl.handle.net/11311/1028893

المؤلفون: Schamai, Wladimir, Pohlmann, U., Fritzson, Peter, Paredis, C.J.J., Helle, P., Strobel, C.

المصدر: Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010 - In Conjunction with MODELS 2010 Linköping Electronic Conference Proceedings. :1-10

مصطلحات موضوعية: Execution semantics, Modelica, ModelicaML, State machine, Statechart, UML, TECHNOLOGY, TEKNIKVETENSKAP

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-100700