{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T04:24:27Z","timestamp":1649046267637},"reference-count":55,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Enterprise Information Systems"],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1080\/17517570801927403","type":"journal-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T23:39:20Z","timestamp":1214005160000},"page":"121-156","source":"Crossref","is-referenced-by-count":5,"title":["Stepwise rigorous development of distributed agile information systems: from UML-diagrams to component-based Petri Nets\u2020"],"prefix":"10.1080","volume":"2","author":[{"given":"Nasreddine","family":"Aoumeur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"CIT0002","unstructured":"Aoumeur, N, Balko, S and Saake, G. 2000. Towards a three-level methodology for developing cooperative information systems. In: Proc. of the 10th International Conference on Computing and Information (ICCI'2000). 2000. Kuweit: Springer. (to appear in LNCSVolume 2023)"},{"key":"CIT0003","first-page":"7","volume-title":"Proc. Sixth Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze","author":"Aoumeur N","year":"1999"},{"key":"CIT0004","first-page":"374","volume-title":"Proc. of CAISE'01, Volume 2068 of Lecture Notes in Computer Science","author":"Andrade L","year":"2001"},{"key":"CIT0005","first-page":"375","volume":"10","author":"Andrade L","year":"2004","journal-title":"Journal of Universal Computer Science"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1109\/ENABL.2004.72"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1504\/IJIPT.2006.009740","volume":"1","author":"Aoumeur N","year":"2006","journal-title":"International Journal of Internet Protocol Technology (IJIPT)"},{"key":"CIT0008","unstructured":"Aoumeur, N and Saake, G. 1999a. On the specification and validation of cooperative information systems using an extended MAUDE. Proc. of 1st Int. OBJ\/CafeOBJ\/Maude Workshop, at FM'99 Conference. 1999a, Toulouse, France. Edited by: Futatsugi, K, Goguen, J and Meseguer, J. pp.197\u2013211. Romania: The Theta Foundation Bucharest."},{"key":"CIT0009","first-page":"381","volume-title":"Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering, CAiSE'99, Volume 1626 of Lecture Notes in Computer Science","author":"Aoumeur N","year":"1999"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(02)00025-3"},{"key":"CIT0011","doi-asserted-by":"crossref","unstructured":"Aoumeur, N and Saake, G. 2002b. Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic. Proc. of the 14th International Conference on Advanced Information Systems Engineering (CAiSE 2002). 2002b, Toronto, Canada. Edited by: Pidduck, AB, Mylopoulos, J, Woo, CC and Ozsu, MT. pp.296\u2013310. Berlin: Springer. Volume 2348 of Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-47961-9_22"},{"key":"CIT0012","volume-title":"To appear in Proc. of the OOIS'03, Geneva, Swissland, Lecture Notes in Computer Science","author":"Aoumeur N","year":"2003"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2003.10.005"},{"key":"CIT0014","first-page":"152","volume-title":"9th International Conference on Enterprise Information Systems (ICEIS'07)","author":"Aoumeur N","year":"2007"},{"key":"CIT0015","first-page":"63","volume-title":"The 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2007\u2013Workshop@ICEIS'07)","author":"Aoumeur N","year":"2007"},{"key":"CIT0016","first-page":"123","volume-title":"Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21\u201323 March 2007","author":"Aoumeur N","year":"2007"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1080\/17517570701646590"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-0-387-35261-9_5","volume-title":"Proc. of Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems(FMOODS)","author":"Biberstein O","year":"1997"},{"key":"CIT0019","volume-title":"Proc. of the \u2018Application and Theory Petri Nets\u2019 Workshop on Object-Oriented Programming and Models of Concurrency, Volume 935 of Lecture Notes in Computer Science","author":"Battiston E","year":"1995"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1109\/ICSMC.1993.384960","volume-title":"Proc. of IEEE International Conference on Systems and Cybernetics","author":"Battiston E","year":"1993"},{"key":"CIT0021","first-page":"20","volume-title":"Advances in Petri Nets, Volume 340 of Lecture Notes in Computer Science","author":"Battiston E","year":"1988"},{"key":"CIT0022","volume-title":"Comparison of object-oriented formal methods","author":"Biberstein O","year":"1997"},{"key":"CIT0023","volume-title":"The unified modeling language reference manual","author":"Booch G","year":"1998"},{"key":"CIT0024","volume-title":"Unified modeling language, Notation Guide, Version 1.0","author":"Booch G","year":"1998"},{"key":"CIT0025","volume-title":"Object-oriented analysis and design: with applications","author":"Booch G","year":"1993"},{"key":"CIT0026","volume-title":"Maude: Specification and Programming in Rewriting Logic","author":"Clavel M","year":"1999"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/32.345825"},{"key":"CIT0028","first-page":"263","volume-title":"Proc. of Reflection'96","author":"Clavel M","year":"1996"},{"key":"CIT0029","volume-title":"The Albert II language: on the design and the use of a formal specification language for requirements analysis","author":"Du Bois P","year":"1995"},{"key":"CIT0031","volume-title":"Introducing OBJ. Technical Report SRI-CSL-92-03","author":"Goguen J","year":"1992"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1145\/42411.42414"},{"key":"CIT0033","first-page":"105","volume-title":"European Symposium on Programming, Volume 1381 of Lecture Notes in Computer Science","author":"Hensel U","year":"1998"},{"key":"CIT0034","volume-title":"Object-oriented software engineering a use case driven approach","author":"Jacobson I","year":"1993"},{"key":"CIT0035","volume":"26","author":"Jensen K","year":"1992","journal-title":"EATCS Monographs in Computer Science"},{"key":"CIT0036","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-84524-6","volume-title":"High-level Petri Nets","author":"Jensen K","year":"1991"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1145\/226163.226166"},{"key":"CIT0038","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-642-51136-3_5","volume-title":"Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespr\u00e4ch FG 1: Integration von semi-formalen und formalen Methoden f\u00fcr die Spezifikation von Software","author":"Jungclaus R","year":"1994"},{"key":"CIT0039","volume-title":"The rational unified process \u2009\u2013\u2009an introduction","author":"Kruchten P","year":"2000"},{"key":"CIT0040","first-page":"380","volume-title":"Proc. of 17th Application and Theory of Petri Nets, Volume 1091 of Lecture Notes in Computer Science","author":"Lakos C","year":"1996"},{"key":"CIT0041","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal object-oriented development","author":"Lano K","year":"1995"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"CIT0043","first-page":"189","volume-title":"Proc. of First International Workshop on Rewriting Logic, Volume 4 of Electronic Notes in Theoretical Computer Science","author":"Marti-Oliet N","year":"1996"},{"key":"CIT0045","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.017"},{"key":"CIT0046","volume-title":"Proceedings of the 26th International Conference on Software Engineering (ICSE)","author":"Poladian V","year":"2004"},{"key":"CIT0047","volume-title":"Cooperative information systems: trends and directions","author":"Papazoglou MP","year":"1998"},{"key":"CIT0048","volume-title":"Visual modeling with rose 2002 and UML","author":"Quatrani T","year":"2002"},{"key":"CIT0049","volume-title":"Object-oriented modeling and design","author":"Rumbaugh J","year":"2001"},{"key":"CIT0050","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90203-E"},{"key":"CIT0051","volume-title":"Proc. 3rd Int. Conf. Unified Modeling Language (UML'2000)","author":"Richters M","year":"2000"},{"key":"CIT0052","volume-title":"Proc. of the 15th International Confernce on the application and Theory of Petri Nets, Volume 815 of Lecture Notes in Computer Science","author":"Sibertin-Blanc C","year":"1994"},{"key":"CIT0053","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125811"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.1080\/17517570701515233"},{"key":"CIT0055","first-page":"322","volume":"4","author":"Wirsing M","year":"1996","journal-title":"ENTCS"},{"key":"CIT0056","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2003.09.006"},{"key":"CIT0057","doi-asserted-by":"publisher","DOI":"10.1080\/17517570601092127"}],"container-title":["Enterprise Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17517570801927403","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T03:37:06Z","timestamp":1557632226000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/17517570801927403"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,5]]}},"alternative-id":["10.1080\/17517570801927403"],"URL":"https:\/\/doi.org\/10.1080\/17517570801927403","relation":{},"ISSN":["1751-7575","1751-7583"],"issn-type":[{"value":"1751-7575","type":"print"},{"value":"1751-7583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5]]}}}