Streaming conformance checking
ஸ்ட்ரீமிங் இணக்கம் சரிபார்ப்பு என்பது ஒரு வகை இணக்கம் சரிபார்ப்பு ஆகும், அங்கு விலகல் (இருந்தால்) அது நிகழும்போது நேரடியாக தெரிவிக்கப்படுகிறது. நிகழ்வு பதிவுக்கு பதிலாக, ஸ்ட்ரீமிங் இணக்கம் சரிபார்ப்பு நுட்பங்கள் நிகழ்வு ஸ்ட்ரீம் மற்றும் செயல்முறை மாதிரியை உள்ளீடாக எடுத்துக்கொள்கின்றன, மேலும் ஸ்ட்ரீமில் இருந்து பெறப்பட்ட ஒவ்வொரு நிகழ்வுக்கும், அது மாதிரியுடன் ஒப்பிடப்படும். இணக்கம் சரிபார்ப்புடன் வேறுபாடுகள் வழக்கமான இணக்கம் சரிபார்ப்பு நுட்பங்கள் நிகழ்வு பதிவை உள்ளீடாகப் பயன்படுத்துகின்றன. ஒரு நிகழ்வு பதிவு என்பது ஒரு குறிப்பிட்ட காலப்பகுதியில் வணிக நடவடிக்கைகளை பதிவு செய்யும் நிலையான தரவு மூலமாகும். நிகழ்வு பதிவு முழுமையாக பதிவு செய்யப்பட்ட பிறகு, இணக்க சோதனை நுட்பங்கள் பயன்படுத்தப்படுகின்றன மற்றும் விலகல்கள், அவை இருந்தால் காட்டப்படும். இருப்பினும், இந்த வகையான இணக்கம் பல குறைபாடுகளைக் கொண்டுள்ளதுஃ போதுமான வளங்கள் இல்லைஃ பெரிய அளவிலான நிறுவனங்களில், நிகழ்வு பதிவின் அளவு மகத்தானது. பாரம்பரிய இணக்க சோதனை நுட்பங்களால் இவ்வளவு பெரிய தரவுத் தொகுப்புகளைக் கையாள முடியாது, அதாவது தரவு பிரதான நினைவகத்திற்கு பொருந்தாது. நிகழ்நேரத்தில் கண்காணிக்கப்படுவதில்லைஃ இணக்கம் சரிபார்ப்பு வழிமுறைகள் ஒரு-போஸ்டீரியோர் பாணியில் செயல்படுகின்றன, எனவே, விலகல்கள் ஒரு குறிப்பிட்ட காலத்திற்கு ஏற்பட்ட பின்னரே கண்டறிய முடியும். சில சூழ்நிலைகளில், சரியான நேரத்தில் திருத்த நடவடிக்கை முக்கியமானதாக இருந்தால், எ. கா., நோயாளியின் சுகாதார நிலை, நிதி போன்றவற்றைக் கண்காணிப்பது, தாமதமாக கண்டறிதல் கடுமையான விளைவுகளை ஏற்படுத்தும். மறுபுறம், ஸ்ட்ரீமிங் இணக்கம் சரிபார்ப்பு நுட்பங்கள் நிகழ்வு ஸ்ட்ரீமை உள்ளீடாகப் பயன்படுத்துகின்றன. ஒரு நிகழ்வு ஸ்ட்ரீம் என்பது ஒரு அடிப்படை வணிக செயல்முறையின் பின்னணியில் செயல்படுத்தப்படும் நிகழ்வுகளின் தொடர்ச்சியான ஸ்ட்ரீம் ஆகும். நிகழ்வு ஸ்ட்ரீமின் ஒவ்வொரு நிகழ்வும் (சி, ஏ) என குறிக்கப்படுகிறது, இதில் சி என்பது வழக்கு அடையாளங்காட்டி மற்றும் ஏ என்பது இந்த நிகழ்வின் செயல்பாட்டு பெயர். இந்த வகையான தரவுகளுடன், இணக்கச் சரிபார்ப்பை நீரோட்டத்தில் தொடர்ந்து செய்ய முடியும், அதாவது, செயல்படுத்தப்பட்ட ஒவ்வொரு செயல்பாட்டிற்கும், அந்த செயல்பாடு கொடுக்கப்பட்ட செயல்முறை மாதிரியின் அடிப்படையில் ஏதேனும் விலகலை ஏற்படுத்தினால் பகுப்பாய்வு நேரடியாக கணக்கிடப்படும். எனவே, இந்த வகையான இணக்க சோதனை ஒரு செயல்முறையை கண்காணிக்கவும், நிகழ்நேரத்தில் விலகல்களைக் கண்டறியவும் ஒரு தொடர்ச்சியான வழியை வழங்குகிறது. வழிமுறைகள் ஆன்லைன் மற்றும் ஆஃப்லைன் இணக்கச் சரிபார்ப்புக்கு இடையிலான அடிப்படை வேறுபாடு உள்ளீட்டின் முழுமையாகும். நிகழ்வு பதிவில் ஒவ்வொரு நிகழ்வுக்கும் காணப்படும் நடத்தை முழுமையானது, அதாவது, வழக்குப்படி இன்னும் இயங்குகிறதா அல்லது ஏற்கனவே நிறுத்தப்படுகிறதா என்பது நமக்குத் தெரியும். நிகழ்வு ஸ்ட்ரீமின் விஷயத்தில் இது இல்லை. இந்த நேரத்தில், ஒரு வழக்கில் இருந்து ஒரு செயல்பாடு வெற்றிகரமாக செயல்படுத்தப்படும் போது, வழக்கு எப்போதாவது நிறுத்தப்படுமா அல்லது ஏற்கனவே முடிந்துவிட்டதா என்று எங்களுக்குத் தெரியாது, அதாவது, எதிர்காலத்தில், எந்த புதிய நிகழ்வும் இந்த வழக்கைச் சேர்ந்ததாக இருக்காது. இந்த வேறுபாடு காரணமாக, வழக்கமான இணக்க சோதனை வழிமுறைகள் ஆன்லைன் சூழலில் (முழுமையாக) பொருந்தாது மற்றும் சரிசெய்யப்பட வேண்டும். கால்தடங்கள் உள்ளீடுஃ ஒரு நிகழ்வு ஸ்ட்ரீம் மற்றும் செயல்முறை மாதிரியின் படி ஒரு தடம் மேட்ரிக்ஸ். வழிமுறைஃ பெறப்பட்ட ஒவ்வொரு நிகழ்வுக்கும் (c, a) a என்பது வழக்கு c இன் தொடக்க செயல்பாடாக இருந்தால், a தொடங்க அனுமதிக்கப்படுகிறதா என்பதை வழிமுறை ஆராய்கிறது. இல்லையெனில், a என்பது வழக்கு c இன் தொடக்க செயல்பாடு இல்லையென்றால், வழக்கு c இன் கடைசியாக செயல்படுத்தப்பட்ட செயல்பாட்டை நேரடியாகப் பின்பற்ற a அனுமதிக்கப்படுகிறதா என்று வழிமுறை ஆராய்கிறது. கடைசியாக செயல்படுத்தப்பட்ட செயல்பாட்டைக் கண்காணிக்க, இந்த தகவலை சேமிக்கும் ஒரு அகராதி உள்ளது. டோக்கன் அடிப்படையிலான ரீப்ளே உள்ளீடுஃ ஒரு நிகழ்வு ஸ்ட்ரீம் மற்றும் ஒரு பெட்ரி நெட் மாடல். வழிமுறைஃ பெறப்பட்ட ஒவ்வொரு நிகழ்வுக்கும் (சி, ஏ) கொடுக்கப்பட்ட பெட்ரி நெட் மாடல் வழக்கு தொடர்பான முந்தைய செயல்பாடுகளை அடிப்படையாகக் கொண்டு செயல்பாட்டை இயக்க முடியுமா என்பதை வழிமுறை சரிபார்க்கிறது. ஒவ்வொரு வழக்குக்கும் பெட்ரி நெட்டின் நிலையை ஒவ்வொரு வழக்குக்கும் கடைசியாக செயல்படுத்தப்பட்ட செயல்பாடு பற்றிய தகவல்களுடன் சேமிக்கவும் மற்றும் காணாமல் போன டோக்கன்களின் அளவைக் கணக்கிட பண்புக்கூறுகள். தற்காலிக சுயவிவரம் இரண்டு செயல்பாடுகளுக்கு இடையிலான சராசரி நேரத்தையும், இந்த செயல்பாடுகளைக் கொண்ட நிகழ்வுகளுக்கு இடையிலான நிலையான விலகலையும் அளவிடுகிறது. உள்ளீடுஃ ஒரு நிகழ்வு ஸ்ட்ரீம் மற்றும் ஒரு தற்காலிக சுயவிவர மாதிரி. வழிமுறைஃ பெறப்பட்ட ஒவ்வொரு நிகழ்வுக்கும் (சி, ஏ) வழிமுறை வழக்கு சி தொடர்பான செயல்பாடு ஏ மற்றும் செயல்படுத்தப்பட்ட செயல்பாடுகளுக்கு இடையிலான கால அளவைக் கணக்கிடுகிறது மற்றும் அவை மாதிரியால் அனுமதிக்கப்பட்டுள்ளதா என்பதைச் சரிபார்க்கிறது. பதிவு எலும்புக்கூடு பதிவு எலும்புக்கூடு ஒரு செயல்பாட்டில் செயல்பாடுகளுக்கு இடையிலான உறவை விவரிக்கும் கட்டுப்பாடுகளைக் கொண்டுள்ளது. உள்ளீடுஃ ஒரு நிகழ்வு ஸ்ட்ரீம் மற்றும் ஒரு பதிவு எலும்புக்கூடு மாதிரி. வழிமுறைஃ பெறப்பட்ட ஒவ்வொரு நிகழ்வுக்கும் (சி, ஏ) செயல்பாட்டை நிறைவேற்றுவது செயல்முறையின் தற்போதைய நிலை குறித்து அறிவிக்கப்பட்ட ஏதேனும் கட்டுப்பாடுகளை மீறுகிறதா என்பதை வழிமுறை சரிபார்க்கிறது. செயல்பாட்டின் புதிய செயல்பாட்டுடன் செயல்முறையின் தற்போதைய நிலையை புதுப்பிக்கவும் a. குறிப்புகள் செயல்முறை சுரங்கம்