{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T14:41:31Z","timestamp":1779288091582,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540850571","type":"print"},{"value":"9783540850588","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85058-8_7","type":"book-chapter","created":{"date-parts":[[2008,7,30]],"date-time":"2008-07-30T11:16:51Z","timestamp":1217416611000},"page":"106-122","source":"Crossref","is-referenced-by-count":1,"title":["Extending the MaSE Methodology for the Development of Embedded Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Iman","family":"Badr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hisham","family":"Mubarak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"G\u00f6hner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Wood, M.F.: Multiagent systems engineering: A methodology for analysis and design of multiagent systems. Master\u2019s thesis, School of Engineering, Air Force Institute of Technology (AU), Wright-Patterson AFB Ohio, USA (2000)"},{"key":"7_CR2","volume-title":"Prozessautomatisierung 1","author":"R. Lauber","year":"1999","unstructured":"Lauber, R., G\u00f6hner, P.: Prozessautomatisierung 1, 1st edn. Springer, Heidelberg (1999)","edition":"1"},{"key":"7_CR3","volume-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"7_CR4","first-page":"5","volume":"8","author":"N.S. Voros","year":"2003","unstructured":"Voros, N.S., et al.: Hardware\/Software Co-Design of Complex Embedded Systems. An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation. Design Automation for Embedded Systems\u00a08, 5\u201349 (2003)","journal-title":"An Approach Using Efficient Process Models, Multiple Formalism Specification and Validation via Co-Simulation. Design Automation for Embedded Systems"},{"key":"7_CR5","volume-title":"Specification and Design of Embedded Systems","author":"D. Gajski","year":"1994","unstructured":"Gajski, D., et al.: Specification and Design of Embedded Systems. P.T.R. Prentice Hall, Englewood Cliffs (1994)"},{"key":"7_CR6","unstructured":"Parunak, H.V.D.: Practical and industrial applications of agent-based systems. Environmental Research Institute of Michigan (ERIM) (1998)"},{"key":"7_CR7","unstructured":"Mubarak, H., G\u00f6hner, P., Wannagat, A., Vogel-Heuser, B.: Evaluation of agent oriented methodologies for the development of flexible embedded real-time systems in automation. atp international, issue 1\/2007, Oldenbourg Industrieverlag, M\u00fcnchen (2007)"},{"key":"7_CR8","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-59140-581-8","volume-title":"Agent-Oriented Methodologies","author":"B. Henderson-Sellers","year":"2005","unstructured":"Henderson-Sellers, B., Giorgini, P.: Agent-Oriented Methodologies. Idea Group Publishing, Hershey (2005)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM Transactions on Software Engineering and Methodology, July 2003, vol.\u00a012(3), pp. 317\u2013370 (2003)","DOI":"10.1145\/958961.958963"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"DeLoach, S.A.: Analysis and Design using MaSE and agentTool. In: 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS) (2001)","DOI":"10.21236\/ADA448191"},{"key":"7_CR11","first-page":"217","volume-title":"Methodologies and Software Engineering for Agent Systems","author":"L. Padgham","year":"2004","unstructured":"Padgham, L., Winikoff, M.: The Agent-Oriented Software Engineering handbook. In: Bergenti, F., Gleizes, M.-P., Zambonelli, F. (eds.) Methodologies and Software Engineering for Agent Systems, July 2004, ch.\u00a011, pp. 217\u2013234. Kluwer Publishing, Dordrecht (2004)"},{"key":"7_CR12","unstructured":"Cossentino, M., Potts, M.: A CASE tool supported methodology for the design of multi-agent systems. In: Proceedings of the 2002 International Conference on Software Engineering Research and Practice (SERP 2002), Las Vegas, USA (June 2002)"},{"key":"7_CR13","volume-title":"Lehrbuch der Software-Technik. Band 1. 2. Auflage","author":"H. Balzert","year":"2001","unstructured":"Balzert, H.: Lehrbuch der Software-Technik. Band 1. 2. Auflage. Elsevier, Amsterdam (2001)"},{"key":"7_CR14","volume-title":"Software Engineering","author":"I. Sommerville","year":"2001","unstructured":"Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (2001)","edition":"6"},{"key":"7_CR15","unstructured":"OMG SysML Specification, http:\/\/xml.coverpages.org\/OMG-SysML-Specification060504.pdf"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"DeLoach, S.A., Wood, M.: Multiagent Systems Engineering: the Analysis Phase. Technical Report, Air Force Institute of Technology, AFIT\/EN-TR-00-02 (2000)","DOI":"10.21236\/ADA379427"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems\u00a03, 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"7_CR18","volume-title":"Discrete, continuous, and hybrid Petri nets","author":"R. David","year":"2005","unstructured":"David, R., Alla, H.: Discrete, continuous, and hybrid Petri nets. Springer, Heidelberg (2005)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Multi-Agent Systems as Computational Organizations: The Gaia Methodology. In: Henderson-Sellers, B., Giorgini, P. (eds.) Agent-Oriented Methodologies. Idea Group (2005)","DOI":"10.4018\/978-1-59140-581-8.ch006"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Garijo, F., et al.: The MESSAGE Methodology for Agent-Oriented Analysis and Design. In: Henderson-Sellers, B., Giorgini, P. (eds.) Agent-Oriented Methodologies. Idea Group (2005)","DOI":"10.4018\/978-1-59140-581-8.ch008"},{"key":"7_CR21","unstructured":"Carlson, J.: Languages and methods for specifying real-time systems, MRTC report, M\u00e4lardalen Real-Time Research Centre, M\u00e4lardalen University (2002)"},{"key":"7_CR22","unstructured":"AVE - Agenten f\u00fcr flexible und verl\u00e4ssliche eingebettete Echtzeitsysteme (2007), http:\/\/www.ias.uni-stuttgart.de\/forschung\/projekte\/ave.html"}],"container-title":["Lecture Notes in Computer Science","Languages, Methodologies and Development Tools for Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85058-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T01:33:12Z","timestamp":1557711192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85058-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540850571","9783540850588"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85058-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}