{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T14:37:16Z","timestamp":1719326236145},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1007\/s10270-003-0039-5","type":"journal-article","created":{"date-parts":[[2004,3,19]],"date-time":"2004-03-19T18:29:20Z","timestamp":1079720960000},"page":"68-81","source":"Crossref","is-referenced-by-count":46,"title":["The OsMoSys approach to multi-formalism modeling of systems"],"prefix":"10.1007","volume":"3","author":[{"given":"V.","family":"Vittorini","sequence":"first","affiliation":[]},{"given":"M.","family":"Iacono","sequence":"additional","affiliation":[]},{"given":"N.","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"G.","family":"Franceschinis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2004,3,1]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Bernardo M, Donatiello L, Ciancarini P (2002) Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. In: Calzarossa MC, Tucci S (eds): Performance 2002, Tutorial Lectures, LNCS 2459, Springer-Verlag, pp 236\u2013260","DOI":"10.1007\/3-540-45798-4_11"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Bause F, Buchholz P, Kemper P (1998) A Toolbox for Functional and Quantitative Analysis of DEDS. In: Pujanger R, Savino NN, Serra B (eds): Quantitative Evaluation of Computing and Communication Systems, LNCS 1469. Springer-Verlag, pp 356\u2013359","DOI":"10.1007\/3-540-68061-6_32"},{"key":"39_CR3","unstructured":"Ciardo G, Jones RL, Miner AS, Siminiceanu R (2001) SMART: Stochastic Model Analyzer for Reliability and Timing. Tools Presentation, Proc. of the Int. Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, Aachen, Germany, September 2001, pp 29\u201334"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Clarke EM, Wing JM (1996) Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4): 626\u2013643","DOI":"10.1145\/242223.242257"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle J, Sanders W, Webster P (2001) The M\u00f6bius modeling tool. Proc. 9th Int. Workshop on Petri Nets and Performance Models (PNPM\u201901), Aachen, Germany, September 2001, pp 241\u2013250","DOI":"10.1109\/PNPM.2001.953373"},{"key":"39_CR6","unstructured":"Deavours D (2001) Formal Specification of the M\u00f6bius modeling framework. PhD. Thesis for the degree of Doctor of Philosophy in Electrical Engineering, University of Illinois, Urbana-Champaign, USA"},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"Deavours DD, Clark G, Courtney T, Daly D, Derisavi S, Doyle JM, Sanders WH, Webster PG (2002) The M\u00f6bius Framework and its Implementation. IEEE Transactions on Software Engineering, 28(10): 956\u2013969","DOI":"10.1109\/TSE.2002.1041052"},{"key":"39_CR8","unstructured":"Gribaudo M, Iacono M, Mazzocca N, Vittorini V (2003) The OsMoSys\/DrawNET Xe! Languages System: A novel Infrastructure for Multi-Formalism Object-Oriented Modelling. Proc. of the 15th European Simulation Symposium and Exhibition (ESS2003), SCS press, Oct. 2003, Delft, The Netherlands, pp 165\u2013174"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"de Lara J, Vangheluwe HL (2002) AToM3: A Tool for Multi-Formalism and Meta-Modelling. Proc. of the European Joint Conference on Theory And Practice of Software (ETAPS), Fundamental Approaches to Software Engineering (FASE), April 2002. Grenoble, France. LNCS 2306, Springer-Verlag, pp 174\u2013188","DOI":"10.1007\/3-540-45923-5_12"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"de Lara J, Vangheluwe HL (2002) Computer Aided Multi-Paradigm Modelling to Process Petri-Nets and Statecharts. Proc. of the 1st International Conference on Graph Transformations (ICGT\u20192002), Barcelona, October 2002, LNCS 2505, Springer Verlag, pp 239\u2013253","DOI":"10.1007\/3-540-45832-8_19"},{"key":"39_CR11","unstructured":"Dijkstra E (1979) Programming Considered as a Human Activity. Classics in Software Engineering, Yourdon Press, New York, NY"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Engstrom E, Krueger J (2000) Building and Rapidly Evolving Domain-Specific Tools with DOME. Proc. IEEE International Symposium on Computer-Aided Control Systems Design (CACSD 2000), Alaska, USA, pp 83\u201388","DOI":"10.1109\/CACSD.2000.900191"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Franceschinis G, Gribaudo M, Iacono M, Mazzocca N, Vittorini V (2002) DrawNET++: Model Objects to Support Performance Analysis and Simulation of Complex Systems. Proc. 12th Int. Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (TOOLS 2002), London, UK, April 2002, Lecture Notes in Computer Science (LNCS) 2324. Springer-Verlag, pp 233\u2013238","DOI":"10.1007\/3-540-46029-2_18"},{"key":"39_CR14","unstructured":"Franceschinis G, Gribaudo M, Iacono M, Mazzocca N, Vittorini V (2002) Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach. Proc. of the Second Workshop on Modelling of Objects, Components and Agents Aarhus (MOCA02), Denmark, August 26\u201327, 2002, pp 47\u201365"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Franceschinis G, Marrone, S, Mazzocca N, Vittorini V (2003) SWN Client-Server Composition Operators in the OsMoSyS Framework, Proc of the 10th Int. Workshop on Petri Nets and Performance Models, IL (USA), September 2003, pp 52\u201361","DOI":"10.1109\/PNPM.2003.1231542"},{"key":"39_CR16","unstructured":"Gribaudo M, Valente A (2000) Framework for Graph-based Formalisms. Proc. 1st Int. Conference on Software Engineering Applied to Networking and Parallel Distributed Computing (SNPD\u201900), Reims, France, May 2000, pp 233\u2013236"},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"Karsai G, Nordstrom G, Ledeczi A, Sztipanovits J (2000) Specifying graphical modeling systems using constraint-based meta models. Proc. IEEE International Symposium on Computer-Aided Control System Design, (CACSD 2000), Alaska, USA, pp 89\u201394","DOI":"10.1109\/CACSD.2000.900192"},{"key":"39_CR18","unstructured":"Mazzocca N, Moscato F, Vittorini V (2003) Using Workflow Management to Achieve Multi-Solution in the OsMoSys Modeling Framework. Tech. Report. Universit\u00e0 di Napoli"},{"key":"39_CR19","doi-asserted-by":"crossref","unstructured":"Monsterman PJ, Vangheluwe H (eds) (2002) Special Issue of ACM Trans. on Modeling and Computer Simulation on Computer Automated Multi-Paradigm Modeling, 12(4)","DOI":"10.1145\/643120.643121"},{"key":"39_CR20","doi-asserted-by":"crossref","unstructured":"Remelhe MAP (2001) Simulation and visualization support for user-defined formalisms using meta-modeling and hierarchical formalism transformation. Proc. IEEE Int. Conference on Control Applications (CCA \u201901), pp 750\u2013755","DOI":"10.1109\/CCA.2001.973958"},{"key":"39_CR21","unstructured":"Sahner RA, Trivedi KS, Puliafito A (1995) Performance and Reliability Analysis of Computer Systems, An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publisher, Boston"},{"key":"39_CR22","unstructured":"van der Aalst WMP, Basten T (1997) Life-cycle inheritance, a Petri-net-based approach. In Proc. 18th Int. Conference on Application and Theory of Petri Nets (ICATPN 1997), Toulouse, France, LNCS 1248. Springer Verlag, pp 62\u201381"},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Vangheluwe HLM (2000) DEVS as a Common Denominator for Multi-Formalism Hybrid Systems Modelling. Proc. IEEE International Symposium on Computer-Aided Control System Design (CACSD 2000), Alaska, USA, pp 129\u2013134","DOI":"10.1109\/CACSD.2000.900199"},{"key":"39_CR24","unstructured":"Vangheluwe HLM, de Lara J, Mosterman PJ (2002) An Introduction to Multi-Paradigm Modelling and Simulation. Proc. of the AI, Simulation and Planning in High Autonomy Systems Conf. (AIS\u20192002), Lisboa, Portugal, April 2002, pp 9\u201320"},{"key":"39_CR25","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/2.58215","volume":"23","author":"Wing","year":"1990","unstructured":"Wing JM (1990) A Specifier\u2019s Introduction to Formal Methods. IEEE Computer 23(9): 10\u201323","journal-title":"IEEE Computer"},{"key":"39_CR26","unstructured":"Workflow Management Coalition: WfMC Standards: Workflow Process Definition Interface \u2013 XML Process Definition Language (XPDL), http:\/\/www.wfmc.org\/standards\/docs.htm"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0039-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-003-0039-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0039-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0039-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T17:51:58Z","timestamp":1585677118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-003-0039-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["39"],"URL":"https:\/\/doi.org\/10.1007\/s10270-003-0039-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}