{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:15:47Z","timestamp":1777414547374,"version":"3.51.4"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/rcis.2015.7128911","type":"proceedings-article","created":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T11:56:17Z","timestamp":1435146977000},"page":"492-497","source":"Crossref","is-referenced-by-count":4,"title":["Model-based enterprise information system architectural design with SysML"],"prefix":"10.1109","author":[{"given":"Anargyros","family":"Tsadimas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"158","article-title":"A UML-based approach for validation of software architecture descriptions","author":"kacem","year":"2006","journal-title":"TEAA"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.09.018"},{"key":"ref12","article-title":"Simulation modeling and analysis","author":"law","year":"2006","journal-title":"ser McGraw-Hill series in industrial engineering and management science"},{"key":"ref13","article-title":"Lectures on Formal Methods and Performance Analysis: First EEF\/Euro Summer School on Trends in Computer Science","volume":"1","author":"brinksma","year":"2000"},{"key":"ref14","author":"cantor","year":"2003","journal-title":"Rational Unified Process for Systems Engineering RUP SE Version 2 0 IBM Rational Software white paper"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0569"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2011.5966571"},{"key":"ref17","article-title":"UML profile for MARTE: Modeling and analysis of realtime embedded systems specification, version 1.0","author":"inc","year":"2009"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-642-02674-4_8","article-title":"Challenges in combining SysML and MARTE for model-based design of embedded systems","volume":"5562","author":"espinoza","year":"2009","journal-title":"ECMDA-FA ser Lecture Notes in Computer Science"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2011.17"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1177\/0037549714533842"},{"key":"ref4","article-title":"IEEE Std 1471 and Beyond","author":"hilliard","year":"2001"},{"key":"ref27","author":"zeigler","year":"2003","journal-title":"Introduction to DEVS Modeling and Simulation with JAVA DEVSJAVA Manual"},{"key":"ref3","year":"2003","journal-title":"INCOSE Handbook SE Process Model"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.05.053"},{"key":"ref29","first-page":"cdrom","article-title":"Combining SysML and formal methods for safety requirements verification","author":"petin","year":"2010","journal-title":"22nd International Conference on Software & Systems Engineering and their Applications"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28244-0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.51"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.45"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01862-6_30"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88030-1_37"},{"key":"ref1","article-title":"A practical guide to SysML: the systems modeling language","author":"friedenthal","year":"2014"},{"key":"ref20","first-page":"75","article-title":"Virtual verification of system designs against system requirements","author":"schamai","year":"0","journal-title":"Proceedings of the 2010 International Conference on Models in Software Engineering Ser MODELS'10"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1555619.1555630"},{"key":"ref21","first-page":"2003","volume":"3","author":"haskins","year":"2006","journal-title":"INCOSE Systems Engineering Handbook A Guide for System Life Cycle Processes and Activities"},{"key":"ref24","first-page":"16","article-title":"Ieee-std-1471–2000 recommended practice for architectural description of software-intensive systems","volume":"12","author":"hilliard","year":"2000"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2231941"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1833335.1833346"},{"key":"ref25","author":"casas","year":"2013","journal-title":"Formal Languages for Computer Simulation Transdisciplinary Models and Applications"}],"event":{"name":"2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)","location":"Athens, Greece","start":{"date-parts":[[2015,5,13]]},"end":{"date-parts":[[2015,5,15]]}},"container-title":["2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7121393\/7128853\/07128911.pdf?arnumber=7128911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:27:06Z","timestamp":1498213626000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7128911\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/rcis.2015.7128911","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}