{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:40:04Z","timestamp":1746265204942,"version":"3.40.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319072326"},{"type":"electronic","value":"9783319072333"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07233-3_27","type":"book-chapter","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T16:58:45Z","timestamp":1402419525000},"page":"285-294","source":"Crossref","is-referenced-by-count":1,"title":["Combining Design of Models for Smart Environments with Pattern-Based Extraction"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Buchholz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Agrawal, R., Srikant, R.: Fast Algorithms for Mining Association Rules. In: Proc. VLDB 1994, pp. 487\u2013499. Morgan Kaufmann (1994)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Chikhaoui, B., Wang, S., Pigot, H.: A Frequent Pattern Mining Approach for ADLs Recognition in Smart Environments. In: IEEE International Conference on Advanced Information Networking and Applications (AINA), pp. 248\u2013255 (2011)","DOI":"10.1109\/AINA.2011.13"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM Framework: A New Era in Process Mining Tool Support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"El-Ramly, M., Stroulia, E., Sorenson, P.: Recovering Software Requirements from System-user Interaction Traces. In: Proc. SEKE 2002, pp. 447\u2013454. ACM Press (2002)","DOI":"10.1145\/568760.568837"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-642-38577-3_40","volume-title":"Recent Trends in Applied Artificial Intelligence","author":"S. Ferilli","year":"2013","unstructured":"Ferilli, S., De Carolis, B., Redavid, D.: Logic-Based Incremental Process Mining in Smart Environments. In: Ali, M., Bosse, T., Hindriks, K.V., Hoogendoorn, M., Jonker, C.M., Treur, J. (eds.) IEA\/AIE 2013. LNCS, vol.\u00a07906, pp. 392\u2013401. Springer, Heidelberg (2013)"},{"key":"27_CR6","unstructured":"Garland, A., Lesh, N.: Learning Hierarchical Task Models By Demonstration. Technical Report, Mitsubishi Electric Research Laboratories (2003)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Hamou-Lhadj, A., Braun, E., Amyot, D., Lethbridge, T.: Recovering Behavioral Design Models from Execution Traces. In: 9th European Conference on Software Maintenance and Reengineering, pp. 112\u2013123. IEEE Computer Society (2005)","DOI":"10.1109\/CSMR.2005.46"},{"issue":"3","key":"27_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s13222-013-0133-y","volume":"13","author":"B. Ho\u00dfbach","year":"2013","unstructured":"Ho\u00dfbach, B., Glombiewski, N., Morgen, A., Ritter, F., Seeger, B.: JEPC: The Java Event Processing Connectivity. Datenbank-Spektrum\u00a013(3), 167\u2013178 (2013)","journal-title":"Datenbank-Spektrum"},{"issue":"1","key":"27_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1508857.1508861","volume":"34","author":"J\u00fcrgen Kr\u00e4mer","year":"2009","unstructured":"Kr\u00e4mer, J., Seeger, B.: Semantics and Implementation of Continuous Sliding Window Queries over Data Streams. ACM Trans. Database Syst., 4:1\u20134:49 (2009)","journal-title":"ACM Transactions on Database Systems"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Maulsby, D.: Inductive Task Modeling for User Interface Customization. In: Proc. IUI 1997, pp. 233\u2013236. ACM (1997)","DOI":"10.1145\/238218.238331"},{"key":"27_CR11","unstructured":"Paris, C., Lu, S., Linden, K.V.: Environments for the Construction and Use of Task Models. In: The Handbook of Task Analysis for Human-Computer Interaction, pp. 467\u2013482. Lawrence Erlbaum Associates (2004)"},{"issue":"11","key":"27_CR12","doi-asserted-by":"publisher","first-page":"1424","DOI":"10.1109\/TKDE.2004.77","volume":"16","author":"J. Pei","year":"2004","unstructured":"Pei, J., Han, J., Mortazavi-Asl, B., Wang, J., Pinto, H., Chen, Q., Dayal, U., Hsu, M.-C.: Mining Sequential Patterns by Pattern-Growth: The PrefixSpan Approach. IEEE Transactions on Knowledge and Data Engineering\u00a016(11), 1424\u20131440 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"27_CR13","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s00766-009-0077-9","volume":"14","author":"Norbert Seyff","year":"2009","unstructured":"Seyff, N.: Exploring how to use scenarios to discover requirements. Requirements Engineering, 91\u2013111 (2009)","journal-title":"Requirements Engineering"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Wang, J., Han, J.: BIDE: Efficient Mining of Frequent Closed Sequences. In: Proc. ICDE 2007, pp. 79\u201390. IEEE Computer Society (2007)","DOI":"10.1109\/ICDE.2004.1319986"},{"key":"27_CR15","unstructured":"Wurdel, M., Sinnig, D., Forbrig, P.: CTML: Domain and Task Modeling for Col-laborative Environments. Journal of Universal Computer Science\u00a014(19), 3188\u20133201 (2008) (Special Issue on Human-Computer Interaction)"},{"key":"27_CR16","series-title":"AISC","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-642-19934-9_31","volume-title":"International Symposium on Distributed Computing and Artificial Intelligence","author":"M. Zaki","year":"2011","unstructured":"Zaki, M., Wurdel, M., Forbrig, P.: Pattern Driven Task Model Refinement. In: Abraham, A., Corchado, J.M., Gonz\u00e1lez, S.R., De Paz Santana, J.F. (eds.) International Symposium on DCAI. AISC, vol.\u00a091, pp. 249\u2013256. Springer, Heidelberg (2011)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Zaki, M., Forbrig, P.: A methodology for generating an assistive system for smart environments based on contextual activity patterns. In: EICS 2013, London, pp. 75\u201380 (2013)","DOI":"10.1145\/2494603.2480327"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction. Theories, Methods, and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07233-3_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:06:29Z","timestamp":1746263189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07233-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319072326","9783319072333"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07233-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}