{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:47:55Z","timestamp":1740142075688,"version":"3.37.3"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s11334-016-0283-9","type":"journal-article","created":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T07:59:24Z","timestamp":1467359964000},"page":"51-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards formal open standards: formalizing a standard\u2019s requirements"],"prefix":"10.1007","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8159-1847","authenticated-orcid":false,"given":"Konstantinos","family":"Barlas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleni","family":"Berki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petros","family":"Stefaneas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Koletsos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,1]]},"reference":[{"key":"283_CR1","unstructured":"G\u00f6del\u2019s incompleteness theorems. http:\/\/en.wikipedia.org\/wiki\/G%F6del_incompleteness_theorem . Accessed 30 June 2013"},{"key":"283_CR2","unstructured":"Rss 2.0 specification. http:\/\/www.rssboard.org\/rss-specification (2009). Accessed 30 Jan 2014"},{"key":"283_CR3","unstructured":"Sample file for rss v2.0. http:\/\/www.rssboard.org\/files\/sample-rss-2.xml (2009)"},{"key":"283_CR4","unstructured":"Digital imaging and communications in medicine (dicom). http:\/\/dicom.nema.org\/ (2014). Accessed 11 Aug 2014"},{"key":"283_CR5","unstructured":"Berki E (2001) Establishing a scientific discipline for capturing the entropy of systems process models: Cdm-filters\u2014a computational and dynamic metamodel as a flexible and integrated language for the testing, expression and re-engineering of systems. Ph.D. thesis, Faculty of Science, Computing & Engineering, University of North London"},{"key":"283_CR6","unstructured":"Berki E (2003) Formal metamodelling and agile method engineering in metacase and came tool environments. In: Tigka P, Kefalas K (eds) The 1st South-East European Workshop on formal methods. Agile formal methods: practical, rigorous methods for a changing world (Satellite of the 1st Balkan Conference in Informatics), pp 170\u2013188. South-Eastern European Research Center (SEERC): Thessaloniki"},{"key":"283_CR7","doi-asserted-by":"crossref","unstructured":"Berki E (2006) Examining the quality of evaluation frameworks and metamodeling paradigms of information systems development methodologies, chap. 15, pp 265\u2013289. Idea Group Publishing, Hershey, PA, USA","DOI":"10.4018\/978-1-59140-857-4.ch012"},{"key":"283_CR8","unstructured":"Berki E, Valtanen J (2007) Critical and creative mathematical thinking with practical problem solving skills\u2014a new old challenge. In: Dranidis D, Sakellariou I (eds) Proceedings of the 3rd SouthEast European Workshop on formal methods (SEEFM07), pp 154\u2013170. South-East European Research Centre (SEERC)"},{"key":"283_CR9","unstructured":"Berry DM, Kamsties E, Krieger MM (2003) From contract drafting to software specification: linguistic sources of ambiguity, a handbook. Online. http:\/\/se.uwaterloo.ca\/~dberry\/handbook\/ambiguityHandbook"},{"key":"283_CR10","unstructured":"Blake G, Bly R (1993) The elements of technical writing. Elements of Series. Longman. http:\/\/books.google.fi\/books?id=ewsoAQAAMAAJ"},{"key":"283_CR11","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1049\/sej.1993.0031","volume":"8","author":"JP Bowen","year":"1993","unstructured":"Bowen JP, Breuer PT, Lano KC (1993) A compendium of formal techniques for software maintenance. BCS\/IEE Softw Eng J 8:253\u2013262","journal-title":"BCS\/IEE Softw Eng J"},{"key":"283_CR12","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"JP Bowen","year":"1994","unstructured":"Bowen JP, Hinchey MG (1994) Ten commandments of formal methods. IEEE Comput 28:56\u201363","journal-title":"IEEE Comput"},{"key":"283_CR13","doi-asserted-by":"crossref","unstructured":"Diaconescu R, Futatsugi K (1998) CafeOBJ Report: the language, proof techniques, and methodologies for object-oriented algebraic specification. AMAST Series in Computing, vol 6. World Scientific, Singapore","DOI":"10.1142\/3831"},{"issue":"1","key":"283_CR14","first-page":"74","volume":"6","author":"R Diaconescu","year":"2000","unstructured":"Diaconescu R, Futatsugi K (2000) Behavioural coherence in object-oriented algebraic specification. J Univ Comput Sci 6(1):74\u201396","journal-title":"J Univ Comput Sci"},{"key":"283_CR15","doi-asserted-by":"crossref","unstructured":"Diaconescu R, Futatsugi K, Iida S (1999) Component-based algebraic specification and verification in cafeobj. In: Proceedings of the Wold Congress on formal methods in the development of computing systems, vol II, FM \u201999, pp 1644\u20131663. Springer-Verlag, London, UK. http:\/\/dl.acm.org\/citation.cfm?id=647545.730763","DOI":"10.1007\/3-540-48118-4_37"},{"key":"283_CR16","volume-title":"The correctness problem in computer science","author":"RS Boyer","year":"1981","unstructured":"Boyer RS, Moore JS (1981) The correctness problem in computer science. Academic Press, Orlando"},{"key":"283_CR17","volume-title":"Z\u2014an introduction to formal methods","author":"A Diller","year":"1990","unstructured":"Diller A (1990) Z\u2014an introduction to formal methods. Wiley, Chichester"},{"key":"283_CR18","unstructured":"Goguen J (2014) The obj family. http:\/\/cseweb.ucsd.edu\/~goguen\/sys\/obj.html . Accessed 30 Oct 2014"},{"key":"283_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"JA Goguen","year":"1992","unstructured":"Goguen JA, Meseguer J (1992) Order-sorted algebra i: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theor Comput Sci 105:217\u2013273. doi: 10.1016\/0304-3975(92)90302-V","journal-title":"Theor Comput Sci"},{"key":"283_CR20","doi-asserted-by":"crossref","unstructured":"Goguen JA, Winkler T, Meseguer J, Futatsugi K, Jouannaud JP (2000) Introducing obj. In: Goguen J, Malcom M (eds) Software engineering with OBJ: algebraic specification in action. Springer US, Boston, pp 3\u2013167","DOI":"10.1007\/978-1-4757-6541-0_1"},{"issue":"2","key":"283_CR21","doi-asserted-by":"publisher","first-page":"9:1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"RM Hierons","year":"2009","unstructured":"Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P, L\u00fcttgen G, Simons AJH, Vilkomir S, Woodward MR, Zedan H (2009) Using formal specifications to support testing. ACM Comput Surv 41(2):9:1\u20139:76. doi: 10.1145\/1459352.1459354","journal-title":"ACM Comput Surv"},{"key":"283_CR22","volume-title":"Free\/open source software, open standards","author":"NS Hoe","year":"2006","unstructured":"Hoe NS (2006) Free\/open source software, open standards. Elsevier, New Delhi"},{"key":"283_CR23","doi-asserted-by":"publisher","unstructured":"Ionescu C, Berki E, Nummenmaa J (2009) Applying weighted finite state machines to protocol performance analysis. In: Proceedings of the 2009 Fourth South-East European Workshop on formal methods, SEEFM \u201909, pp 40\u201345. IEEE Computer Society. doi: 10.1109\/SEEFM.2009.16","DOI":"10.1109\/SEEFM.2009.16"},{"key":"283_CR24","unstructured":"ISO\/IEC: Information Processing Systems (1990) Open systems interconnection\u2014guidelines for the application of Estelle, Lotos and SDL. ISO\/IEC TR 10167. International Organization for Standardization, Geneva, Switzerland"},{"key":"283_CR25","unstructured":"ISO\/IEC: Open Distributed Processing (1996) Basic reference model\u2014part 4: architectural semantics. ISO\/IEC 10746-4. International Organization for Standardization, Geneva, Switzerland"},{"key":"283_CR26","unstructured":"ISO\/IEC: Information Technology (1997) Framework: formal methods in conformance testing. ISO\/IEC 13245-1. International Organization for Standardization, Geneva, Switzerland"},{"key":"283_CR27","unstructured":"ISO\/IEC: Information technology (2015) Open distributed processing\u2014use of UML for ODP system specifications. ISO 19793:2015. International Organization for Standardization, Geneva, Switzerland"},{"key":"283_CR28","volume-title":"Software requirements & specifications: a lexicon of practice, principles and prejudices","author":"M Jackson","year":"1995","unstructured":"Jackson M (1995) Software requirements & specifications: a lexicon of practice, principles and prejudices. ACM Press\/Addison-Wesley Publishing Co., New York"},{"key":"283_CR29","unstructured":"Karjalainen M (2010) Large-scale migration to an open source office suite: an innovation adoption study in Finland. Department of Computer Sciences, University of Tampere, Tampere"},{"key":"283_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-12144-1","volume-title":"Formal specification using Z","author":"D Lightfoot","year":"1991","unstructured":"Lightfoot D (1991) Formal specification using Z. Macmillan Education UK, London"},{"key":"283_CR31","unstructured":"Malcolm G, Goguen JA (1996) An executable course in the algebraic semantics of imperative programs. In: Hinchey M, Nevill Dean C (eds) Teaching and learning formal methods. Academic Press, pp 161\u2013179"},{"key":"283_CR32","unstructured":"Merruko M (2013) Utilising open source software development for effective electronic health records development. Master\u2019s thesis, School of Information Sciences, University of Tampere. http:\/\/tutkielmat.uta.fi\/pdf\/gradu06632"},{"key":"283_CR33","unstructured":"Merruko M, Berki E, Nyk\u00e4nen P (2012) Open source software process: a potential catalyst for major changes in electronic health record systems. In: Shaikh S, Stamelos I, Cerone A (eds) OpenCert 2012 + SEFM 2012 Proceedings (2013). http:\/\/opencert.iist.unu.edu\/Papers\/2012-paper-1-D"},{"key":"283_CR34","unstructured":"Muhonen M, Berki E (2011) An open process for quality assurance in systems. In: Dawson R, Ross M, Staples G (eds) The conference proceedings of software quality management XIX (SQM 2011). Loughborough University, Leicestershire, pp 231\u2013241"},{"issue":"4","key":"283_CR35","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2699417","volume":"58","author":"C Newcombe","year":"2015","unstructured":"Newcombe C, Rath T, Zhang F, Munteanu B, Brooker M, Deardeuff M (2015) How Amazon web services uses formal methods. Commun ACM 58(4):66\u201373. doi: 10.1145\/2699417","journal-title":"Commun ACM"},{"key":"283_CR36","unstructured":"Raymundo O (2015) Hands-on with news in ios 9: Apple\u2019s response to facebook and snapchat\u2019s content platforms. http:\/\/www.macworld.com\/article\/2947012\/software-news\/hands-on-with-news-in-ios-9-apples-response-to-facebook-and-snapchats-content-platforms.html"},{"key":"283_CR37","doi-asserted-by":"publisher","unstructured":"Shah R, Kesan J, Kennis A (2007) Lessons for open standard policies: a case study of the massachusetts experience. In: Proceedings of the 1st international conference on theory and practice of electronic governance, ICEGOV \u201907, pp 141\u2013150. ACM, New York, NY, USA. doi: 10.1145\/1328057.1328088","DOI":"10.1145\/1328057.1328088"},{"key":"283_CR38","volume-title":"Software engineering","author":"I Sommerville","year":"2010","unstructured":"Sommerville I (2010) Software engineering, 9th edn. Addison-Wesley, Harlow","edition":"9"},{"issue":"1","key":"283_CR39","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","volume":"4","author":"J Spivey","year":"1989","unstructured":"Spivey J (1989) An introduction to z and formal specifications. Softw Eng J 4(1):40\u201350","journal-title":"Softw Eng J"},{"key":"283_CR40","volume-title":"Using formal description techniques: an introduction to ESTELLE","author":"KJ Turner","year":"1993","unstructured":"Turner KJ (1993) Using formal description techniques: an introduction to ESTELLE. LOTOS and SDL, Wiley, New York"},{"key":"283_CR41","unstructured":"Valtanen J, Berki E, Barlas K, Li L, Merruko M (2013) Problem-focused education and feedback mechanisms for re-designing a course on open source and software quality. In: Uhomoibhi J, Barikzai S, Ross M, Staples G (eds) The 18th INSPIRE\u2014INternational conference on Software Process Improvement in Research, Education and Training. Southampton Solent University Press, London, pp 23\u201336"},{"key":"283_CR42","unstructured":"Veijalainen J, Berki E, Lehmonen J, Moisanen P (2006) Implementing a new international paper mill efficiency standard\u2014using computational correctness criteria to model and verify timed events. In: Eleftherakis G (ed) 2nd South-East European Workshop on formal methods (SEEFM 05). Formal methods: challenges in the business world, Ohrid, 18\u201319 Nov 2005, pp 27\u201343. South-East European Research Centre (SEERC)"},{"key":"283_CR43","unstructured":"W3Schools (2014) Dtd tutorial. http:\/\/www.w3schools.com\/dtd\/"},{"key":"283_CR44","unstructured":"W3Schools (2014) Xml tutorial. http:\/\/www.w3schools.com\/xml\/"},{"key":"283_CR45","unstructured":"Winer D (2006) The rss \u201cttl\u201d element and p2p networks. http:\/\/scripting.com\/2006\/09\/07.html#theRssTtlElementAndP2pNetworks"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-016-0283-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-016-0283-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-016-0283-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-016-0283-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T10:37:15Z","timestamp":1568111835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-016-0283-9"}},"subtitle":["The case of RSS v2.0"],"short-title":[],"issued":{"date-parts":[[2016,7,1]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["283"],"URL":"https:\/\/doi.org\/10.1007\/s11334-016-0283-9","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2016,7,1]]}}}