Abstract
The traditional model-driven developing methods in requirement engineering (RE) have met challenges. Under the dropback of big data, we propose a new framework of software design method based on requirement data. Given a set of requirement data, which are usually acquired directly from users’ intuitive descriptions about systems, we consider the method to analyze them and extract useful information from them in order to build the formal specifications of systems. Here the ‘data’ could be any form and could describe any prospect of functionalities of systems, the ‘model’ could be any types of formal models like process algebra, automata, or some forms of state-diagrams. We limit the scope of our discussion in this paper to a special type of data and formal models. We first use some simple examples to clarify the general idea of ‘data-driven’ we propose. Then as a case study, we apply this idea to the requirement specification of a special type of systems—spatial-temporal systems by proposing a special formal model in order to capture the spatial-time features of them.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education (2004)
Data-Driven: https://en.wikipedia.org/wiki/Data-driven_programming
Wirfs-Brock, R., Wilkerson, B.: Object-oriented design: a responsibility-driven approach. In: The Proceeding OOPSLA 1989 Conference Proceedings on Object-oriented Programming Systems, Languages and Applications, pp. 71–75. ACM, New York (1989)
Widom, J., Ceri, S. (eds.): Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, San Francisco (1994)
Paton, N.W. (ed.): Active Rules in Database Systems. Springer, New York (1999)
Helmer, S., Poulovassilis, A., Xhafa, F.: Reasoning in Event-Based Distributed Systems. Springer, Heidelberg (2011)
Roussos, G.: Networked RFID: Systems, Software and Services. Springer, London (2008)
Samek, M.: State Machines for Event-Driven Systems (2003). http://www.barrgroup.com/Embedded-Systems/How-To/State-Machines-Event-Driven-Systems
Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap (PDF). In: Proceedings of the Conference on the Future of Software Engineering, ICSE 2000, pp. 35–46 (2000). doi:10.1145/336512.336523
Chemuturi, M.: Requirements Engineering and Management for Software Development Projects (2013). doi:10.1007/978-1-4614-5377-2. ISBN: 978-1-4614-5376-5
Kotonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley & Sons, September 1998. ISBN 0-471-97208-8
Thayer, R.H., Dorfman, M. (eds.): Software Requirements Engineering, 2nd edn. IEEE Computer Society Press (1997). ISBN 0-8186-7738-4
Mu, K., Kiu, W., Jin, Z., Lu, R., Yue, A., Bell, D.: Handing Incosistency in Distributed Software Requirements Specification Based on Prioritized Merging. Fundamenta Informaticae 91(3–4), 631–670 (2009)
Chen, Y.: Stec: A location-triggered specification language for real-time systems. In: ISORC Workshops, pp. 1–6. IEEE (2012)
Stutz, M.: Get started with GAWK: AWK language fundamentals. developerWorks. IBM (retrieved October 23 2010)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)
Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2), 114–125 (1959)
Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
Asarin, E., Caspi, P., Maler, O.: A kleene theorem for timed automata. In: LICS. IEEE Computer Society, pp. 160–171 (1997)
Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid Systems, pp. 209–229. Springer, London (1993)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Y., Chen, Y., Ma, Y. (2015). A Framework for Data-Driven Automata Design. In: Liu, L., Aoyama, M. (eds) Requirements Engineering in the Big Data Era. Communications in Computer and Information Science, vol 558. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48634-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-48634-4_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-48633-7
Online ISBN: 978-3-662-48634-4
eBook Packages: Computer ScienceComputer Science (R0)