{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:28:03Z","timestamp":1747805283234},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_17","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"234-248","source":"Crossref","is-referenced-by-count":16,"title":["Scenario-Based Static Analysis of UML Class Models"],"prefix":"10.1007","author":[{"given":"Lijun","family":"Yu","sequence":"first","affiliation":[]},{"given":"Robert B.","family":"France","sequence":"additional","affiliation":[]},{"given":"Indrakshi","family":"Ray","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Chiorean, D., Pasca, M., C\u00e2rcu, A., Botiza, C., Moldovan, S.: Ensuring UML Models Consistency Using the OCL Environment. In: Electronic Notes in Theoretical Computer Science, vol.\u00a0102, pp. 99\u2013110 (November 2004)","DOI":"10.1016\/j.entcs.2003.09.005"},{"key":"17_CR2","volume-title":"Model Checking","author":"E. Clark","year":"1999","unstructured":"Clark, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"17_CR3","unstructured":"Dinh-Trong, T.T.: A Systematic Approach to Testing UML Design Models. In: Doctoral Symposium, 7th International Conference on the Unified Modeling Language (UML), Lisbon, Portugal (2004)"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST Standard for Role-Based Access Control. ACM Transactions on Information and Systems Security\u00a04(3) (August 2001)","DOI":"10.1145\/501978.501980"},{"issue":"4","key":"17_CR6","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Journal on Software and System Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Journal on Software and System Modeling"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program\u00a069, 1\u20133 (2007)","journal-title":"Sci. Comput. Program"},{"issue":"7","key":"17_CR8","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel, D., Gery, E.: Executable Object Modelling with Statecharts. IEEE Computer\u00a030(7), 31\u201342 (1997)","journal-title":"IEEE Computer"},{"issue":"2","key":"17_CR9","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Lilius, J., Paltor, I.P.: vUML: a tool for verifying UML models. In: 14th IEEE International Conference on Automated Software Engineering, pp. 255\u2013258 (October 1999)","DOI":"10.1109\/ASE.1999.802301"},{"key":"17_CR11","unstructured":"Object Management Group, Object Constraint Language Specification, Version 2.0"},{"key":"17_CR12","unstructured":"Ray, I., Li, N., Kim, D.-K., France, R.: Using Parameterized UML to Specify and Compose Access Control Models. In: Proceedings of the 6th IFIP WG 11.5 Working Conference on Integrity and Internal Control in Information Systems, Lausanne, Switzerland (November 2003)"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"M. Richters","year":"2000","unstructured":"Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939. Springer, Heidelberg (2000)"},{"key":"17_CR14","unstructured":"Object Management Group, Unified Modeling Language: Superstructure, vers 2.0 Final Adopted Standard"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Yu, L., France, R.B., Ray, I., Lano, K.: A light-weight static approach to analyzing UML behavioral properties. In: Proceedings of the 12th IEEE international Conference on Engineering Complex Computer Systems, pp. 56\u201363 (July 2007)","DOI":"10.1109\/ICECCS.2007.10"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:53Z","timestamp":1619524253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}