Critical systems verification in MetaMORP(h)OSY
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 1611-3349, Vol: 8696 LNCS, Page: 119-129
2014
- 17Citations
- 16Captures
Metric Options: CountsSelecting the 1-year or 3-year option will change the metrics count to percentiles, illustrating how an article or review compares to other articles or reviews within the selected time period in the same journal. Selecting the 1-year option compares the metrics against other articles/reviews that were also published in the same calendar year. Selecting the 3-year option compares the metrics against other articles/reviews that were also published in the same calendar year plus the two years prior.
Example: if you select the 1-year option for an article published in 2019 and a metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019. If you select the 3-year option for the same article published in 2019 and the metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019, 2018 and 2017.
Citation Benchmarking is provided by Scopus and SciVal and is different from the metrics context provided by PlumX Metrics.
Example: if you select the 1-year option for an article published in 2019 and a metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019. If you select the 3-year option for the same article published in 2019 and the metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019, 2018 and 2017.
Citation Benchmarking is provided by Scopus and SciVal and is different from the metrics context provided by PlumX Metrics.
Conference Paper Description
Multi Agent Systems (MAS) methodologies are emerging as a new approach for modeling and developing complex distributed systems. When complex constraints have to be verified on critical systems Model Driven Engineering (MDE) methodologies allow for the design and implementation of systems correct by construction. Usually verification is enforced by formal analysis. This paper presents MetaMORP(h)OSY (Meta-modeling of Mas Object-based with Real-time specification in Project Of complex SYstems) methodology and framework. They provide a mean for building MAS models used to verify properties (and requirements) of Critical Systems following a MDE approach. In particular, this work describes model transformation algorithms used in MetaMORP(h)OSY to verify real-time and timed reachability requirements. © 2014 Springer International Publishing.
Bibliographic Details
http://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=84907300528&origin=inward; http://dx.doi.org/10.1007/978-3-319-10557-4_15; http://link.springer.com/10.1007/978-3-319-10557-4_15; http://link.springer.com/content/pdf/10.1007/978-3-319-10557-4_15; https://dx.doi.org/10.1007/978-3-319-10557-4_15; https://link.springer.com/chapter/10.1007/978-3-319-10557-4_15
Springer Science and Business Media LLC
Provide Feedback
Have ideas for a new metric? Would you like to see something else here?Let us know