{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:18:46Z","timestamp":1744258726443,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642338250"},{"type":"electronic","value":"9783642338267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_18","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:46:25Z","timestamp":1348613185000},"page":"263-277","source":"Crossref","is-referenced-by-count":14,"title":["Efficient Probabilistic Abstraction for SysML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Samir","family":"Ouchani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Otmane","family":"Ait Mohamed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Debbabi, M., Hassane, F., Jarraya, Y., Soeanu, A., Alawneh, L.: Verification and Validation in Systems Engineering - Assessing UML \/ SysML Design Models. Springer (2010)","DOI":"10.1007\/978-3-642-15228-3"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Ouchani, S., Jarraya, Y., Mohamed, O.A.: Model-based systems security quantification. In: PST, pp. 142\u2013149 (2011)","DOI":"10.1109\/PST.2011.5971976"},{"key":"18_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking, MIT Press (May 2008)"},{"key":"18_CR4","first-page":"329","volume-title":"Proceedings of the 3rd Int. Conf. on IITA","author":"Z. Xin-feng","year":"2009","unstructured":"Xin-feng, Z., Jian-dong, W., Xin-feng, Z., Bin, L., Jun-wu, Z., Jun, W.: Methods to tackle state explosion problem in model checking. In: Proceedings of the 3rd Int. Conf. on IITA, pp. 329\u2013331. IEEE Press, NJ (2009)"},{"key":"18_CR5","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. Springer (2001)","DOI":"10.1007\/978-3-662-04558-9"},{"key":"18_CR7","unstructured":"OMG, OMG Systems Modeling Language (OMG SysML) Specification, Object Management Group, OMG Available Specification (September 2007)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V. Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated Verification Techniques for Probabilistic Systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol.\u00a06659, pp. 53\u2013113. Springer, Heidelberg (2011)"},{"key":"18_CR9","unstructured":"P. Team. PRISM - Probabilistic Symbolic Model Checker, http:\/\/www.prismmodelchecker.org (last visited November 2011)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Ober, I., Graf, S., Ober, I.: Model Checking of UML Models via a Mapping to Communicating Extended Timed Automata. In: SPIN 2004. LNCS, vol.\u00a02989 (2004)","DOI":"10.1007\/978-3-540-24732-6_9"},{"key":"18_CR11","unstructured":"Ober, I., Graf, S., Ober, I.: Validating Timed UML models by simulation and verification. In: Workshop SVERTS, San Francisco (October 2003)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.entcs.2006.01.009","volume":"144","author":"B. Westphal","year":"2006","unstructured":"Westphal, B.: LSC Verification for UML Models with Unbounded Creation and Destruction. Electronic Notes in Theoretical Computer Science\u00a0144, 133\u2013145 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"175","DOI":"10.4304\/jsw.4.3.175-182","volume":"4","author":"C.M. Prashanth","year":"2009","unstructured":"Prashanth, C.M., Shet, K.C.: Efficient Algorithms for Verification of UML Statechart Models. Journal of Software\u00a04, 175\u2013182 (2009)","journal-title":"Journal of Software"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Daoxi, C., Guangquan, Z., Jianxi, F.: Abstraction framework and complexity of model checking based on the Promela models. In: 4th International Conference on Computer Science Education, ICCSE 2009, pp. 857\u2013861 (July 2009)","DOI":"10.1109\/ICCSE.2009.5228206"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-45923-5_5","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Xie","year":"2002","unstructured":"Xie, F., Browne, J.C.: Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 64\u201379. Springer, Heidelberg (2002)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Xie, F., Levin, V., Browne, J.C.: ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. In: Fundamental Approaches to Software Engineering, pp. 331\u2013335 (2002)","DOI":"10.1007\/3-540-45923-5_24"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"M.H. Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A State\/Event-Based Model-Checking Approach for the Analysis of Abstract System Properties. Sci. Comput. Program.\u00a076, 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"296","DOI":"10.4018\/978-1-59140-621-1","volume-title":"Software Evolution With Uml And Xml","author":"H. Yang","year":"2005","unstructured":"Yang, H.: Abstracting UML Behavior Diagrams for Verification. In: Software Evolution With Uml And Xml, pp. 296\u2013320. IGI Publishing, Hershey (2005)"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"2006","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic Model Checking of UML Activity Diagrams. ACM Transactions on Software Engineering and Methodology\u00a015 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"18_CR20","doi-asserted-by":"publisher","first-page":"2004","DOI":"10.1109\/TSE.2004.33","volume":"30","author":"R. Eshuis","year":"2004","unstructured":"Eshuis, R., Wieringa, R.: Tool support for verifying uml activity diagrams. IEEE Transactions on Software Engineering\u00a030 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Holt, J., Perry, S.: SysML for Systems Engineering. Institution of Engineering and Technology Press (January 2007)","DOI":"10.1049\/PBPC007E"},{"key":"18_CR22","unstructured":"OMG, OMG Unified Modeling Language: Superstructure 2.1.2, Object Management Group (November 2007)"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/3-540-60218-6_17","volume-title":"CONCUR \u201995 Concurrency Theory","author":"R. Segala","year":"1995","unstructured":"Segala, R.: A Compositional Trace-Based Semantics for Probabilistic Automata. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 234\u2013248. Springer, Heidelberg (1995)"},{"key":"18_CR24","unstructured":"Milner, R.: Communicating and mobile systems - the Pi-calculus. Cambridge University Press (1999)"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511779183"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T12:44:23Z","timestamp":1744202663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}