{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T21:11:51Z","timestamp":1710364311989},"reference-count":23,"publisher":"Elsevier BV","issue":"15","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1016\/s0950-5849(03)00131-9","type":"journal-article","created":{"date-parts":[[2003,9,12]],"date-time":"2003-09-12T14:50:46Z","timestamp":1063378246000},"page":"1031-1043","source":"Crossref","is-referenced-by-count":13,"title":["Using Alloy in process modelling"],"prefix":"10.1016","volume":"45","author":[{"given":"Chris","family":"Wallace","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00131-9_BIB1","series-title":"Notes on the Synthesis of Form","author":"Alexander","year":"1964"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB2","unstructured":"A. Andoni, D. Daniliuc, S. Khurshid, D. Marinov, Evaluating the \u201cSmall Scope Hypothesis\u201d, MIT Laboratory for Computer Science."},{"key":"10.1016\/S0950-5849(03)00131-9_BIB3","series-title":"System Modeling for Business Process Improvement","year":"2000"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB4","series-title":"System Modeling for Business Process Improvement","first-page":"33","article-title":"System dynamics in information systems analysis: an evaluative case study","author":"Campbell","year":"2000"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB5","series-title":"Systems Thinking, Systems Practice","author":"Checkland","year":"1982"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB6","series-title":"Designing Object Systems: Object-Oriented Modeling with Syntropy","author":"Cook","year":"1994"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB7","series-title":"Objects, Components and Frameworks with UML: The Catalysis Approach","author":"D'Souza","year":"1998"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB8","series-title":"Analysis Patterns","author":"Fowler","year":"1997"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB9","series-title":"UML Distilled","author":"Fowler","year":"1997"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB10","series-title":"Proceedings of the First Eurasian Conference on Information and Communication Technology (EURASIA'2002)","first-page":"228","article-title":"Development of UML descriptions with USE","author":"Gogolla","year":"2002"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB11","series-title":"A Micromodularity Mechanism","author":"Jackson","year":"2001"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB12","series-title":"Automating First-Order Relational Logic","author":"Jackson","year":"2000"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB13","unstructured":"D. Jackson, Personal communication, June 2003."},{"key":"10.1016\/S0950-5849(03)00131-9_BIB14","series-title":"Systems Development","author":"Jackson","year":"1983"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB15","series-title":"Problem Frames","author":"Jackson","year":"2001"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB16","series-title":"System Modeling for Business Process Improvement","first-page":"61","article-title":"The organisation, the process and the model","author":"Kawalek","year":"2000"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB17","series-title":"Constraint Diagrams: Visualising Invariants in Object Oriented Models","author":"Kent","year":"1997"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB18","series-title":"Business Processes\u2014Modelling and Analysis for Re-engineering and Improvement","author":"Ould","year":"1995"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB19","series-title":"The Z Notation","author":"Spivey","year":"1992"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB20","series-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer","year":"1998"},{"key":"10.1016\/S0950-5849(03)00131-9_BIB21","unstructured":"http:\/\/alloy.mit.edu."},{"key":"10.1016\/S0950-5849(03)00131-9_BIB22","unstructured":"http:\/\/www.cems.uwe.ac.uk\/~cjwallac\/alloy."},{"key":"10.1016\/S0950-5849(03)00131-9_BIB23","unstructured":"http:\/\/nusmv.irst.itc.it\/."}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903001319?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903001319?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T13:27:38Z","timestamp":1551014858000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903001319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":23,"journal-issue":{"issue":"15","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S0950584903001319"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00131-9","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}